December 2025 Archive
932.
Show HN: Microlandia, a brutally honest city builder
(microlandia.city)
933.
E.W.Dijkstra Archive
(cs.utexas.edu)
934.
Microservices should form a polytree
(bytesauna.com)
935.
936.
Spaced repetition for efficient learning (2019)
(gwern.net)
937.
Midjourney is alemwjsl
(aadillpickle.com)
938.
Webb observes exoplanet that may have an exotic helium and carbon atmosphere
(science.nasa.gov)
939.
Flame Graphs vs Tree Maps vs Sunburst (2017)
(brendangregg.com)
940.
50 years of proof assistants
(lawrencecpaulson.github.io)
941.
Overconsumption is a spiritual problem
(sherryning.com)
942.
Paperbacks and TikTok
(calnewport.com)
943.
Carolina Cloud – One third the cost of AWS for data science workloads
(carolinacloud.io)
945.
Get an AI code review in 10 seconds
(oldmanrahul.com)
946.
Mruby: Ruby for Embedded Systems
(github.com)
947.
948.
949.
“You should never build a CMS”
(sanity.io)
950.
Functional Quadtrees
(lbjgruppen.com)
951.
952.
From Zero to QED: An informal introduction to formality with Lean 4
(sdiehl.github.io)
954.
The port I couldn't ship
(ammil.industries)
955.
The post-GeForce era: What if Nvidia abandons PC gaming?
(pcworld.com)
956.
Nook Browser
(browsewithnook.com)
958.
Of Boot Vectors and Double Glitches: Bypassing RP2350's Secure Boot
(streaming.media.ccc.de)
959.
Dolphin Progress Report: Release 2512
(dolphin-emu.org)
960.
Analysis finds anytime electricity from solar available as battery costs plummet
(pv-magazine-usa.com)