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 2Y ago
Cake day: Jul 12, 2023
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.
Best advice out of all comments! Wikipedia is strongly underestimated as a content platform for entertainments.