mechap@lemmy.mltoLinux@lemmy.ml•What's your current favorite distro that isn't Arch, Debian or Fedora?
12·
1 year 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.
deleted by creator
I am still active in some private irc servers. The communities haven’t changed much since the golden era of irc.