Show HN: AgentState – Lightweight state manager for multi-agent AI workflows (github.com)
13 points by boulevard a day ago | 0 comments
181Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover (imperialcollegelondon.github.io)
143 points by ljlolel 4 days ago | 104 comments
182Robots can now learn to use tools just by watching us (techxplore.com)
34 points by geox 20 hours ago | 14 comments
183Custom slash commands in Claude Code (boliv.substack.com)
3 points by brunooliv 18 hours ago | 0 comments
184Rapid loss of Antarctic ice may be climate tipping point (reuters.com)
10 points by yusufaytas 5 hours ago | 5 comments
185Launch HN: Skope (YC S25) – Outcome-based pricing for software products
55 points by benjsm 3 days ago | 45 comments
186grok-2 on Hugging Face (huggingface.co)
25 points by tosh 15 hours ago | 3 comments
187Building a computer in the 90s (2019) (dfarq.homeip.net)
37 points by networked a day ago | 33 comments
188AGENTS.md – Open format for guiding coding agents (agents.md)
823 points by ghuntley 4 days ago | 382 comments
189EU wildfires worst on record as burning season continues (theguardian.com)
6 points by icw_nru 9 hours ago | 0 comments
190VHS-C: When a lazy idea stumbles towards perfection [video] (youtube.com)
208 points by surprisetalk 6 days ago | 118 comments
191Lobster found 250 miles from where it was tagged (cbc.ca)
14 points by domofutu 14 hours ago | 2 comments
192AWS CEO says using AI to replace junior staff is 'Dumbest thing I've ever heard' (theregister.com)
1652 points by JustExAWS 3 days ago | 734 comments
193The West is bored to death (newstatesman.com)
74 points by CharlesW 13 hours ago | 41 comments
194I run a full Linux desktop in Docker just because I can (howtogeek.com)
171 points by redbell 5 days ago | 115 comments
195Cities obey the same laws of living systems (actu.epfl.ch)
8 points by geox 11 hours ago | 0 comments
196Show HN: Python library for fetching/storing/streaming crypto market data (github.com)
4 points by h2337 19 hours ago | 0 comments
197Depression shown to be both cause and consequence of poor health (medicalxpress.com)
10 points by pseudolus 11 hours ago | 1 comment
198An Update on Pytype (github.com)
198 points by mxmlnkn 4 days ago | 66 comments
199Show HN: Using Common Lisp from Inside the Browser (turtleware.eu)
109 points by jackdaniel 3 days ago | 31 comments
200People Who Live to 100 Have a Unique Relationship with Disease (sciencealert.com)
22 points by prmph 15 hours ago | 5 comments
201Show HN: OS X Mavericks Forever (mavericksforever.com)
394 points by Wowfunhappy 6 days ago | 194 comments
202Introduction to AT Protocol (mackuba.eu)
193 points by psionides 4 days ago | 108 comments
203Why is this hard? (programmersstone.blog)
51 points by Bogdanp 4 days ago | 23 comments
204Invention as Exploration (symmetrybroken.com)
4 points by riemannzeta 19 hours ago | 1 comment
205How well does the money laundering control system work? (journals.uchicago.edu)
287 points by PaulHoule 3 days ago | 354 comments
206How to stop feeling lost in tech: the wafflehouse method (yacinemahdid.com)
170 points by research_pie 3 days ago | 107 comments
207Colombian Black Hawk Downed by Drone Is a Glimpse of What's to Come (twz.com)
30 points by Michelangelo11 16 hours ago | 17 comments
208Should the web platform adopt XSLT 3.0? (github.com)
129 points by protomolecool 2 days ago | 101 comments
209Code review can be better (tigerbeetle.com)
387 points by sealeck 4 days ago | 237 comments
210