syumei

Recent Submissions

1. 1. ▲ Claude Code and Codex can have real-time conversation via Git (medium.com) 96 points · 4 days ago · 72 comments
2. 2. ▲ Git-based cache saves 50% on token usage (old.reddit.com) 34 points · 1 month ago · 1 comment
3. 3. ▲ Hacking MCP Servers in AI Systems – The Rug Pull: Tool Changes After Approval (medium.com) 2 points · 1 month ago · 0 comments
4. 4. ▲ A curated corpus of incidents and attack vectors for autonomous AI agents (github.com) 2 points · 2 months ago · 0 comments
5. 5. ▲ ZkFuzz Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits (computer.org) 1 point · 6 months ago · 0 comments
6. 6. ▲ From College Project to 400 GitHub Stars: The Story of AIJack (medium.com) 1 point · 8 months ago · 0 comments
7. 7. ▲ From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4 (medium.com) 2 points · 10 months ago · 0 comments