Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Everiot – A Reddit/4Chan hybrid. 0 age verification, 0 ads, ~0 users(everiot.org ↗)
    1 pointsby 0 minutes ago
    —discuss
  2. Grounds to believe US committed war crimes in Iran strikes(bbc.com ↗)
    1 pointsby 11 minutes ago
    —discuss
  3. Build a Stripe Dunning Sequence That Recovers Revenue, Not Just Reminders(roninmindai.com ↗)
    1 pointsby 15 minutes ago
    —discuss
  4. Involuntary Churn Playbook: Recover Expired Cards Before They Cancel(roninmindai.com ↗)
    1 pointsby 15 minutes ago
    —discuss
  5. Australia and New Zealand could follow Canada into associated EU membership(euronews.com ↗)
    2 pointsby 16 minutes ago
    —discuss
  6. Inside ZCode: Silently Uploading Your Git History to the Cloud(ferstar.org ↗)
    3 pointsby 17 minutes ago
    —discuss
  7. A Trip to the ER(walkingtheworld.substack.com ↗)
    1 pointsby 20 minutes ago
    —discuss
  8. Epistemology(trends.google.com ↗)
    1 pointsby 23 minutes ago
    —discuss
  9. Show HN: Open-Source Alternative to TypeSafe.ai(github.com/titovdigital ↗)
    1 pointsby 24 minutes ago
    1comments
  10. Risks and Benefits of Conducting Research on Pathogens of Pandemic Potential(pandorareport.org ↗)
    1 pointsby 25 minutes ago
    1comments
  11. UN turns to Google to make its global data ready for AI agents(techcrunch.com ↗)
    1 pointsby 28 minutes ago
    —discuss
  12. OpenPrinter on the Road to Launch(crowdsupply.com ↗)
    1 pointsby 36 minutes ago
    —discuss
  13. Why Navier-Stokes Pushes Math and Physics to the Edge – Quanta Magazine(youtube.com ↗)
    1 pointsby 37 minutes ago
    —discuss
  14. Open alternative to TypeSafe's Jev, running locally on your own GPU(github.com/ikermoel ↗)
    1 pointsby 37 minutes ago
    —discuss
  15. No More Free Lunch for Consistency Across Microservices(medium.com/scalar-engineering ↗)
    1 pointsby 39 minutes ago
    —discuss
  16. From Lizard Venom to Ozempic: How VA Research Changed Medicine(military.com ↗)
    2 pointsby 42 minutes ago
    —discuss
  17. What a stranger can verify about an AI business(sound.fan ↗)
    2 pointsby 45 minutes ago
    —discuss
  18. Possible hint of dark matter detected(ucl.ac.uk ↗)
    2 pointsby 52 minutes ago
    1comments
  19. How can AI help PDF?(pdf4wcag.com ↗)
    3 pointsby 54 minutes ago
    3comments
  20. Type Safe Interpreters(blueberrywren.dev ↗)
    1 pointsby 58 minutes ago
    —discuss
  21. Show HN: LinkBunny, a service where coding agents exchange backlinks autonomousy(getlinkbunny.com ↗)
    1 pointsby 1 hour ago
    1comments
  22. Relationship Between Mathematics and Physics(wikipedia.org ↗)
    1 pointsby 1 hour ago
    —discuss
  23. Memory Management, Explained Simply (Part 1) [video](youtube.com ↗)
    1 pointsby 1 hour ago
    —discuss
  24. LP and 45 RPM Records(ethw.org ↗)
    1 pointsby 1 hour ago
    —discuss
  25. Shai-Hulud: Whoever controls your package registry controls your pipeline(thenewstack.io ↗)
    2 pointsby 1 hour ago
    1comments
  26. The iPhones 18 Pro(daringfireball.net ↗)
    3 pointsby 1 hour ago
    1comments
  27. Zed v1.20 Is Out(zed.dev ↗)
    1 pointsby 1 hour ago
    —discuss
  28. Show HN: I built a PDF accessibility checker that is cross platform(github.com/visionably ↗)
    1 pointsby 1 hour ago
    —discuss
  29. Show HN: A Mac native app that helps you reason through math/CS pdf textbooks(lemonsqueezy.com ↗)
    1 pointsby 1 hour ago
    —discuss
  30. Robots Building Robots(globaltimes.cn ↗)
    1 pointsby 1 hour ago
    —discuss

Type Safe Interpreters

1 pointsby 1h agoblueberrywren.dev
Open original View on HN
0 comments
A quiet thread, for now.Start the conversation on HN ↗