Hackernews posts about Vera

1. 91
   

   newNvidia Vera's System Architecture: Pushing Bandwidthchipsandcheese.com

   ▲ 11pella19ddiscusssavesaved
2. 92
   

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

   ▲ 3tosh20ddiscusssavesaved
3. 93
   

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

   ▲ 2koolba17d💬 1savesaved
4. 94
   

   newRunning ClickHouse on Nvidia Vera CPUclickhouse.com

   ▲ 2zX41ZdbW17ddiscusssavesaved
5. 95
   

   newNvidia Vera's System Architecture: Pushing Bandwidthchipsandcheese.com

   ▲ 2rbanffy18ddiscusssavesaved
6. 96
   

   newNvidia Vera's System Architecture: Pushing Bandwidthchipsandcheese.com

   ▲ 2rbanffy19ddiscusssavesaved
7. 97
   

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

   ▲ 1ersinesen12d💬 3savesaved
8. 98
   

   newNvidia Vera's System Architecture: Pushing Bandwidthchipsandcheese.com

   ▲ 1gmays4ddiscusssavesaved
9. 99
   

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

   ▲ 124mtlduo25d💬 98savesaved
10. 100
    

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

    ▲ 2consumer45111ddiscusssavesaved
11. 101
    

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

    ▲ 2kofuudai17ddiscusssavesaved
12. 102
    

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

    ▲ 1verain3ddiscusssavesaved
13. 103
    

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

    ▲ 490xoobdev5d💬 475savesaved
14. 104
    

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

    ▲ 475polpenn5d💬 148savesaved
15. 105
    

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

    ▲ 245ersinesen4d💬 141savesaved
16. 106
    

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

    ▲ 219datascientist9d💬 59savesaved
17. 107
    

    newJules Verne's Lost Novelblue-continuum.com

    ▲ 151dnetesn8d💬 34savesaved
18. 108
    

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

    ▲ 15u-pump2d💬 1savesaved
19. 109
    

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

    ▲ 14ar-nelson43h💬 5savesaved
20. 110
    

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

    ▲ 9gradus_ad7d💬 1savesaved
21. 111
    

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

    ▲ 7roliver47h💬 2savesaved
22. 112
    

    newConcise/readable versions of OpenAI math dumpgithub.com

    ▲ 3lhmiles10d💬 2savesaved
23. 113
    

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

    ▲ 3Oscalemor36h💬 1savesaved
24. 114
    

    newTwo-dimensionsal version control with Jujutsuwww.redblobgames.com

    ▲ 3kibwen22hdiscusssavesaved
25. 115
    

    newThe same novel can spark very different inner worlds in readersphys.org

    ▲ 3daoboy16ddiscusssavesaved
26. 116
    

    newThe very bad ad for the very first laptopbuttondown.com

    ▲ 3rfarley0428ddiscusssavesaved
27. 117
    

    newVerifying a satellite image with temporal evidence

    ▲ 2avijeetsingh1646h💬 6savesaved
28. 118
    

    newGenDB-V: AI-generated, formally verified database enginesgenlang-v.github.io

    ▲ 2matt_d14hdiscusssavesaved
29. 119
    

    newThe Agentic Hobby OS Veda Runs Native Linux Executables Nowgithub.com

    ▲ 2saeedmh10814hdiscusssavesaved
30. 120
    

    newVery severe long Covid linked to differences in lung and mouth microbiomesmedicalxpress.com

    ▲ 2pseudolus27ddiscusssavesaved

· edit