David Renshaw's website
dwrensha
on github
dwrensha
on youtube
dwrensha
on twitch
david@social.wub.site
on mastodon
dwrensha
on twitter
projects
Compfiles
Formalizing olympiad-style math problems in Lean 4.
Acronymy
Collaboratively defining every word as an acronym.
capnproto-rust
Maintaining a Rust-language implementation of a serialization and RPC system.