Just keep auditing Post
Letting Claude audit and fix the Rust symbolic execution engine eight times over two months and no sign of convergence.
Rust
Are we there yet? Ten weeks of Rust Symex Post
Ten weeks of letting Ralph grind on the Rust symbolic execution engine – 2,593 iterations, six moonshots, runaway memories, and endless audits.
From Bash Loops to a Ralph FSM Post
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.
Towards a Rust Symbolic Execution Engine Post
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.