Show HN: Boulette - Protect you from yourself (even as root).

Who Can Understand the Proof? A Window on Formalized Mathematics

The Tedious Heroism of David Ruggles

Learning How to Think with Meta Chain-of-Thought

Visualizing All ISBNs

Glimmer: DSL Framework for Ruby GUI and More

lc: List files in categories (and columns) – from Coherent Unix clone

Musings on Tracing in PyPy

Tactility: OS for the ESP32 Microcontroller Family

Parsing the C64 Bubble Bobble Wind Currents

Show HN: Tetris in a PDF

Bird-inspired drone uses legs to walk and jump into the air

Nvidia-Ingest: Multi-modal data extraction

Predictions Scorecard, 2025 January 01

Cascading Spy Sheets: Exploiting the Complexity of Modern CSS for Fingerprinting

WorstFit: Unveiling Hidden Transformers in Windows ANSI

Before Squid Game, there was Battle Royale

Time Dilation Formula / Calculator

Ask HN: Books about people who did hard things

How Britain got its first internet connection (2015)

There are no pure cultures – we have always been global

SQL nulls are weird

"Twelfth Night Till Candlemas" – A 40-year book-quest