Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Show HN: What a VM for your AI agent costs across 13 sandbox providers (sf.tools)
    1 pointsby 2 minutes ago
    —discuss
  2. Show HN: Serverless, cheater-proof MTG engine using zero-knowledge play (chiplis.com)
    1 pointsby 7 minutes ago
    —discuss
  3. ESP32S3 cluster running 1.58-bit (BitNet) Language model (github.com/low-zi-hong)
    1 pointsby 7 minutes ago
    —discuss
  4. DrawDB: Online database diagram editor and SQL generator (github.com/drawdb-io)
    2 pointsby 8 minutes ago
    —discuss
  5. OpenAI, Hugging Face Attack – Music Video (reddit.com)
    2 pointsby 8 minutes ago
    —discuss
  6. Women Behind North Korea's IT Worker Operations (haydenmckenzie.com)
    2 pointsby 9 minutes ago
    —discuss
  7. Remembering the Chicago Pile, the First Nuclear Reactor (newyorker.com)
    2 pointsby 10 minutes ago
    —discuss
  8. Spec Driven Development in 14mins (productmindset.substack.com)
    1 pointsby 10 minutes ago
    2comments
  9. Cap Snatching (wikipedia.org)
    1 pointsby 11 minutes ago
    —discuss
  10. Deutsche Bahn "joke" is no longer funny (jonworth.eu)
    3 pointsby 12 minutes ago
    —discuss
  11. End of Hand-Written Code: A Conversation with DHH (thoughteconomics.com)
    3 pointsby 14 minutes ago
    2comments
  12. Stanford CME295 Transformers n LLMs – Autumn 2026 – Lecture 1 – Transformers [video] (youtube.com)
    1 pointsby 15 minutes ago
    —discuss
  13. Starship Achieved Orbit (twitter.com/spacex)
    2 pointsby 16 minutes ago
    3comments
  14. Machine-Generated, Machine-Checked Proofs for a Verified Compiler (ICFP'26) [video] (youtube.com)
    1 pointsby 19 minutes ago
    —discuss
  15. Authors Guild calls on publishers to share Anthropic wealth (publishersweekly.com)
    3 pointsby 19 minutes ago
    —discuss
  16. The Internet Is Dead (code-bude.net)
    5 pointsby 21 minutes ago
    —discuss
  17. Conway's Law cuts both ways (contrapeso.xyz)
    2 pointsby 22 minutes ago
    —discuss
  18. Florida asks for order to halt ChatGPT development (axios.com)
    2 pointsby 22 minutes ago
    1comments
  19. Researchers proved AI has deleted every reason universities exist (twitter.com/thesupermannx)
    1 pointsby 22 minutes ago
    1comments
  20. Full Self Hauling: Volvo moves 3 million tonnes of Earth, autonomously (electrek.co)
    3 pointsby 23 minutes ago
    —discuss
  21. Dutch 'reformed hacker' arrested in ShinyHunters investigation, police say (reuters.com)
    2 pointsby 25 minutes ago
    —discuss
  22. Man Says Meta's Muse AI Gave His Home Address Out to Strangers (futurism.com)
    3 pointsby 25 minutes ago
    —discuss
  23. Flock Wants the Most Detailed Map of Its Surveillance Cameras Taken Offline (theintercept.com)
    14 pointsby 25 minutes ago
    3comments
  24. Reverse-engineering a $35 backup camera display (AMT630A) (github.com/mogrinz)
    1 pointsby 27 minutes ago
    1comments
  25. TikTok, X reportedly barring ads for documentary about Elon Musk (cbc.ca)
    8 pointsby 27 minutes ago
    —discuss
  26. Elemental analysis demonstrates 'Donut Battery' is not lithium-ion or sodium (donutlab.com)
    1 pointsby 28 minutes ago
    —discuss
  27. Yikes example.com has changed to run JavaScript
    1 pointsby 28 minutes ago
    1comments
  28. Postgres query plans without production data (weavori.com)
    1 pointsby 29 minutes ago
    —discuss
  29. What good is a best-effort exclusive lock, anyway? (gaultier.github.io)
    1 pointsby 30 minutes ago
    —discuss
  30. The macOS Roblox is now on Linux (github.com/aubree-lat)
    1 pointsby 30 minutes ago
    1comments

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (ICFP'26) [video]

1 pointsby 19m agoyoutube.com
Open original View on HN
0 comments
A quiet thread, for now.Start the conversation on HN ↗