Hackernews posts about Vera

1. Microsoft terminated the account VeraCrypt used to sign Windows drivers (sourceforge.net)
   1297 points by super256 29 days ago | 501 comments
2. Microsoft terminates VeraCrypt account, halting Windows updates (www.404media.co)
   594 points by donohoe 28 days ago | 247 comments
3. Vera: a programming language designed for machines to write (github.com)
   111 points by unignorant 7 days ago | 95 comments
4. Vera C. Rubin Observatory has Discovered 11,000 New Asteroids (www.universetoday.com)
   67 points by tcp_handshaker 16 days ago | 12 comments
5. Vera – A language designed for machines to write (veralang.dev)
   14 points by joecobb 28 days ago | 3 comments
6. I use VeraCrypt to keep my data secure (blog.dmcc.io)
   5 points by speckx 29 days ago | discuss
7. Verantyx – A native IDE that obfuscates code before sending it to Cloud LLMs (github.com)
   4 points by kofdai 11 days ago | 5 comments
8. Early data from Vera C. Rubin Observatory reveals over 11,000 new asteroids (phys.org)
   1 points by speckx 15 days ago | discuss
9. WireGuard makes new Windows release following Microsoft signing resolution (lists.zx2c4.com)
   549 points by zx2c4 26 days ago | 166 comments
10. A pipeline that forces AI to justify decisions before acting (I'm a florist) (github.com)
    2 points by ammulnix 12 days ago | discuss
11. Programming language designed for LLMs to write, not humans (veralang.dev)
    2 points by x591 27 days ago | discuss
12. Online age verification is the hill to die on (x.com)
    973 points by Cider9986 7 days ago | 709 comments
13. Why does it take so long to release black fan versions? (www.noctua.at)
    773 points by buildbot 5 days ago | 299 comments
14. SWE-bench Verified no longer measures frontier coding capabilities (openai.com)
    343 points by kmdupree 10 days ago | 181 comments
15. Spotify adds 'Verified' badges to distinguish human artists from AI (www.bbc.com)
    287 points by reconnecting 5 days ago | 308 comments
16. A Roblox cheat and one AI tool brought down Vercel's platform (webmatrices.com)
    283 points by bishwasbh 16 days ago | 163 comments
17. Internet Protocol Version 8 (IPv8) (www.ietf.org)
    134 points by EvanZhouDev 21 days ago | 111 comments
18. Show HN: Tilde.run – Agent sandbox with a transactional, versioned filesystem (tilde.run)
    126 points by ozkatz about 10 hours ago | 93 comments
19. For the first time in history, more Americans are moving to EU than vice versa (twitter.com)
    116 points by akyuu 7 days ago | 160 comments
20. How Kepler built verifiable AI for financial services with Claude (claude.com)
    44 points by eddiehammond 3 days ago | 23 comments
21. Some kids are bypassing age verification checks with a fake mustache (techcrunch.com)
    31 points by jamdesk about 10 hours ago | 11 comments
22. Show HN: OQP – A verification protocol for AI agents (github.com)
    8 points by Aamir21 23 days ago | 2 comments
23. Suspected hantavirus outbreak traps 150 on ship off Cape Verde (www.reuters.com)
    8 points by mgh2 2 days ago | discuss
24. Use Sparrow Check DSL to verify compliance of sshd configuration (chat.deepseek.com)
    6 points by melezhik about 11 hours ago | 1 comments
25. SensorHub – The event-driven version of Clawhub (giving AI agents "ears") (world2agent.ai)
    6 points by WayLonWen about 19 hours ago | 1 comments
26. Show HN: Retroguard – Verifiably secure AI guardrails (retroguard.ai)
    6 points by ttttonyhe 2 days ago | discuss
27. Dividing 1 by 998,001 Yields a Very Strange Decimal (brilliantlearning.in)
    5 points by thunderbong 6 days ago | 1 comments
28. Ford is in 'very advanced' talks to sell part of EU plant to China's Geely (electrek.co)
    5 points by breve about 4 hours ago | discuss
29. Zotero Version 9 (www.zotero.org)
    5 points by thatxliner 1 day ago | discuss
30. Is Claude Code going to cost $100/month? Probably not—it’s all very confusing (simonwillison.net)
    3 points by jbegley 15 days ago | 1 comments