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.
- 0 Posts
- 1 Comment
Joined 2 年前
Cake day: 2023年7月12日
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
Best advice out of all comments! Wikipedia is strongly underestimated as a content platform for entertainments.