From Bash Loops to a Ralph FSM
Evolving a Ralph-style Claude loop from a one-shot bash script into a generic Go tool driven by a finite state machine and reusable Go-CLI design scaffolding.
Symbolic-Execution
Towards a Rust Symbolic Execution Engine
After months of iteration with Claude, a Rust port of Angr’s symbolic execution engine that matches or beats Python on most CTF benchmarks – up to 12.7x on the largest.