I am a C++ enthusiast who likes maths, homotopy type theory, template metaprogramming and all the intricacies of formal specifications of programming languages and mathematical foundations.
- 1 Post
- 11 Comments
Joined 10 months ago
Cake day: July 12th, 2023
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.