Hackernews posts about Vera

1. 61
   

   newNvidia Vera's System Architecture: Pushing Bandwidthchipsandcheese.com

   ▲ 11pella19ddiscusssavesaved
2. 62
   

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

   ▲ 3tosh20ddiscusssavesaved
3. 63
   

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

   ▲ 2koolba17d💬 1savesaved
4. 64
   

   newRunning ClickHouse on Nvidia Vera CPUclickhouse.com

   ▲ 2zX41ZdbW17ddiscusssavesaved
5. 65
   

   newNvidia Vera's System Architecture: Pushing Bandwidthchipsandcheese.com

   ▲ 2rbanffy18ddiscusssavesaved
6. 66
   

   newNvidia Vera's System Architecture: Pushing Bandwidthchipsandcheese.com

   ▲ 2rbanffy19ddiscusssavesaved
7. 67
   

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

   ▲ 1ersinesen12d💬 3savesaved
8. 68
   

   newNvidia Vera's System Architecture: Pushing Bandwidthchipsandcheese.com

   ▲ 1gmays4ddiscusssavesaved
9. 69
   

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

   ▲ 124mtlduo25d💬 98savesaved
10. 70
    

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

    ▲ 2consumer45111ddiscusssavesaved
11. 71
    

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

    ▲ 2kofuudai17ddiscusssavesaved
12. 72
    

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

    ▲ 1verain3ddiscusssavesaved
13. 73
    

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

    ▲ 490xoobdev5d💬 475savesaved
14. 74
    

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

    ▲ 475polpenn5d💬 148savesaved
15. 75
    

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

    ▲ 245ersinesen4d💬 141savesaved
16. 76
    

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

    ▲ 219datascientist9d💬 59savesaved
17. 77
    

    newJules Verne's Lost Novelblue-continuum.com

    ▲ 151dnetesn8d💬 34savesaved
18. 78
    

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

    ▲ 15u-pump2d💬 1savesaved
19. 79
    

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

    ▲ 14ar-nelson42h💬 5savesaved
20. 80
    

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

    ▲ 9gradus_ad7d💬 1savesaved
21. 81
    

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

    ▲ 7roliver47h💬 2savesaved
22. 82
    

    newConcise/readable versions of OpenAI math dumpgithub.com

    ▲ 3lhmiles10d💬 2savesaved
23. 83
    

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

    ▲ 3Oscalemor36h💬 1savesaved
24. 84
    

    newTwo-dimensionsal version control with Jujutsuwww.redblobgames.com

    ▲ 3kibwen22hdiscusssavesaved
25. 85
    

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

    ▲ 3daoboy16ddiscusssavesaved
26. 86
    

    newThe very bad ad for the very first laptopbuttondown.com

    ▲ 3rfarley0428ddiscusssavesaved
27. 87
    

    newVerifying a satellite image with temporal evidence

    ▲ 2avijeetsingh1646h💬 6savesaved
28. 88
    

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

    ▲ 2matt_d14hdiscusssavesaved
29. 89
    

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

    ▲ 2saeedmh10814hdiscusssavesaved
30. 90
    

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

    ▲ 2pseudolus27ddiscusssavesaved

· edit