La Bécasse is a user on mastodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
#introductions
Hi all. I'm a master student of computer science and deeply interested in mathematical logic, category theory and functional programming. At the moment i am looking for a programming project to participate in. Possibly #Haskell, #Lisp. Love #Emacs.
@hyperlingg Welcome, i am also interessed in #emacs #math #informatic #logic.
I am also interessed in #data, so naturally #RDF. If you are curious, take a look at that : https://math.cheredeprince.net
