Latest bookmarks (page 2 of 145)
10 Nov
ironclad-os.org
"Ironclad is a free software formally verified kernel written in SPARK/Ada"
Unix-like, POSIX, designed for embedded systems
Unix-like, POSIX, designed for embedded systems
7 Nov
www.uky.edu
"This site contains comic book images linked to the chemical elements via the periodic table. Comics include Uncle $crooge, Metal Men, Metamorpho, Batman, Fantastic Four, Superman, and many more."
7 Nov
www.eff.org
Daily Tips to Protect Your Privacy and Security: "Trying to take control of your online privacy can feel like a full-time job. But if you break it up into small tasks and take on one project at a time it makes the process of protecting your privacy much easier. This month we’re going to do just that."
7 Nov
www.webpronews.com
"Linux Mint and Linux Mint Debian Edition (LMDE) scored the highest in our Linux Distro Reviews series, but which should you choose?"
6 Nov
www.consumerreports.org
"AI features are crowding into Google search, Gmail, iPhones, Windows laptops, and other products. If you're suffering from AI overload, these settings can help."
Interesting Links