HNHacker News
TopNewBestAskShowJobs

syumei

150 karma · joined October 23, 2022

Ph.D. student @columbia working on Security, Crypto, and AI/ML
submissionscomments

Claude Code and Codex can have real-time conversation via Git

medium.com·116 pts·syumei·
79

Git-based cache saves 50% on token usage

old.reddit.com·34 pts·syumei·
1

Hacking MCP Servers in AI Systems – The Rug Pull: Tool Changes After Approval

medium.com·2 pts·syumei·
0

A curated corpus of incidents and attack vectors for autonomous AI agents

github.com·1 pts·syumei·
0

ZkFuzz Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits

computer.org·1 pts·syumei·
0

From College Project to 400 GitHub Stars: The Story of AIJack

medium.com·1 pts·syumei·
0

From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4

medium.com·2 pts·syumei·
0

AIJack: Security and Privacy Risk Simulator for Machine Learning

arxiv.org·1 pts·syumei·
0

Gymbo: Gradient-Based Symbolic Execution

github.com·2 pts·syumei·
1

How should I manage and develop my open-source project?

2 pts·syumei·
1

AIJack: Security and Privacy Risk Simulator for Machine Learning

3 pts·syumei·
1

Let's Hijack AI! Security and Privacy Risk Simulator for Machine Learning

1 pts·syumei·
0
← PreviousPage 4 of 4