Set theory with types (lawrencecpaulson.github.io)
124 points by baruchel 6 days ago | 19 comments
241CS234: Reinforcement Learning Winter 2025 (web.stanford.edu)
205 points by jonbaer 3 days ago | 60 comments
2421,700-year-old Roman sarcophagus is unearthed in Budapest (apnews.com)
149 points by gmays 4 days ago | 76 comments
243A time-travelling door bug in Half Life 2 (mastodon.gamedev.place)
517 points by AshleysBrain 7 days ago | 85 comments
244Essence and accident in language model-assisted coding (sicpers.info)
10 points by ingve 4 days ago | 0 comments
245C64 Burrow.BAS (basic-code.bearblog.dev)
29 points by ibobev a day ago | 4 comments
246An Economy of AI Agents (arxiv.org)
140 points by nerder92 6 days ago | 97 comments
247Don't Download Apps (blog.calebjay.com)
418 points by speckx 2 days ago | 266 comments
248Serflings is a remake of The Settlers 1 (simpleguide.net)
172 points by doener 6 days ago | 57 comments
249Nearby peer discovery without GPS using environmental fingerprints (svendewaerhert.com)
78 points by waerhert 7 days ago | 23 comments
250Static Program Analysis (cs.au.dk)
4 points by ibobev a day ago | 0 comments
251Using an Array of Needles to Create Solid Knitted Shapes (dl.acm.org)
85 points by PaulHoule 7 days ago | 28 comments
252Example.com has been updated after 11 years (web.archive.org)
9 points by kevinsimper 10 hours ago | 2 comments
253Notes on the Troubleshooting and Repair of Computer and Video Monitors (repairfaq.org)
55 points by WorldPeas 3 days ago | 18 comments
254Cardiac implantable electronic devices' longevity: A novel modelling tool (journals.plos.org)
16 points by PaulHoule 6 days ago | 3 comments
255From blood sugar to brain relief: GLP-1 therapy slashes migraine frequency (medlink.com)
154 points by Anon84 2 days ago | 110 comments
256Show HN: Yolodex – real-time customer enrichment API (api.yolodex.ai)
36 points by hazzadous 4 days ago | 23 comments
257One-fifth of the jobs at your company could disappear as AI automation takes off (theregister.com)
6 points by pjmlp 12 hours ago | 2 comments
258PS5 now costs less than 64GB of DDR5 memory. RAM jumps to $600 due to shortage (tomshardware.com)
478 points by speckx 4 days ago | 379 comments
259Three Years from GPT-3 to Gemini 3 (oneusefulthing.org)
351 points by JumpCrisscross 6 days ago | 316 comments
260Galaxies Struggle to Grow in Crowded Environments (universetoday.com)
5 points by ashishgupta2209 10 hours ago | 0 comments
261Ego, empathy, and humility at work (matthogg.fyi)
173 points by mrmatthogg 5 days ago | 59 comments
262Most Stable Raspberry Pi? Better NTP with Thermal Management (austinsnerdythings.com)
291 points by todsacerdoti 3 days ago | 90 comments
263Why 90s Movies Feel More Alive Than Anything on Netflix (afranca.com.br)
79 points by jslakro 2 days ago | 130 comments
264Slop Detective – Fight the Slop Syndicate (slopdetective.kagi.com)
99 points by speckx 2 days ago | 45 comments
265What's cooking on Sourcehut? Q4 2025 (sourcehut.org)
4 points by Kerrick 13 hours ago | 0 comments
266HAProxy 3.3 Released (haproxy.com)
5 points by causenad 4 hours ago | 0 comments
267More than 93% discount for Free Software on Black Friday;) (mastodon.social)
5 points by kirschner 13 hours ago | 0 comments
268Comic Code Reviews (jona.ca)
66 points by JonathanAquino 8 days ago | 35 comments
269Drones have revolutionized warfare. They're about to do it again (cnn.com)
21 points by breve 21 hours ago | 4 comments
270