• Formalizing math problems in Lean: dwrensha.github.io/compfiles/.
• Acronymizing every word: acronymy.net.
• Maintaining capnproto-rust.

ID: 391085251

linkhttps://www.youtube.com/@dwrensha calendar_today15-10-2011 01:15:33