Contribute to mutable-state-inc/lean-collab development by creating an account on GitHub.

For this year's "I love Free Software Day" I would like to thank the maintainers of Free Software documentation, and here especially the maintainers of the ArchWiki. Maintainers in general, and maintainers of documentation most of the time get way too little…

The Swiss Army Knife of Offline AI. Chat, Speak, and Generate Images - Privacy First, Zero Internet. Download an LLM and use it on your mobile device. No data ever leaves your phone. Supports text-...

fragments 13 Feb 2026

Unicorn Jelly is a philosophical science fiction manga strip which tells a metaphoric and purposeful story with a definitive beginning and ending.

AI automation and the Four Horsemen of the paper jam.

I'm running a live website on a 25-year-old Sun Netra X1 SPARC server from my garage. OpenBSD 7.8, httpd, pf firewall, Cloudflare tunnels for safe exposure — no port forwarding needed. Yes, it actually works.

Dignity moves, the mission of survival, and $140 million across the river

A community effort to preserve games and animations from the web.

The third-party company Discord could use for their ID collection is mired in surveillance concerns and links to Epstein via one of its investors

During my first trip to Eastern Europe, I found an “Orpheus”  electric guitar leaning against a wall in the basement of a music shop in Plovdiv, Bulgaria.  Half of its parts were missin…

A practical guide to night sky observing organized by equipment, conditions, and experience.

Git is ubiquitous; in the last two decades, the version-control system has truly achieved world [...]

GitHub Gist: instantly share code, notes, and snippets.