Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Ordinal definability–how did Gödel do it?(infinitelymore.xyz ↗)
    1 pointsby 0 minutes ago
    —discuss
  2. Show HN: 8 months extending a terminal to handle all my work with all agents(github.com/albertwujj ↗)
    1 pointsby 0 minutes ago
    —discuss
  3. The Paradox of Empathy (2015)(jenson.org ↗)
    1 pointsby 1 minute ago
    —discuss
  4. KDE Goes to the Pyramids(youtube.com ↗)
    1 pointsby 1 minute ago
    —discuss
  5. Remittance MOney Transfer Calculator(faisalkhan.com ↗)
    1 pointsby 2 minutes ago
    —discuss
  6. Epoll and Kqueue: How Operating Systems Learned to Wait Efficiently(thecodinggopher.substack.com ↗)
    1 pointsby 2 minutes ago
    —discuss
  7. The AI wave has to land somewhere according to Tesler's Law(moonspell.fm ↗)
    1 pointsby 3 minutes ago
    —discuss
  8. Lego Brick Sorting Machine Uses AI to Save Millions from Landfill [video](youtube.com ↗)
    2 pointsby 7 minutes ago
    2comments
  9. C64 Programming with AI(dreisechzig.net ↗)
    1 pointsby 7 minutes ago
    —discuss
  10. A Wordle solver that shows you why each guess narrows the field(turnword.com ↗)
    1 pointsby 8 minutes ago
    —discuss
  11. In Fighting for Every Black Child, Did I Betray My Own?(nytimes.com ↗)
    3 pointsby 9 minutes ago
    1comments
  12. Show HN: Bailout – The coding agent meant to be deleted(github.com/storozhenko98 ↗)
    1 pointsby 10 minutes ago
    —discuss
  13. Andrew Ng: AI Extinction Fears Are 'Science Fiction'(youtube.com ↗)
    3 pointsby 14 minutes ago
    —discuss
  14. Show HN: System One Harness (SOH), the harness for System One models(github.com/harnessrouter ↗)
    1 pointsby 15 minutes ago
    —discuss
  15. Sheboygan, Wisconsin canceling Flock contract over undisclosed data tracking(fox6now.com ↗)
    1 pointsby 16 minutes ago
    1comments
  16. Jensen Huang: Those warning on AI apocalypse "have ulterior reasons"(youtube.com ↗)
    6 pointsby 16 minutes ago
    1comments
  17. Show HN: AliasFleet – Email aliases with an in-app composer and telemetry(aliasfleet.com ↗)
    1 pointsby 16 minutes ago
    1comments
  18. Locals in Mexico Call It World's Largest Cesspool & Blame It for Surging Cancer(nytimes.com ↗)
    1 pointsby 19 minutes ago
    1comments
  19. Why China Isn't Getting Existential About A.I(newyorker.com ↗)
    5 pointsby 21 minutes ago
    1comments
  20. Graph World Models for Verified and Efficient Long-Horizon LLM Task Planning(dair.ai ↗)
    1 pointsby 21 minutes ago
    —discuss
  21. Someone made jev play Atari games(github.com/taodav ↗)
    2 pointsby 21 minutes ago
    —discuss
  22. Show HN: Judge Jev – Can you convince Jev of your innocence?(judge-jev.com ↗)
    2 pointsby 22 minutes ago
    —discuss
  23. A.I: We Are Building Our Own Jurassic Park [video](youtube.com ↗)
    1 pointsby 22 minutes ago
    —discuss
  24. How to Build the Fastest Drone in the World (600km/h FPV Drone)(youtube.com ↗)
    3 pointsby 27 minutes ago
    —discuss
  25. A Necessary History of the Oddest Letter: W(lithub.com ↗)
    21 pointsby 29 minutes ago
    1comments
  26. Show HN: Testing a non-generative decision model on 5,500 CLINC150 inputs(github.com/chr-kelly ↗)
    3 pointsby 30 minutes ago
    —discuss
  27. Show HN: I inadvertently built an English to Bash transpiler(github.com/gioblu ↗)
    2 pointsby 31 minutes ago
    3comments
  28. I turned Jev into a (lousy) chatbot(github.com/kyle-pena-nlp ↗)
    23 pointsby 34 minutes ago
    1comments
  29. Show HN: TetherPHP – a small PHP framework designed for agents and humans(tetherphp.com ↗)
    2 pointsby 36 minutes ago
    —discuss
  30. From zero to disaggregated DeepSeek deployment(shubhmehta3121.github.io ↗)
    2 pointsby 38 minutes ago
    —discuss

AI is a powerful but problematic new collaborator in mathematics

3 pointsby 1h agoft.com
Open original View on HN
1 comments
Open thread on HN ↗