Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Nvidia announces native GPU programming in Rust(nvidia.com ↗)
    308 pointsby 4 hours ago
    119comments
  2. Training a 4B model to produce 81% faster query plans than Postgres(rohanbansal.com ↗)
    407 pointsby 7 hours ago
    84comments
  3. Xiaomi Mimo 2.6 live post-training dashboard(xiaomi.com ↗)
    270 pointsby 6 hours ago
    66comments
  4. Breaking the 1.58-bit Barrier for Ternary LLMs(arxiv.org ↗)
    145 pointsby 5 hours ago
    19comments
  5. Backups Aren't Simple(filipovski.net ↗)
    91 pointsby 4 hours ago
    38comments
  6. Small programming tricks(will-keleher.com ↗)
    407 pointsby 10 hours ago
    184comments
  7. The engineering behind the US Strategic Petroleum Reserve(johnjwang.com ↗)
    112 pointsby 4 hours ago
    37comments
  8. OpenSpec – A lightweight and configurable AI spec framework(openspec.dev ↗)
    71 pointsby 3 hours ago
    26comments
  9. Developing provably correct Rust code with Verus(amazon.science ↗)
    18 pointsby 2 hours ago
    —discuss
  10. Performance Improvements in .NET 11(devblogs.microsoft.com/dotnet ↗)
    180 pointsby 7 hours ago
    34comments
  11. Reversing Factorio's RNG(gegell.github.io ↗)
    148 pointsby 7 hours ago
    19comments
  12. HarnessTax: How Much Does the Harness Matter for Coding Agents?(harnesstax.github.io ↗)
    42 pointsby 3 hours ago
    9comments
  13. The Return of Sail Power: Cargo Ships Are Turning Back to the Wind(gcaptain.com ↗)
    14 pointsby 1 hour ago
    2comments
  14. Australia says it could follow Canada in forging deeper ties with EU(independent.co.uk ↗)
    149 pointsby 3 hours ago
    93comments
  15. Japan's book scene is moving from bookstores to libraries(untranslatedjp.substack.com ↗)
    121 pointsby 9 hours ago
    46comments
  16. OpenAI Discloses Six New Incidents of ‘Concerning’ A.I. Behavior(nytimes.com ↗)
    35 pointsby 1 hour ago
    23comments
  17. AWS says it can't restore some data from mideast facilities struck by Iran(wsj.com ↗)
    246 pointsby 9 hours ago
    219comments
  18. Reverse-engineered Jev-like model(github.com/vinnylarouge ↗)
    79 pointsby 7 hours ago
    12comments
  19. Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations(github.com/arnegiacomo ↗)
    2096 pointsby 1 day ago
    240comments
  20. Anecdotally, programmers dislike "reduce"(evanhahn.com ↗)
    100 pointsby 12 hours ago
    161comments
  21. Why Does the Universe Expand?(cosmicave.org ↗)
    35 pointsby 4 hours ago
    21comments
  22. Dream-RSI: Recursive Self-Improvement through Evolving Worlds(arxiv.org ↗)
    181 pointsby 12 hours ago
    49comments
  23. Anatomy of a Texture(agentlien.github.io ↗)
    77 pointsby 11 hours ago
    14comments
  24. Accurate Models of AMD Matrix Cores(arxiv.org ↗)
    63 pointsby 7 hours ago
    7comments
  25. The DeepMind Institute(deepmind.com ↗)
    152 pointsby 11 hours ago
    45comments
  26. I replaced my brown-noise browser tab with a menu bar app(oldmanrahul.com ↗)
    24 pointsby 4 hours ago
    9comments
  27. Hackers Got Inside a Flock Camera(wired.com ↗)
    473 pointsby 12 hours ago
    217comments
  28. Training Text-to-Image Models 3.6× Faster(linum.ai ↗)
    36 pointsby 6 hours ago
    8comments
  29. Michael Burry slams OpenAI, Anthropic for 'self-serving' calls to slow AI(nypost.com ↗)
    11 pointsby 39 minutes ago
    —discuss
  30. Tell the speakers that you liked their talks(ohhelloana.blog ↗)
    276 pointsby 12 hours ago
    75comments

Developing provably correct Rust code with Verus

17 pointsby 2d agoamazon.science
Open original View on HN
0 comments
A quiet thread, for now.Start the conversation on HN ↗