Formal Methods: Just Good Engineering Practice?

Who Can Understand the Proof? A Window on Formalized Mathematics

Web apps built with Ruby on Rails

Learning How to Think with Meta Chain-of-Thought

The Tedious Heroism of David Ruggles

Glimmer: DSL Framework for Ruby GUI and More

Visualizing All ISBNs

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

Tactility: OS for the ESP32 Microcontroller Family

Parsing the C64 Bubble Bobble Wind Currents

Show HN: Tetris in a PDF

Nvidia-Ingest: Multi-modal data extraction

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

Before Squid Game, there was Battle Royale

Wasmer (YC S19) Is Hiring a Rust Engineer in EU timezone (Remote)

Musings on Tracing in PyPy

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

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

I've Acquired a New Superpower

Predictions Scorecard, 2025 January 01

WorstFit: Unveiling Hidden Transformers in Windows ANSI

Time Dilation Formula / Calculator

Ask HN: Books about people who did hard things

How Britain got its first internet connection (2015)