Hacker News

Subscribe to Hacker News feed
Links for the intellectually curious, ranked by readers.
Updated: 4 min 32 sec ago

Nonlinearity Affects a Pendulum

Mon, 2026-04-27 16:56
Categories: Software

"Why not just use Lean?"

Mon, 2026-04-27 16:24
Categories: Software

Building a Hamiltonian Path Puzzle

Mon, 2026-04-27 15:22
Categories: Software

Tim Cook Is Leaving. Good

Mon, 2026-04-27 15:11
Categories: Software

Pages