I make games as TCHOW llc. I make music as 50% of Jimike. I make research at Carnegie Mellon.

Pittsburgh, PA, USA

• Formalizing math problems in Lean: https://dwrensha.github.io/compfiles/
• Defining every word as an acronym: https://acronymy.net/
• Maintaining capnproto-rust: https://github.com/capnproto/capnproto-rust

an admin for social.wub.site. interested in computer science education and cats. in boston. he/him (privacy-protecting they/them also fine)

profile pic by chrisamaphone