1·
1 year agoPourquoi ça n’est plus me cas depuis 3 ans ?
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
- 3 Comments
Joined 1 year 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.
Privacy badger ne bloque pas seulement les cookies.
Best advice out of all comments! Wikipedia is strongly underestimated as a content platform for entertainments.