Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Post-Quantum OpenID Connect(openid.net ↗)
    1 pointsby 1 minute ago
    —discuss
  2. Geatsc – TypeScript-to-C++ Compiler(github.com/geastack ↗)
    1 pointsby 2 minutes ago
    —discuss
  3. One model writes the code, a different model reviews it(github.com/wdahah ↗)
    1 pointsby 4 minutes ago
    —discuss
  4. Show HN: SubCrisp, a free subscription tracker that shows what cancelling saves(subcrisp.com ↗)
    1 pointsby 4 minutes ago
    —discuss
  5. What Is It Like to Be a Cat Tail? (2021)(gwern.net ↗)
    1 pointsby 5 minutes ago
    —discuss
  6. Planetary Boundaries Laser Talk Booklet(docs.google.com ↗)
    1 pointsby 7 minutes ago
    1comments
  7. Claude skill and Obsidian plugin to proofread your English writing(codomaniac.com ↗)
    1 pointsby 9 minutes ago
    —discuss
  8. Show HN: NiceTryGPT and CTF and riduzione degli shortcut LLM(github.com/aleff-github ↗)
    2 pointsby 10 minutes ago
    —discuss
  9. NodeX – Serverless P2P E2EE Messenger in Rus(github.com/netgadz ↗)
    1 pointsby 10 minutes ago
    —discuss
  10. QLoRA Explained – How 4 Bit Quantization Unlocks Frontier Models(theneuralmaze.substack.com ↗)
    1 pointsby 11 minutes ago
    —discuss
  11. From MySQL to PostgreSQL: a much lighter server(ozkanpakdil.github.io ↗)
    1 pointsby 12 minutes ago
    —discuss
  12. Show HN: Agentic OS: one Rust Linux binary, one SQLite and sandbox per actor(github.com/mmeyerlein ↗)
    1 pointsby 15 minutes ago
    1comments
  13. Eigenism(eigenism.org ↗)
    1 pointsby 15 minutes ago
    —discuss
  14. Building an Agentic Coding Server in Go(prakhargurunani.com ↗)
    1 pointsby 18 minutes ago
    —discuss
  15. AI Journal 1: The Slow Surrender to AI(devshrine.net ↗)
    1 pointsby 19 minutes ago
    —discuss
  16. Domain sellers try to scam me(devshrine.net ↗)
    1 pointsby 22 minutes ago
    —discuss
  17. What were Roman dodecahedrons used for?(chatgpt.site ↗)
    1 pointsby 25 minutes ago
    —discuss
  18. Agents are replacing pull requests, Playwright, and chip design tools(fromtheterminal.substack.com ↗)
    1 pointsby 25 minutes ago
    —discuss
  19. 'Anti-vampiric' grave used two strategies to stop the undead(sciencenews.org ↗)
    3 pointsby 25 minutes ago
    —discuss
  20. The Overhang(oneusefulthing.org ↗)
    2 pointsby 26 minutes ago
    —discuss
  21. MNIST64: Interactive speed 6502 implementation on the Commodore 64 [pdf](jarnoh.github.io ↗)
    1 pointsby 27 minutes ago
    —discuss
  22. HN: MacDown SE, the Native Apple Silicon Continuation of MacDown with MCP(github.com/eldris-io ↗)
    1 pointsby 29 minutes ago
    —discuss
  23. Natural General Intelligence(naturalgeneralintelligence.ai ↗)
    1 pointsby 31 minutes ago
    —discuss
  24. Steppy Fox, a one-tap browser game(steppyfox.com ↗)
    1 pointsby 34 minutes ago
    —discuss
  25. The Proof in the Code: How a Truth Machine Is Transforming Math and AI(publishersweekly.com ↗)
    1 pointsby 39 minutes ago
    —discuss
  26. Software Sandboxing: The Basics(emilua.org ↗)
    2 pointsby 39 minutes ago
    —discuss
  27. Sorry, Webster. Most People Don't Want Internet Slang in the Dictionary(nytimes.com ↗)
    3 pointsby 40 minutes ago
    1comments
  28. I Stole RRR from Elon Musk and SpaceX(github.com/mlsystemsri ↗)
    1 pointsby 40 minutes ago
    —discuss
  29. Anthropic is cutting Claude Code's current weekly limits by 17%(bleepingcomputer.com ↗)
    5 pointsby 42 minutes ago
    4comments
  30. Dead Cowboy(smithery.ai ↗)
    1 pointsby 42 minutes ago
    —discuss

The Proof in the Code: How a Truth Machine Is Transforming Math and AI

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