Remote
Sebastian Ullrich
@kha@functional.cafe
mastodon 4.8.0-alpha.3+glitchmakes Lean at Lean FRO
Munich, Germany
680 Followers
174 Following
8 Posts
Joined January 10, 2023
Pronouns:
he/him
For your consideration: not one but TWO cute & delightful puzzle games
Someone on the Internet misspelled "altitude sickness" as "latitude sickness" which I think is an orthogonal issue
Munich🚄Eindhoven for the Dutch Formal Methods Day!
I made sure to have at least one reference to the Netherlands in my talk just to be on the safe side...
Replying to
@pounce@types.pl they should rewrite typst in typst and make every single thing extensible that way