Home Languages Developers Organizations Search You Tansu Daylan www.tansudaylan.com Ast. Professor of Physics at WashU AstroMusers PI, cosmology, exoplanets curious mind, dad, aviator Harvard PhD, MIT & Princeton postdoc In scientia fidimus No Language 🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs Python A Deer-brain, so to speak Rust A control instrument for handshake state machines - lint protocol models, replay transcripts, and fly deterministic mutations until a trace diverges. Protocol discovery and replay for line-based network traffic - capture proxy in Go, deterministic replay, diff and schema inference in Rust.
