I think a friend of mine has a job where he writes formally verified code. For sensors in a nuclear power plant. I’m curious why it would be important for a WM?
I think a friend of mine has a job where he writes formally verified code. For sensors in a nuclear power plant. I’m curious why it would be important for a WM?
Technically, all of them are made up.
What does “formally verified” mean?
Math quiz: Find the 2 words in the list that are made up.
The internet has gotten worse in general, and it’s accelerating.
The vast majority of online content is now AI-generated.
TIL all Semites are in Israel’s government.
small slice: The stuff you can observe with equipment affordable to schools and colleges
big pie: The stuff you can observe with orbital telescopes, particle accelerators, 2-mile-long drills, deep sea submarines, or not at all
“Not you, soldiers!”
I used to have an old Zenit ET. I loved that thing cause it had a small solar cell that powered the lightmeter (which was just an analog indicator moving over a scale).
So it needed no batteries.
When I moved to a new place I accidentally toppled an oak wood wardrobe which fell on the camera.
The wardrobe then had a hole in its back panel, the camera still worked fine.
I have an old Soviet mechanical wristwatch that cost 3€ on an Eastern German flea market.
Compared to other watches it sounds like a Diesel tractor, the bezel rotates freely and the wristband pulls my arm hair out.
When I wear it, it’s too fast and when I don’t wear it, it’s too slow.
But I only wear it during the day and take it off at night, and that way it’s been keeping perfect time for 15 years.
Termux. A Debian-based Linux system running on top of unrooted Android.
It lets you interface with your phone’s functions (GPS, calls, etc.), and install packages to extend functionality.
Turned my phone into a mobile network troubeshooting device, lets me grep through my sms, and I can ssh into my server on the go.
With AnLinux you can install a full standard linux system in it, including a GUI, and connect to it with a VNC viewer. (AnLinux is just a helper script linking to some dude’s repo, so if you are at all security-minded, you can also bootstrap and install any Linux distro manually).
So you could have a Debian with Gnome desktop running on your unrooted phone.
We need to close the mineshaft gap!
There’s also been a Republican campaign for years to actually try and make those votes not count.
Endeavour is great but it’s not simply Arch with an installer. Quite a few things are configured differently under the hood.
“Hi, I’m Vincent Adultman. Just in case you’re wondering, I’m definitely not 3 kids in a trenchcoat pretending to be an adult. Now let’s do a business.”
Nee. Duits, helaas.
When you come home after a night of heavy boozing, just chug an entire liter of water before you go to bed. It prevents the worst part of the hangover, headaches, which are just from dehydration.
When you do a dist-upgrade on anything but the stable main repos, you’re on your own.