Yearly Favorites
11521.
Why Mathematica does not simplify sinh(arccosh(x))
(johndcook.com)
11522.
11523.
11524.
Cache Monet
(cachemonet.com)
11525.
Google steers Americans looking for health care into "junk insurance"
(pluralistic.net)
11526.
The Universal Pattern Popping Up in Math, Physics and Biology (2013)
(quantamagazine.org)
11527.
11528.
11529.
HyperRogue – A non-Euclidean roguelike
(roguetemple.com)
11530.
Reproducing the AWS Outage Race Condition with a Model Checker
(wyounas.github.io)
11531.
11532.
11533.
11534.
Akse3D – open-source 3D modelling anyone can master
(akse3d-en.skaperiet.no)
11536.
YouTube Is Down
(downdetector.com)
11537.
A quiet change to RSA
(johndcook.com)
11538.
11539.
11540.
PgQue: Zero-Bloat Postgres Queue
(github.com)
11541.
Competition is not market validation
(ablg.io)
11542.
Formal Verification Gates for AI Coding Loops
(reubenbrooks.dev)
11543.
Melonking Website
(melonking.net)
11545.
11546.
50 years of proof assistants
(lawrencecpaulson.github.io)
11547.
11548.
Show HN: Microlandia, a brutally honest city builder
(microlandia.city)
11549.
Embedding user-defined indexes in Apache Parquet
(datafusion.apache.org)
11550.
Jensen–Shannon Divergence
(en.wikipedia.org)