Yearly Favorites
10951.
10952.
Show HN: Real-Time Gaussian Splatting
(github.com)
10953.
HyperRogue – A non-Euclidean roguelike
(roguetemple.com)
10954.
Reproducing the AWS Outage Race Condition with a Model Checker
(wyounas.github.io)
10955.
10956.
The Princeton INTERCAL Compiler's source code
(esoteric.codes)
10957.
10958.
The Origin of the Research University
(asteriskmag.com)
10959.
10961.
YouTube Is Down
(downdetector.com)
10962.
A quiet change to RSA
(johndcook.com)
10963.
10964.
10965.
PgQue: Zero-Bloat Postgres Queue
(github.com)
10966.
Competition is not market validation
(ablg.io)
10967.
Show HN: MCP Server SDK in Bash
(github.com)
10968.
Melonking Website
(melonking.net)
10969.
10971.
I started a little math club in Bangalore
(teachyourselfmath.app)
10972.
10973.
50 years of proof assistants
(lawrencecpaulson.github.io)
10974.
First 2D, non-silicon computer developed
(psu.edu)
10975.
10976.
Show HN: Microlandia, a brutally honest city builder
(microlandia.city)
10977.
Embedding user-defined indexes in Apache Parquet
(datafusion.apache.org)
10978.
Introducing: ShaderPad
(rileyjshaw.com)
10979.
The simple geometry behind any road
(sandboxspirit.com)
10980.
Sirius DB
(sirius-db.com)