miniblog.

I've started using Logseq for note taking: it's roughly in the same space as Roam/Obsidian but OSS and using markdown on your local disk. So far it works really well. I like using [[Link]] syntax for cross-referencing themes that I mention in several places.

When Nvidia discusses choosing Ada for security critical software, they mention the cost of fuzzing (slide 17). It's an interesting argument: if the language gives you more assurances, you don't need so much compute to fuzz test! https://www.slideshare.net/AdaCore/securing-the-future-of-safety-and-security-of-embedded-software

@esvrld@octodon.social Zing! 😆 Now you mention it, I'd be really interested to see data on how many times maintenance has changed hands. Adding a maintainer is great, repeatedly changing can indicate abandonware.