Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Thoughts on the Future of Web Browsers(sarahjamielewis.com ↗)
    1 pointsby 1 minute ago
    —discuss
  2. The Physical World Has No Data Stack(felicis.com ↗)
    1 pointsby 5 minutes ago
    —discuss
  3. AI safety conversations have gotten unbelievable(techcrunch.com ↗)
    1 pointsby 7 minutes ago
    —discuss
  4. Frontier Engineering(kiro.dev ↗)
    1 pointsby 19 minutes ago
    —discuss
  5. Nscale S-1 IPO(sec.gov ↗)
    2 pointsby 19 minutes ago
    —discuss
  6. Why fitting a logistic is nearly impossible from early data(johndcook.com ↗)
    1 pointsby 20 minutes ago
    —discuss
  7. How did Apple Silicon get 50% faster in three years? – Daniel Lemire's blog(lemire.me ↗)
    1 pointsby 21 minutes ago
    —discuss
  8. Show HN: Rubrol – Sub-10ms PDF engine using Typst instead of Headless Chrome(rubrol.com ↗)
    1 pointsby 21 minutes ago
    —discuss
  9. Notes on discrete-time Fourier series and transform(thegreenplace.net ↗)
    1 pointsby 22 minutes ago
    —discuss
  10. Show HN: Jev-align, a CLI to calibrate Jev to your judgement(github.com/sutro-sh ↗)
    1 pointsby 23 minutes ago
    —discuss
  11. Claudecookie – convert, check, and mint Claude Code credentials from a cookie(claudecookie.com ↗)
    1 pointsby 25 minutes ago
    —discuss
  12. Authenticity's Triumph(smalleycreative.com ↗)
    1 pointsby 26 minutes ago
    —discuss
  13. Can you tell which images are AI-generated?(labtoagi.com ↗)
    2 pointsby 27 minutes ago
    —discuss
  14. Relation Algebra ≠ Relational Algebra(remy.wang ↗)
    1 pointsby 27 minutes ago
    —discuss
  15. An open source roguelike adventure through dungeons(develz.org ↗)
    1 pointsby 33 minutes ago
    —discuss
  16. AI in schools – The choice we keep making(friendsschoolboulder.org ↗)
    1 pointsby 34 minutes ago
    —discuss
  17. OneZoom: Tree of Life Explorer(onezoom.org ↗)
    1 pointsby 37 minutes ago
    —discuss
  18. Tadao Ando Designed&Donated a Floating Library That Delivers Books to Children(spoon-tamago.com ↗)
    1 pointsby 38 minutes ago
    —discuss
  19. Ask HN: Anyone using DeepSeek Harness (dsh) as part of a customer-facing agent?
    1 pointsby 43 minutes ago
    —discuss
  20. Joy's Law (Management)(wikipedia.org ↗)
    1 pointsby 44 minutes ago
    —discuss
  21. Academic Doomerism(muratbuffalo.blogspot.com ↗)
    1 pointsby 48 minutes ago
    —discuss
  22. Communicating schwa is impossible in written English(ashishb.net ↗)
    2 pointsby 48 minutes ago
    —discuss
  23. Research that compiles: typed claims, conflict detection and next actions(grainulator.app ↗)
    3 pointsby 48 minutes ago
    1comments
  24. PyPy v8.0.0 Release(pypy.org ↗)
    2 pointsby 49 minutes ago
    —discuss
  25. Humanism Without (All) Humans(venkateshrao.com ↗)
    1 pointsby 49 minutes ago
    —discuss
  26. Semantic end-to-end agent testing for iOS, Android, and web using Jev(tryconvoy.xyz ↗)
    1 pointsby 52 minutes ago
    1comments
  27. India Outsourcing Shifts Upmarket as AI Reshapes Jobs, ING Says(bloomberg.com ↗)
    1 pointsby 53 minutes ago
    1comments
  28. V Language Review (2023)(n-skvortsov-1997.github.io ↗)
    2 pointsby 53 minutes ago
    —discuss
  29. An old systems problem with a new AI twist: data movement(twitter.com/nk_developer1 ↗)
    2 pointsby 54 minutes ago
    —discuss
  30. Show HN: I am vibe coding a drone(railway.app ↗)
    1 pointsby 58 minutes ago
    —discuss

Research that compiles: typed claims, conflict detection and next actions

3 pointsby 49m agograinulator.app
Open original View on HN
1 comments
Open thread on HN ↗