Gave it a play on QEMU, seems the latest image of Gloire (A simple UI variant of Ironclad) is not wanting to boot on my QEMU. Will give it a few months and play with it again, looks interesting enough.
Would definitely be an interesting contender for use in safety-critical environments where Ada/SPARK are favored.
This article also touches on why LLMs can be so dangerous for those who are going through a psychotic episode, it will hit you with the "That's a great idea", "You're correct", etc. Which will just further play into someone's delusions, to a point it's directly down a statistical well telling the person what they want to hear. Sadly this has ended in tragedy more than a few times.
It's an interesting idea, however cost per "shot" is going to be really high still. Alternatively how do you decide what to keep up in orbit on standby for delivery, how long can it be in orbit for before use-by dates are reached on perishables, etc.
The article has a scenario of a Special Operations team somewhere deep behind enemy lines needing immediate resupply in a contested airspace environment.
The reentry will be visible for hundreds of miles and it seems like the pod would be vulnerable during the parachute phase. I'm still rooting for this sci-fi future though.
I find myself using BSDs at home too, I got a bunch of very old systems that only NetBSD supports these days. Very old SPARC, HP 9000s and the likes. Everything else is Linux, but maybe I'll try one of the BSDs on something more modern...
TPMs can be useful for device security, and there are ways in Linux to use it (under your control) to its full extent for protected boot and disk encryption.
Look at tools like Clevis for LUKS, and I believe systemd has support for integration with TPM. Ubuntu is experimenting with TPM-backed Full Disk Encryption on Desktop using the work they put into snapd and Ubuntu Core.
It's an insane (and mostly annoying) rabbit hole if you intend to follow it, you quickly learn how much of a wild west UEFI is between vendors.
"It appears that human speech occupies a distinct time-frequency space. Some speculate that speech evolved to fill a time-frequency space that wasn’t yet occupied by other existing sounds."
I found this quite interesting, as I have noticed that I can detect voices in high-noise environments. E.g. HF Radio where noise is almost a constant if you don't use a digital mode.
With burnout it's simple, rest. Get away, go spiritually connect with something new, like laying on a beach or doing something completely new. Burnout is real and will make you _hate_ anything.
I watch for burnout in my teams, and become burned out myself at times, but if you're burning out, tell somebody and get moved elsewhere. Coder doing some star-coder stuff the last 6 months, but can do sysadmin/devops things? Switch to that for a few weeks and come back mentally rested.
Legal protections against burnout I'm not aware of but the illness associated with elevated stress levels and 'burn out' do create other health complications.
Burn out is bad, bad stuff. Once somebody's burned out they can't do _anything_
All of that and parenting. Notifications off, camera off, WFH to the max and keeping the journal of where you were before attention was hijacked by the usual suspects.
reply