Follow

#introductions 

An introductions post, since I've got a bunch of new followers in the last couple of weeks (hello everybody!)

By day, I do computer verification of in the Lean prover, by night I do . When there isn't a plague going around, I like in nature and befriending . I also know a bit of .

I really like explaining concepts — feel free to ask any question (esp. mathematics / theoretical comp sci). Replies to toots are always welcome.

#introductions 

(This reminds me: I should really make a little web page collecting my stuff.)

Show thread
Sign in to participate in the conversation
Vachtnoes

Mastodon is a server for a federated social network: everyone can run a server if they want to, including me. So this is a Mastodon server for me (Vierkantor) and my friends.