Home /
Monthly Highlights
1681.
Formally verifying Advent of Code using Dijkstra's program construction (haripm.com)
56 points by seafoamteal 2 days ago | 8 comments
1682.
Grebedoc – static site hosting for Git forges (grebedoc.dev)
56 points by todsacerdoti 3 weeks ago | 6 comments
1683.
Learning to Model the World with Language (dynalang.github.io)
56 points by jxmorris12 4 weeks ago | 2 comments
1684.
Europe converged rapidly on the United States before stagnating (constitutionofinnovation.eu)
55 points by tbs1980 3 weeks ago | 98 comments
1685.
Don't be a scary old guy: My 40s survival strategy with charm (devas.life)
55 points by ashleynewman 1 week ago | 63 comments
1686.
Workday to acquire Pipedream (newsroom.workday.com)
55 points by gaws 2 weeks ago | 52 comments
1687.
Show HN: An LLM-Powered Tool to Catch PCB Schematic Mistakes (netlist.io)
55 points by wafflesfreak 1 week ago | 29 comments
1688.
Space: 1999 – Special Effects Techniques (catacombs.space1999.net)
55 points by exvi 1 week ago | 27 comments
1689.
I've wanted to play that 'Killer Shark' arcade game briefly seen in 'Jaws' (remindmagazine.com)
55 points by speckx 3 weeks ago | 24 comments
1690.
OpenAI needs to raise $207B by 2030 so it can continue to lose money (ft.com)
55 points by cebert 1 week ago | 20 comments
1691.
Notes on the Troubleshooting and Repair of Computer and Video Monitors (repairfaq.org)
55 points by WorldPeas 1 week ago | 19 comments
1692.
Spectral rendering, part 2: Real-time rendering (momentsingraphics.de)
55 points by todsacerdoti 3 weeks ago | 16 comments
1693.
Google must pay German price comparison platform 465M euros in damages (reuters.com)
55 points by 1vuio0pswjnm7 3 weeks ago | 12 comments
1694.
Extra Instructions Of The 65XX Series CPU (1996) (ffd2.com)
55 points by embedding-shape 11 hours ago | 9 comments
1695.
Show HN: Pipeflow-PHP – Automate anything with pipelines even non-devs can edit (github.com)
55 points by marcosiino 3 weeks ago | 9 comments
1696.
Yann LeCun reportedly leaving Meta to launch new AI startup (the-decoder.com)
55 points by jrwan 3 weeks ago | 6 comments
1697.
Practical Intro to Operational Transformation (archive.casouri.cc)
55 points by casouri 1 week ago | 5 comments
1698.
More tales about outages and numeric limits (rachelbythebay.com)
55 points by todsacerdoti 2 weeks ago | 3 comments
1699.
9NEWS Questions Flock Safety CEO over Mass Surveillance and ICE Access (9news.com)
55 points by mhb 2 weeks ago | 3 comments
1700.
Itiner-E – The Digital Atlas of Ancient Roads (itiner-e.org)
55 points by beatthatflight 4 weeks ago | 2 comments
1701.
Where Educational Technology Fails: A seventh-grader's perspective (micahblachman.beehiiv.com)
54 points by subdomain 2 weeks ago | 128 comments
1702.
Mysterious drones have been spotted at airports across Europe (bbc.co.uk)
54 points by fumblebee 2 weeks ago | 96 comments
1703.
Contributing to open-source should be required, like jury duty (joshbeckman.org)
54 points by bckmn 3 weeks ago | 75 comments
1704.
Claude Status – Elevated error rates on the API (status.claude.com)
54 points by throwpoaster 1 week ago | 64 comments
1705.
GPT-5-Codex-Mini – A more compact and cost-efficient version of GPT-5-Codex (github.com)
54 points by wahnfrieden 3 weeks ago | 53 comments
1706.
KDE going all-in on a Wayland future (blogs.kde.org)
54 points by dualogy 1 week ago | 45 comments
1707.
Auraphone: A simple app to collect people's info at events (andrewarrow.dev)
54 points by fcpguru 4 weeks ago | 33 comments
1708.
The 1957 “Spaghetti-Grows-on-Trees” Hoax (openculture.com)
54 points by PaulHoule 3 weeks ago | 32 comments
1709.
Africa's forests have switched from absorbing to emitting carbon (phys.org)
54 points by pseudolus 1 week ago | 26 comments
1710.
Our dogs' diversity can be traced back to the Stone Age (bbc.com)
54 points by 1659447091 3 weeks ago | 24 comments