Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Self-host your own AI text detector on CPU to filter out slop (github.com/pablocaeg)
    1 pointsby 0 minutes ago
    —discuss
  2. I can spam anyone about the OpenAI DevDay
    1 pointsby 2 minutes ago
    —discuss
  3. Show HN: 5 mins daily programming quiz to prevent skill rot from AI coding (fata.app)
    1 pointsby 2 minutes ago
    —discuss
  4. Show HN: NotchMind – a native Mac app that puts the MacBook notch to work (notchmind.com)
    1 pointsby 5 minutes ago
    —discuss
  5. Building a Skill Interview with AI (hugoj0s3.dev)
    1 pointsby 6 minutes ago
    —discuss
  6. Dataviz: Most mentioned companies in the NYT since 01/01/2000 (habibicode.org)
    1 pointsby 7 minutes ago
    —discuss
  7. Lego Sorting via F# WebAssembly (johansivertsen.com)
    1 pointsby 8 minutes ago
    —discuss
  8. Self-Play Pretraining with Zero Data (arxiv.org)
    1 pointsby 9 minutes ago
    —discuss
  9. Show HN: CodeDiff – Fast (<100ms), robust (99.95%) syntax-aware code diff (github.com/ivankovic)
    1 pointsby 9 minutes ago
    —discuss
  10. Diablo II: Resurrected in 3D (youtube.com)
    3 pointsby 11 minutes ago
    1comments
  11. Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4 [video] (youtube.com)
    1 pointsby 12 minutes ago
    —discuss
  12. Data context should be debuggable (getcassis.com)
    3 pointsby 13 minutes ago
    —discuss
  13. The Language of Living Air (worldsensorium.com)
    1 pointsby 16 minutes ago
    —discuss
  14. A Microsoft Lunduke OS (LCOS) Is Not Even in Top in DistroWatch (techrights.org)
    2 pointsby 16 minutes ago
    —discuss
  15. We Need to Log Some Hours Holding Babies (nwilliams030.substack.com)
    1 pointsby 16 minutes ago
    —discuss
  16. Venus Has Been Waiting 40 Years. One Scientist Is Done Waiting with It (blue-continuum.com)
    2 pointsby 18 minutes ago
    —discuss
  17. Climate is accumulating 4 Hiroshima atomic bombs worth of heat per second (4hiroshimas.info)
    2 pointsby 18 minutes ago
    —discuss
  18. "@Claude create a ticket" is an anti-pattern (bend.bearblog.dev)
    2 pointsby 19 minutes ago
    —discuss
  19. An amoeba that can survive and swim at 147 degrees F (smithsonianmag.com)
    1 pointsby 19 minutes ago
    —discuss
  20. #060: Using bubblewrap for R sandboxing (eddelbuettel.com)
    1 pointsby 20 minutes ago
    —discuss
  21. Google Researcher Praises Windows NT Kernel over Linux (x.com)
    2 pointsby 20 minutes ago
    1comments
  22. Thinking in batches and aggregates with streaming HTML (andersmurphy.com)
    1 pointsby 21 minutes ago
    —discuss
  23. Germany produces three times more solar power than Australia so far this year (reneweconomy.com.au)
    2 pointsby 21 minutes ago
    —discuss
  24. Show HN: Ophtml – Compile HTML/CSS into UIs for Your Homebrew PlayStation 2 (github.com/coffeedevsolutions)
    1 pointsby 22 minutes ago
    —discuss
  25. Realistic Code Execution Exploit Chain in OpenBao and Vault (control-plane.io)
    1 pointsby 24 minutes ago
    1comments
  26. Package Manager Sandboxing (nesbitt.io)
    1 pointsby 24 minutes ago
    1comments
  27. Anthropic's prospectus details losses, growth, and, yes, a warning that its AI (techcrunch.com)
    1 pointsby 25 minutes ago
    —discuss
  28. GeekyAnts reports top-10 placement in Clutch's financial app developer rankings (geekyants.com)
    3 pointsby 26 minutes ago
    —discuss
  29. Show HN: Bough, Visualize your vibe coded project: progress, time, cost and more (github.com/nickelsec)
    1 pointsby 26 minutes ago
    —discuss
  30. AMD buys World Labs for $8.2B (techcrunch.com)
    2 pointsby 27 minutes ago
    2comments

Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4 [video]

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