• 1.

  Show HN: Untyped – check recorded agent runs against a TLA+ spec(github.com)

  2 pointsby damianabramov16 days ago0 commentsTrend history
• 2.

  How Effective Altruism Conquered the World(economist.com)

  4 pointsby bazzmt16 days ago0 commentsTrend history
• 3.

  Can an Android app without the INTERNET permission phone home?(arjun.maniyani.com)

  1 pointsby mokshablr16 days ago0 commentsTrend history
• 4.

  Ask HN: If you're struggling with p(doom), how are you handling it?

  3 pointsby pyronite16 days ago3 commentsTrend history
• 5.

  The Thirty Million Line Software Problem [video](youtube.com)

  Repost16 prior posts1 pointsby childintime16 days ago0 commentsTrend history
• 6.

  Tell HN: Python.com Is for Sale

  3 pointsby mococa16 days ago1 commentsTrend history
• 7.

  What a Jurassic rainforest may have sounded like(science.org)

  3 pointsby bookofjoe16 days ago1 commentsTrend history
• 8.

  Teaching LLVM a trick it knew(rhyadav.dev)

  2 pointsby slowrah16 days ago1 commentsTrend history
• 9.

  Writing an Operating System in 1k Lines(github.com)

  1 pointsby teleforce16 days ago0 commentsTrend history
• 10.

  One Thousand Origami Cranes(en.wikipedia.org)

  2 pointsby vismit200016 days ago0 commentsTrend history
• 11.

  The Evolution of Smalltalk – From Smalltalk-72 Through Squeak [Ingalls 2020](dl.acm.org)

  Repost1 prior post1 pointsby AlexeyBrin16 days ago0 commentsTrend history
• 12.

  All You Need Is Cable TV? (2019)(tandfonline.com)

  1 pointsby vismit200016 days ago0 commentsTrend history
• 13.

  What AI debates have to do with alchemy(programmablemutter.com)

  2 pointsby rwmj16 days ago1 commentsTrend history
• 14.

  Latency Implications of Virtual Memory(rigtorp.se)

  Repost3 prior posts2 pointsby porridgeraisin16 days ago0 commentsTrend history
• 15.

  GTA V – Graphics Study(adriancourreges.com)

  Repost1 prior post2 pointsby porridgeraisin16 days ago0 commentsTrend history
• 16.

  The Laffer Curve(en.wikipedia.org)

  Repost5 prior posts2 pointsby baxtr16 days ago0 commentsTrend history
• 17.

  Why I tried to kill token billing (and why we kept it)(stripe.com)

  2 pointsby torutofu16 days ago0 commentsTrend history
• 18.

  macOS ProactiveHarvesting and AppleIntelligenceReportingSELFIngestor(knowledgeisuserdata.medium.com)

  1 pointsby cududa16 days ago1 commentsTrend history
• 19.

  US Hackers Face $1k-a-Month Pay Cuts in Controversial Plan(bloomberg.com)

  2 pointsby sbulaev16 days ago0 commentsTrend history
• 20.

  Over 20 NHS trusts have ditched Palantir waiting-list tools, analysis shows(ft.com)

  2 pointsby sbulaev16 days ago0 commentsTrend history
• 21.

  AI's 'Thought' Process Can No Longer Be Trusted(wsj.com)

  5 pointsby 1vuio0pswjnm716 days ago2 commentsTrend history
• 22.

  Mac OS 9 Platinum desktop recreated in the browser(wieslawsoltes.github.io)

  4 pointsby wiso16 days ago0 commentsTrend history
• 23.

  Six operating systems that inspired Windows and Linux(howtogeek.com)

  2 pointsby dxs16 days ago0 commentsTrend history
• 24.

  Herbarium – keep and review the HTML pages AI tools generate(github.com)

  1 pointsby abdouyaya199816 days ago0 commentsTrend history
• 25.

  Run Qwen 3.8 Flash Next (125B) on consumer hardware (RTX 4090) at 100T/s(github.com)

  Repost2 prior posts362 pointsby snehesht16 days ago196 commentsTrend history
• 26.

  Harden Your AI Agent(sometechblog.com)

  1 pointsby l5870uoo9y16 days ago0 commentsTrend history
• 27.

  Ya-GPT: a Rust free in-browser ML training(gpt.codexes.io)

  1 pointsby zteppenwolf16 days ago0 commentsTrend history
• 28.

  Improving and Stabilizing the Racoon2 IKE Daemon in NetBSD(blog.netbsd.org)

  1 pointsby jaypatelani16 days ago0 commentsTrend history
• 29.

  Tokyo's record rainfall streak ends after 37 days(english.kyodonews.net)

  2 pointsby giuliomagnifico16 days ago0 commentsTrend history
• 30.

  Show HN: A complete web build of OrcaSlicer for 3D printing(cubbycad.com)

  1 pointsby thederf16 days ago0 commentsTrend history

Operational status: system stale