• 1.

  AI "Proves" Collatz Conjecture with Lean 4 Bug(twitter.com)

  8 pointsby pfdietz19 days ago4 commentsTrend history
• 2.

  Who the welfare state protects shapes a country’s financial openness(theloop.ecpr.eu)

  Repost2 prior posts37 pointsby kome19 days ago55 commentsTrend history
• 3.

  Show HN: Blender in WebAssembly(developer.puter.com)

  4 pointsby ent10119 days ago1 commentsTrend history
• 4.

  Getting Away from the Algorithm(antoniosantos.io)

  2 pointsby theorchid19 days ago0 commentsTrend history
• 5.

  Engy – Verified LLM Inference(engy.ai)

  2 pointsby poidos19 days ago1 commentsTrend history
• 6.

  Ask HN: What have you been curious about?

  7 pointsby adityaathalye19 days ago11 commentsTrend history
• 7.

  Speeding up end-to-end inference with self-improving agents(asari.ai)

  4 pointsby The-Ludwig19 days ago0 commentsTrend history
• 8.

  Alarm at NHS patient records being put under control of US private equity firm(theguardian.com)

  4 pointsby bookofjoe19 days ago0 commentsTrend history
• 9.

  Strings Don't Vibrate the Way You Think [video](youtube.com)

  3 pointsby skibz19 days ago0 commentsTrend history
• 10.

  Show HN: Mirrors – Improve AI agents with staging environments(runmirrors.com)

  Repost1 prior post4 pointsby idyeetya19 days ago0 commentsTrend history
• 11.

  A Dark-Money Campaign Is Paying Influencers to Frame Chinese AI as a Threat(wired.com)

  Repost7 prior posts12 pointsby eth0up19 days ago2 commentsTrend history
• 12.

  What We Think the 2026 Gartner Hype Cycle Gets Right About GraphQL(apollographql.com)

  2 pointsby jdauriemma19 days ago0 commentsTrend history
• 13.

  Doom for Commodore 64 Progress(x.com)

  2 pointsby amichail19 days ago0 commentsTrend history
• 14.

  The motion-sickness cure hidden in iPhone settings(bbc.com)

  43 pointsby saikatsg19 days ago30 commentsTrend history
• 15.

  Anthropic Doesn't Want Open Weight Models Banned. Just All That Makes Them Good(techdirt.com)

  27 pointsby cdrnsf19 days ago4 commentsTrend history
• 16.

  The growing threat of Docusign phishing attacks (2024)(darktrace.com)

  14 pointsby saikatsg19 days ago7 commentsTrend history
• 17.

  How to not die by a thousand cuts or how to think about software quality (2023)(evalapply.org)

  Repost1 prior post45 pointsby adityaathalye19 days ago25 commentsTrend history
• 18.

  GNU Hyperbole Implicit Buttons: Build Your Hyperverse(chiply.dev)

  3 pointsby linggen19 days ago0 commentsTrend history
• 19.

  Stop building RAG systems without doing evals(minimumviablefounder.com)

  2 pointsby hackfather19 days ago0 commentsTrend history
• 20.

  Gleam v1.18.0(gleam.run)

  22 pointsby linggen19 days ago1 commentsTrend history
• 21.

  About half of Americans support all-day school cellphone bans(pewresearch.org)

  5 pointsby theanonymousone19 days ago2 commentsTrend history
• 22.

  Deep dive into Git's wire protocol(scottchacon.com)

  3 pointsby schacon19 days ago0 commentsTrend history
• 23.

  Porting Linux to the Dec Alpha: Infrastructure (1995)(linuxjournal.com)

  6 pointsby jandeboevrie19 days ago0 commentsTrend history
• 24.

  Fixing bugs in Event Sourcing is hard, for real?(architecture-weekly.com)

  3 pointsby theanonymousone19 days ago0 commentsTrend history
• 25.

  Anubis.dog(anubis.dog)

  2 pointsby awides19 days ago3 commentsTrend history
• 26.

  Opus 5 on Vending-Bench: Once Again the Best Capitalist, Once Again Misaligned(andonlabs.com)

  3 pointsby axbac19 days ago0 commentsTrend history
• 27.

  "Cloudflare OS" demo (00:55:34) – internal tool inside Cloudflare(customer-eq7kiuol0tk9chox.cloudflarestream.com)

  2 pointsby wenbin19 days ago0 commentsTrend history
• 28.

  AntGroup releases Ling 3.0 Flash MoE model(twitter.com)

  4 pointsby potus_kushner19 days ago0 commentsTrend history
• 29.

  Axiom Foundation launches to publish law as open, verifiable code(axiom.org)

  Repost1 prior post13 pointsby axbac19 days ago11 commentsTrend history
• 30.

  Opening Keynote by Chinese President Xi Jinping at 2026 World AI Conference(english.gov.cn)

  7 pointsby mooreds19 days ago0 commentsTrend history

Operational status: system stale