Cola, orange soda, and almond soda!

Verifpal is free and open source software for the analysis and verification of cryptographic protocols. It uses a new, simple language for modeling protocols, and outputs readable analysis results, making it uniquely suitable as an introduction to cryptographic protocol verification for students and engineers. Learn how to use Verifpal using the Verifpal User Manual, and get started with protocol verification today!

Detect your hardware and find out which AI models you can run locally. GPU, CPU, and RAM analysis in your browser.

Your computer is a cosmic ray detector. Literally. - Smerity/bitflipped

Search the Epstein Files

A practical, repeatable framework for running weekly engineering 1:1s using the People, Product, Process structure—with exact scripts, Notion setup, and tips for making them actually useful.

Animated infographics about everything.

Windows 10 ends in 2025. Don’t buy a new PC — revive yours with Linux. It's fast, secure, and help is available to get you started.

Join The Offline Club's global movement towards a more humane world. We host offline events and retreats for you to unplug and connect, community-style.

itter.sh: Ironic, text-only, SSH-based social networking for terminal lovers. No browser, no js, just eets.

An explainer for doing web development using only vanilla techniques.

A trading card game consisting of real-life ojisan (middle-aged men) are going viral with kids in the city of Kawara in Fukuoka Prefecture.