Home /
Yearly Favorites
12811.
Functional Data Structures and Algorithms: a Proof Assistant Approach (fdsa-book.net)
117 points by SchwKatze 4 months ago | 29 comments
12812.
Show HN: 0xDEAD//TYPE – A fast-paced typing shooter with retro vibes (0xdeadtype.theden.sh)
117 points by theden 8 months ago | 28 comments
12813.
Writing Toy Software Is a Joy (jsbarretto.com)
117 points by todsacerdoti 9 months ago | 28 comments
12814.
Implementing a tiny CPU rasterizer (2024) (lisyarus.github.io)
117 points by PaulHoule 2 months ago | 27 comments
12815.
Thunderscope update: My take: Why open source is better (crowdsupply.com)
117 points by ChuckMcM 11 months ago | 27 comments
12816.
Database Linting and Analysis for PostgreSQL (pglinter.readthedocs.io)
117 points by fljdin 5 months ago | 26 comments
12817.
Show HN: Code Claude Code (github.com)
117 points by sean_ 10 months ago | 25 comments
12818.
Epic vs. Google settlement: Opening up Android (twitter.com)
117 points by azhenley 5 months ago | 23 comments
12819.
Low-Temperature Additive Manufacturing of Glass (ll.mit.edu)
117 points by LorenDB 9 months ago | 22 comments
12820.
Qt45: A small polymerase ribozyme that can synthesize itself (science.org)
117 points by ppnpm 1 month ago | 21 comments
12821.
Jepsen: MariaDB Galera Cluster 12.1.2 (jepsen.io)
117 points by aphyr 2 weeks ago | 16 comments
12822.
MCP on AWS Lambda with MCPEngine (featureform.com)
117 points by simba-k 11 months ago | 14 comments
12823.
Fabric Is Just Plain Unreliable, and Microsoft's Hiding It (brentozar.com)
117 points by ko_pivot 10 months ago | 12 comments
12824.
Workers at Snopes.com win voluntary recognition (newsguild.org)
117 points by giuliomagnifico 8 months ago | 10 comments
12825.
Kangina (en.wikipedia.org)
117 points by thunderbong 3 weeks ago | 9 comments
12826.
Common Lisp SDK for the Datastar Hypermedia Framework (github.com)
117 points by fsmunoz 3 months ago | 9 comments
12827.
Load-Store Conflicts (zeux.io)
117 points by ashvardanian 11 months ago | 5 comments
12828.
What caused the 'baby boom'? What would it take to have another? (derekthompson.org)
116 points by mmcclure 8 months ago | 860 comments
12829.
Impacts of adding PV solar system to internal combustion engine vehicles (jstor.org)
116 points by red369 8 months ago | 253 comments
12830.
LLMs are a 400-year-long confidence trick (tomrenner.com)
116 points by Growtika 2 months ago | 181 comments
12831.
Everyone Is Cheating Their Way Through College (nymag.com)
116 points by jsheard 10 months ago | 169 comments
12832.
Systemd can be a cause of restrictions on daemons (utcc.utoronto.ca)
116 points by zdw 6 months ago | 169 comments
12833.
California has got good at building giant batteries (economist.com)
116 points by chiffre01 10 months ago | 169 comments
12834.
Switch to Jujutsu Already: A Tutorial (stavros.io)
116 points by birdculture 5 months ago | 162 comments
12835.
Fixing retail with land value capture (worksinprogress.co)
116 points by marojejian 1 month ago | 160 comments
12836.
Why is Good Friday called Good Friday? (historyextra.com)
116 points by vitoc 11 months ago | 142 comments
12837.
A 1960s schools experiment that created a new alphabet (theguardian.com)
116 points by Hooke 8 months ago | 141 comments
12838.
AI didn't break copyright law, it just exposed how broken it was (jasonwillems.com)
116 points by at1as 2 months ago | 136 comments
12839.
With deadline looming 4 of 9 universities reject Trumps pact to remake higher ed (arstechnica.com)
116 points by Bender 5 months ago | 134 comments
12840.
Foreign Scammers Use U.S. Banks to Fleece Americans (propublica.org)
116 points by wstrange 9 months ago | 122 comments