Replying to
@yossarian@infosec.exchange
Remote
Sebastian Ullrich
@kha@functional.cafe
makes Lean at Lean FRO
Munich, Germany
0
Followers
0
Following
7
Posts
Joined January 10, 2023
Pronouns:
he/him
Posts
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...
For your consideration: not one but TWO cute & delightful puzzle games
Replying to
@pounce@types.pl
@pounce@types.pl they should rewrite typst in typst and make every single thing extensible that way
So many people complaining about the YouTube Algorithm yet my front page could not be more superbly blursed
Someone on the Internet misspelled "altitude sickness" as "latitude sickness" which I think is an orthogonal issue