Hacker News Headlines

Anatomy of a Lean proof for software engineers

Terminal Email: terminal email clients for every system

iPod of 2026

Mike Tomlin spent 12 years building a Minecraft city

https://archive.ph/Kv6yShttps://www.youtube.com/watch?v=_h_pQ1-5iQghttps://www.theguardian.com/sport/2026/oct/01/mike-tomlin-mi...

Bez: Generating a browser engine from specs and tests

Show HN: Breadcrumb, record everything on your mac + context manager for AI

Hi HN, I'm Justin.Breadcrumb records everything you do on your Mac (screen + meetings + AI transcripts + what you and your AI decided) and turns it into memory your AI can search. It's local and encry…

ExplainDB: A Database System Built for Understandability

Show HN: Vote on which of Hacker News' challenges for AI have been met

macOS 27 is so buggy

SlutCon

ParadeDB Search Performance Improvements

Git 3.0's upcoming SHA-256 default will be a costly mistake

More like SC-Forth-thousand, am I right?

Celebrating the 100th birthday of the kidney donated to him as a teenager

Clef: our open-source decision models

Lightweight PDF parser with layout, tables, formulas and bounding boxes

MPEG-2 Transport Streams and MOQ: Yes, MPEG-TS Is Still Relevant Today

Canada fast-tracks Pacific oil pipeline to reduce US dependence