37 karma · joined October 11, 2017
PhD student in Rust verification at ETH Zurich. Rust enthusiast, gamejammer, CTF player and author, occasionally drawing surrealist pictures.
https://www.thenet.sk/