Hackernews posts about Vera

1. 31
   

   newNvidia Vera's System Architecture: Pushing Bandwidthchipsandcheese.com

   ▲ 11pella19ddiscusssavesaved
2. 32
   

   newBenchmarking DuckDB v2.0-dev on Nvidia Veraduckdb.org

   ▲ 3tosh20ddiscusssavesaved
3. 33
   

   newNvidia announces plug and play Vera Rubin racks that can be shipped on a truckwww.cnbc.com

   ▲ 2koolba17d💬 1savesaved
4. 34
   

   newRunning ClickHouse on Nvidia Vera CPUclickhouse.com

   ▲ 2zX41ZdbW17ddiscusssavesaved
5. 35
   

   newNvidia Vera's System Architecture: Pushing Bandwidthchipsandcheese.com

   ▲ 2rbanffy18ddiscusssavesaved
6. 36
   

   newNvidia Vera's System Architecture: Pushing Bandwidthchipsandcheese.com

   ▲ 2rbanffy19ddiscusssavesaved
7. 37
   

   newThe Impact of Orbital Data Centers on the NSF-DOE Vera C. Rubin Observatoryarxiv.org

   ▲ 1ersinesen12d💬 3savesaved
8. 38
   

   newNvidia Vera's System Architecture: Pushing Bandwidthchipsandcheese.com

   ▲ 1gmays4ddiscusssavesaved
9. 39
   

   newShow HN: Wonderhop – A daily game: guess what most people say, or what none dowonderhop.io

   ▲ 124mtlduo25d💬 98savesaved
10. 40
    

    newRubin Observatory reveals its first dwarf planet candidate in our solar systemwww6.slac.stanford.edu

    ▲ 2consumer45111ddiscusssavesaved
11. 41
    

    newI wrote a Windows runtime from scratch to run PC VR games on Apple Silicongithub.com

    ▲ 2kofuudai17ddiscusssavesaved
12. 42
    

    newShow HN: Solving a personal Problem, create internal tool for your App in minsanadock.com

    ▲ 1verain3ddiscusssavesaved
13. 43
    

    newUS boy names that became girl names and vice versanamedaisy.com

    ▲ 490xoobdev5d💬 475savesaved
14. 44
    

    newLLMs are making formal software verification feasible at a much larger scalewww.anthropic.com

    ▲ 476johnbender16d💬 313savesaved
15. 45
    

    newShow HN: Hacker Times, a New York Times-inspired version of Hacker Newshackertimes.ca

    ▲ 475polpenn5d💬 148savesaved
16. 46
    

    newVerification Is Not Knowledge: Science needs more than answersblog.cosmos-institute.org

    ▲ 245ersinesen4d💬 141savesaved
17. 47
    

    newAI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Mourathedataexchange.media

    ▲ 219datascientist9d💬 59savesaved
18. 48
    

    newLean now ships with verified kernelsleodemoura.github.io

    ▲ 204matt_d23d💬 81savesaved
19. 49
    

    newJules Verne's Lost Novelblue-continuum.com

    ▲ 151dnetesn8d💬 34savesaved
20. 50
    

    newShow HN: Green tests are not proof – verifier for C/C++ and firmware fixesunfix.dev

    ▲ 15u-pump2d💬 1savesaved
21. 51
    

    newPromethevs: Full DeepSeek-v4.1-Flash-1017, locally, on 12GB of VRAMgithub.com

    ▲ 14ar-nelson42h💬 5savesaved
22. 52
    

    new"Very Intentional": Steve Eisman Thinks Anthropic Is Hiding Somethingquoththeraven.substack.com

    ▲ 9gradus_ad7d💬 1savesaved
23. 53
    

    newShow HN: I built a Bible verse feed to replace doomscrollingscrollhope.com

    ▲ 8jclardy3d💬 9savesaved
24. 54
    

    newTowards formal verification: mbrotli and mzstdm-compressors.github.io

    ▲ 7roliver47h💬 2savesaved
25. 55
    

    newLowvram: A CLI tool to run large AI models in low VRAM GPUssoarhen.com

    ▲ 6henriquegogo46hdiscusssavesaved
26. 56
    

    newGive your coding agent a verification harness to check its codewww.heal.dev

    ▲ 5Ilysse9d💬 1savesaved
27. 57
    

    newMusk's Starlink Mobile plans to challenge AT&T, Verizon, T-Mobilewww.bloomberg.com

    ▲ 4dvaplima43hdiscusssavesaved
28. 58
    

    newConcise/readable versions of OpenAI math dumpgithub.com

    ▲ 3lhmiles10d💬 2savesaved
29. 59
    

    newCoding agents report "verified " when the check never tested the thingzenodo.org

    ▲ 3Oscalemor36h💬 1savesaved
30. 60
    

    newTwo-dimensionsal version control with Jujutsuwww.redblobgames.com

    ▲ 3kibwen22hdiscusssavesaved

· edit