Hackernews posts about Vera
- Microsoft terminated the account VeraCrypt used to sign Windows drivers (sourceforge.net)
- Microsoft terminates VeraCrypt account, halting Windows updates (www.404media.co)
- Vera C. Rubin Observatory has Discovered 11,000 New Asteroids (www.universetoday.com)
- Vera – A language designed for machines to write (veralang.dev)
- I use VeraCrypt to keep my data secure (blog.dmcc.io)
- Programming language designed for LLMs to write, not humans (veralang.dev)
- Why does it take so long to release black fan versions? (www.noctua.at)
- A Roblox cheat and one AI tool brought down Vercel's platform (webmatrices.com)
- Internet Protocol Version 8 (IPv8) (www.ietf.org)
- Some kids are bypassing age verification checks with a fake mustache (techcrunch.com)
- Show HN: OQP – A verification protocol for AI agents (github.com)
- Suspected hantavirus outbreak traps 150 on ship off Cape Verde (www.reuters.com)
- Use Sparrow Check DSL to verify compliance of sshd configuration (chat.deepseek.com)
- Show HN: Retroguard – Verifiably secure AI guardrails (retroguard.ai)
- Dividing 1 by 998,001 Yields a Very Strange Decimal (brilliantlearning.in)
- Zotero Version 9 (www.zotero.org)
- Is Claude Code going to cost $100/month? Probably not—it’s all very confusing (simonwillison.net)