An AI Approach to Verified Production Cryptographic Libraries
1 point 0 comments on Hacker News · arxiv.org
Explore
Browse every article collected by VIREXA. Newest articles appear first.
990 results • Page 9 of 83
1 point 0 comments on Hacker News · arxiv.org
1 point 0 comments on Hacker News · andrewmarritt.substack.com
1 point 0 comments on Hacker News · focusreactive.com
npx costclaw audit
connects to wherever you're. Claude, ChatGPT, Codex, Claude Code, opencode, Local LLM (ollama), or any MCP client. I use it via iPhone shortcut. You just talk & the note gets saved in your space, tagged.
1 point 0 comments on Hacker News · agent-talk.reindent.com
1 point 0 comments on Hacker News · ft.com
4 points 0 comments on Hacker News · ibtimes.co.uk
2 points 0 comments on Hacker News · noorm.dev
I’ve been dogfooding emil and no longer hitting any bugs. I would really appreciate anyone who joins me in this test phase before I release 1.0 later this year.
1 point 0 comments on Hacker News · prometheusdynamics.ca
6 points 2 comments on Hacker News · blog.rust-lang.org
Hacker News
“GPT-5.5's API pricing is reshaping how startups build AI products”