Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Former Meta CTO's Strategy on Scaling Green Tech (Mike Schroepfer) [video] (youtube.com)
    1 pointsby 0 minutes ago
    —discuss
  2. The Hardest of Scrabbles: Solopreneurship (molochinations.substack.com)
    1 pointsby 3 minutes ago
    —discuss
  3. Calendario – Google, Outlook and Zoom calendars in one browser popup (chromewebstore.google.com)
    1 pointsby 3 minutes ago
    —discuss
  4. Foreman: An agent supervisor and software factory foreman (github.com/thruwire)
    1 pointsby 4 minutes ago
    —discuss
  5. How to Tell If Someone Is Cheating on Chess.com (chesscheatdetector.com)
    1 pointsby 5 minutes ago
    —discuss
  6. A Simple Puzzle Reveals the Jagged Edge of AI's Abilities (aatishb.com)
    1 pointsby 7 minutes ago
    —discuss
  7. Noillirk: A fun twist on Krillion and Family Feud (playdaily.org)
    4 pointsby 9 minutes ago
    1comments
  8. The literacy crisis is people's inability to read for context (bsky.app)
    1 pointsby 10 minutes ago
    —discuss
  9. Financing the AI Buildout [pdf] (brookings.edu)
    1 pointsby 10 minutes ago
    —discuss
  10. Hackers hijack AI accounts and servers to fuel new cyber crime boom (ft.com)
    1 pointsby 12 minutes ago
    —discuss
  11. ClusterMAX 3.0: The Industry Standard GPU Cloud Rating System Returns (semianalysis.com)
    1 pointsby 13 minutes ago
    —discuss
  12. Delegation and Trust (bjornroche.com)
    1 pointsby 15 minutes ago
    —discuss
  13. Chains Messenger – E2EE iOS app with chat imports and permission-first DMs (apps.apple.com)
    1 pointsby 16 minutes ago
    —discuss
  14. Simple visual patterns can trick AI-powered vehicles and robots (ufl.edu)
    1 pointsby 19 minutes ago
    —discuss
  15. The Wait Equation (xendo.bearblog.dev)
    1 pointsby 28 minutes ago
    —discuss
  16. Primeagen Joining Omarchy Core (twitter.com/dhh)
    4 pointsby 29 minutes ago
    —discuss
  17. TechGuard Pro: Essential Cybersecurity Tips and Mobile Security Guide for 2026 (mobilestuff2026.blogspot.com)
    1 pointsby 30 minutes ago
    —discuss
  18. Can Claude Opus 5.5 find any new leads on Satoshi Nakamoto? (notesbylex.com)
    2 pointsby 30 minutes ago
    —discuss
  19. How Intelligent Are Cats? (2004) (messybeast.com)
    2 pointsby 30 minutes ago
    1comments
  20. OpenAI pauses training of its 'most capable models' (theverge.com)
    6 pointsby 32 minutes ago
    2comments
  21. Why Russia is sending dead princes and saints into battle (cnn.com)
    3 pointsby 36 minutes ago
    —discuss
  22. The new MacBook is cool, but the PowerBook Duo was cooler (2015) (macworld.com)
    1 pointsby 39 minutes ago
    —discuss
  23. Europe's utilities are losing the financial power to lead the energy transition (rolandberger.com)
    1 pointsby 40 minutes ago
    —discuss
  24. AI agents now hold and spend real money, and nobody keeps their books (agenticfinancegraph.com)
    2 pointsby 44 minutes ago
    —discuss
  25. Stop Sending Pictures of Your Palm (bbc.com)
    5 pointsby 46 minutes ago
    2comments
  26. An Open Letter to Scott Alexander (quillette.com)
    3 pointsby 47 minutes ago
    —discuss
  27. Helicoprion (australian.museum)
    1 pointsby 47 minutes ago
    —discuss
  28. Tell HN: If you are going to slop the web, don't use Chrome MCP
    1 pointsby 47 minutes ago
    —discuss
  29. The AI-First Organization (rolandberger.com)
    2 pointsby 48 minutes ago
    —discuss
  30. What innovators can still learn from Xerox PARC (rolandberger.com)
    3 pointsby 49 minutes ago
    —discuss

Show HN: ProofForge, AI agents whose proofs have to compile in Lean

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