Hackernews posts about Vera

1. 241
   

   newNvidia Vera's System Architecture: Pushing Bandwidthchipsandcheese.com

   ▲ 11pella19ddiscusssavesaved
2. 242
   

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

   ▲ 3tosh20ddiscusssavesaved
3. 243
   

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

   ▲ 2koolba17d💬 1savesaved
4. 244
   

   newRunning ClickHouse on Nvidia Vera CPUclickhouse.com

   ▲ 2zX41ZdbW17ddiscusssavesaved
5. 245
   

   newNvidia Vera's System Architecture: Pushing Bandwidthchipsandcheese.com

   ▲ 2rbanffy18ddiscusssavesaved
6. 246
   

   newNvidia Vera's System Architecture: Pushing Bandwidthchipsandcheese.com

   ▲ 2rbanffy19ddiscusssavesaved
7. 247
   

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

   ▲ 1ersinesen12d💬 3savesaved
8. 248
   

   newNvidia Vera's System Architecture: Pushing Bandwidthchipsandcheese.com

   ▲ 1gmays4ddiscusssavesaved
9. 249
   

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

   ▲ 124mtlduo25d💬 98savesaved
10. 250
    

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

    ▲ 2consumer45111ddiscusssavesaved
11. 251
    

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

    ▲ 2kofuudai17ddiscusssavesaved
12. 252
    

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

    ▲ 1verain3ddiscusssavesaved
13. 253
    

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

    ▲ 490xoobdev5d💬 475savesaved
14. 254
    

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

    ▲ 476johnbender16d💬 313savesaved
15. 255
    

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

    ▲ 475polpenn5d💬 148savesaved
16. 256
    

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

    ▲ 245ersinesen4d💬 141savesaved
17. 257
    

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

    ▲ 219datascientist9d💬 59savesaved
18. 258
    

    newLean now ships with verified kernelsleodemoura.github.io

    ▲ 204matt_d23d💬 81savesaved
19. 259
    

    newJules Verne's Lost Novelblue-continuum.com

    ▲ 151dnetesn8d💬 34savesaved
20. 260
    

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

    ▲ 15u-pump2d💬 1savesaved
21. 261
    

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

    ▲ 14ar-nelson44h💬 5savesaved
22. 262
    

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

    ▲ 9gradus_ad7d💬 1savesaved
23. 263
    

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

    ▲ 8jclardy3d💬 9savesaved
24. 264
    

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

    ▲ 7roliver2d💬 2savesaved
25. 265
    

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

    ▲ 6henriquegogo47hdiscusssavesaved
26. 266
    

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

    ▲ 5Ilysse9d💬 1savesaved
27. 267
    

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

    ▲ 4dvaplima44hdiscusssavesaved
28. 268
    

    newConcise/readable versions of OpenAI math dumpgithub.com

    ▲ 3lhmiles10d💬 2savesaved
29. 269
    

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

    ▲ 3Oscalemor37h💬 1savesaved
30. 270
    

    newTwo-dimensionsal version control with Jujutsuwww.redblobgames.com

    ▲ 3kibwen23hdiscusssavesaved

· edit