Monthly Highlights
991.
Google Flight Simulator
(developers.google.com)
992.
A portentous reunion
(bcantrill.dtrace.org)
993.
994.
Intro to TLA+ for the LLM Era: Prompt Your Way to Victory
(emptysqua.re)
995.
The quadratic sandwich
(fedemagnani.github.io)
996.
To have a moral stance on AI is to be an outcast, and it sucks
(musings.martyn.berlin)
997.
What the fuck happened to nerds
(mrmarket.bearblog.dev)
998.
CSS-Native Parallax Effect
(dan-webnotes.com)
999.
Ruby for Good
(ti.to)
1000.
Sales and Dungeons: Thermal printer TTRPG utility
(sales-and-dungeons.app)
1001.
Show HN: Garden of Flowers – an archive of pictorial typography before ASCII art
(garden-of-flowers.heikkilotvonen.com)
1002.
Patching my guitar amp's firmware
(mforney.org)
1003.
The OnlyFans Economy of American AI
(leoveanu.com)
1004.
Orchestrating AI code review at scale
(blog.cloudflare.com)
1005.
Wi-Wi is wireless time sync at 1 nanosecond
(jeffgeerling.com)
1006.
You weren't meant to have a boss (2008)
(paulgraham.com)
1007.
A greyscale iPhone setup that works in everyday life
(fabianhemmert.com)
1008.
Formal Verification Gates for AI Coding Loops
(reubenbrooks.dev)
1009.
Jensen–Shannon Divergence
(en.wikipedia.org)
1010.
Tulip mania: when a single flower was worth more than a house (2025)
(dutchreview.com)
1011.
Starfish by Peter Watts (1999)
(rifters.com)
1012.
Making glass-to-metal seals for homemade vacuum tubes
(maurycyz.com)
1013.
Announcing Rust 1.96
(blog.rust-lang.org)
1014.
Sharla Boehm, the programmer whose code underpins the Internet
(scientificamerican.com)
1015.
New features in GCC 16: Improved error messages and SARIF output
(developers.redhat.com)
1017.
1018.
Lombardy increases charges for the construction of data centres in green areas
(en.ilsole24ore.com)
1019.
AI is too expensive
(wheresyoured.at)
1020.
Leiden Declaration on Artificial Intelligence and Mathematics
(leidendeclaration.ai)