Yearly Favorites
13081.
Can LLMs model real-world systems in TLA+?
(sigops.org)
13082.
How to run an Arduino for years on a battery (2021)
(makecademy.com)
13083.
The GNU libc atanh is correctly rounded
(inria.hal.science)
13084.
13085.
Show HN: Juvio – UV Kernel for Jupyter
(github.com)
13086.
Cash issuing terminals
(computer.rip)
13087.
Small Kafka: Tansu and SQLite on a free t3.micro
(blog.tansu.io)
13088.
Delimited continuations in lone Lisp
(matheusmoreira.com)
13089.
A history of ARM, part 1: Building the first chip (2022)
(arstechnica.com)
13090.
April Fools 2014: The *Real* Test Driven Development (2014)
(testing.googleblog.com)
13091.
GSWT: Gaussian Splatting Wang Tiles
(yunfan.zone)
13092.
Trillions in Retirement Dollars Flow into Opaque Trusts
(bloomberg.com)
13093.
Show HN: Find Hidden Gems on HN
(pj4533.com)
13094.
80386 Memory Pipeline
(nand2mario.github.io)
13095.
Recreating the Canon Cat document interface
(lab.alexanderobenauer.com)
13096.
Modeling the World in 280 Characters
(tympanus.net)
13097.
13098.
Ju Ci: The Art of Repairing Porcelain
(thesublimeblog.org)
13099.
13100.
Happy 20th Birthday Django
(djangoproject.com)
13102.
13103.
How private equity is changing housing
(theatlantic.com)
13104.
13105.
13106.
LLMs are a 400-year-long confidence trick
(tomrenner.com)
13107.
13108.
Kaleidos – A portable nuclear microreactor that replaces diesel generators
(radiantnuclear.com)
13109.
The looming college-enrollment death spiral
(theatlantic.com)
13110.
The Resolv hack: How one compromised key printed $23M
(chainalysis.com)