12·
10 months agodeleted by creator
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
- 5 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.
Ok so this is my first post on lemmy and I wonder why image quality is that bad (it looks compressed) :/ Here is the same image so that you can compare.
I am using https://github.com/black7375/Firefox-UI-Fix
I am still active in some private irc servers. The communities haven’t changed much since the golden era of irc.