Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. 1k careers. One universe. Sign up not necessary(epie.life ↗)
    discuss
  2. Ask HN: Anyone Played with Jetson Orin Nano Super?
    discuss
  3. Show HN: Gdocs-me-up: a high-fidelity Google Docs exporter(github.com/behdad ↗)
    discuss
  4. OpenPrompt – one workspace for developers using multiple AI coding tools(openprompt.tech ↗)
    discuss
  5. Masked LFW (MLFW) Database(whdeng.cn ↗)
    discuss
  6. CostRift(costrift.com ↗)
    discuss
  7. Jev, Prolog, Pi, and the dream of probabilistic logic programming(deepclause.substack.com ↗)
    discuss
  8. Why back propagation goes backward(gregorygundersen.com ↗)
    discuss
  9. Recursive Cognitive Optimization (RCO)(github.com/sealvlon ↗)
    discuss
  10. Trump says it's time to rebrand AI with a new name(techcrunch.com ↗)
    2comments
  11. Can You Beat Jev?(antics.gg ↗)
    1comments
  12. Sub-15ms, non-autoregressive, local drop-in alternative to TypeSafe Jev(github.com/wfzyx ↗)
    discuss
  13. Models know when they're reward hacking – and we can catch them at scale(goodfire.com ↗)
    discuss
  14. Fundamental Theorem of Calculus [Slop](proofatlas.ai ↗)
    discuss
  15. Show HN: Vsqrd – AWS for Biology Experiments(vsqrd.com ↗)
    discuss
  16. The First Ten Years(gregorygundersen.com ↗)
    discuss
  17. Succinct Sounds-Like Starting Vowels(wiredream.com ↗)
    discuss
  18. Show HN: Lain, a structural code graph and agent coordinator for coding agents(github.com/spuentesp ↗)
    1comments
  19. Two similar AI judges fail together 7.7x more often than independence predicts(github.com/lawless1987 ↗)
    discuss
  20. A refined phylochronology of the second plague pandemic in Western Eurasia(pnas.org ↗)
    discuss
  21. How I view LLMs as Sept 2026(bhardwajrish.blogspot.com ↗)
    discuss
  22. ZCode: silently uploading your Git history to the cloud(routley.io ↗)
    discuss
  23. A CERN for AI-assisted science(terrytao.wordpress.com ↗)
    discuss
  24. Show HN: Converting AVS audio viz to WebAssembly using GPT 5.6(strlns.github.io ↗)
    discuss
  25. Spending on data centers and hardware now exceeds housing investment(fortune.com ↗)
    1comments
  26. Amiga Unix, Again(amigaux.org ↗)
    3comments
  27. Building an NBA stats warehouse without writing any of the code(jeffknupp719305.substack.com ↗)
    discuss
  28. Prototype of a Windows 11-inspired Web OS with autonomous IA agents(github.com/davidpoliquin30-design ↗)
    discuss
  29. Tools to Prevent Dementia(scmp.com ↗)
    discuss
  30. New startup to test psychedelic-like drug against Parkinson's symptom(statnews.com ↗)
    discuss

Fundamental Theorem of Calculus [Slop]

1 pointsby 37m agoproofatlas.ai
0 comments
A quiet thread, for now.Start the conversation on HN ↗