Hackernews posts about Vera

1. 151
   

   newNvidia Vera's System Architecture: Pushing Bandwidthchipsandcheese.com

   ▲ 11pella19ddiscusssavesaved
2. 152
   

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

   ▲ 3tosh20ddiscusssavesaved
3. 153
   

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

   ▲ 2koolba17d💬 1savesaved
4. 154
   

   newRunning ClickHouse on Nvidia Vera CPUclickhouse.com

   ▲ 2zX41ZdbW17ddiscusssavesaved
5. 155
   

   newNvidia Vera's System Architecture: Pushing Bandwidthchipsandcheese.com

   ▲ 2rbanffy18ddiscusssavesaved
6. 156
   

   newNvidia Vera's System Architecture: Pushing Bandwidthchipsandcheese.com

   ▲ 2rbanffy19ddiscusssavesaved
7. 157
   

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

   ▲ 1ersinesen12d💬 3savesaved
8. 158
   

   newNvidia Vera's System Architecture: Pushing Bandwidthchipsandcheese.com

   ▲ 1gmays4ddiscusssavesaved
9. 159
   

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

   ▲ 124mtlduo25d💬 98savesaved
10. 160
    

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

    ▲ 2consumer45111ddiscusssavesaved
11. 161
    

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

    ▲ 2kofuudai17ddiscusssavesaved
12. 162
    

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

    ▲ 1verain3ddiscusssavesaved
13. 163
    

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

    ▲ 490xoobdev5d💬 475savesaved
14. 164
    

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

    ▲ 476johnbender16d💬 313savesaved
15. 165
    

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

    ▲ 475polpenn5d💬 148savesaved
16. 166
    

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

    ▲ 245ersinesen4d💬 141savesaved
17. 167
    

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

    ▲ 219datascientist9d💬 59savesaved
18. 168
    

    newLean now ships with verified kernelsleodemoura.github.io

    ▲ 204matt_d23d💬 81savesaved
19. 169
    

    newJules Verne's Lost Novelblue-continuum.com

    ▲ 151dnetesn8d💬 34savesaved
20. 170
    

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

    ▲ 15u-pump2d💬 1savesaved
21. 171
    

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

    ▲ 14ar-nelson43h💬 5savesaved
22. 172
    

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

    ▲ 9gradus_ad7d💬 1savesaved
23. 173
    

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

    ▲ 8jclardy3d💬 9savesaved
24. 174
    

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

    ▲ 7roliver2d💬 2savesaved
25. 175
    

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

    ▲ 6henriquegogo47hdiscusssavesaved
26. 176
    

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

    ▲ 5Ilysse9d💬 1savesaved
27. 177
    

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

    ▲ 4dvaplima44hdiscusssavesaved
28. 178
    

    newConcise/readable versions of OpenAI math dumpgithub.com

    ▲ 3lhmiles10d💬 2savesaved
29. 179
    

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

    ▲ 3Oscalemor37h💬 1savesaved
30. 180
    

    newTwo-dimensionsal version control with Jujutsuwww.redblobgames.com

    ▲ 3kibwen23hdiscusssavesaved

· edit