Latest bookmarks (page 2 of 145)

11 Nov github.com
"Vulkan-based implementation of D3D7 for Linux / Wine, spun off from DXVK."
10 Nov codeberg.org
"An OS built with the Ironclad kernel and GNU tools"
10 Nov ironclad-os.org
"Ironclad is a free software formally verified kernel written in SPARK/Ada"
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."
5 Nov websiteleague.org
An island network using Fediverse technologies in allowlist-only mode.