https://goto.fiets.pizza/@m4lvin/statuses/01K052BG2RRX7ZZPX7JA0C744P
Post by Malvin, @m4lvin@goto.fiets.pizza
Düsseldorf has a shop where you can buy #Lean4 proofs.
goto fiets pizzapostmalvin
https://goto.fiets.pizza/@m4lvin
Malvin, @m4lvin@goto.fiets.pizza
cyclogicianInterested in Modal and Dynamic Logic, Gossip protocols, Haskell, Linux and Bicycles.Assistant professor at ILLC, University of Amsterdam.(Yes, I …
goto fiets pizzamalvin
https://goto.fiets.pizza/@m4lvin/statuses/01K8JBFZ1Y98EYRHW6CFK3BW3A
Post by Malvin, @m4lvin@goto.fiets.pizza
Gefeliciteerd Amsterdam!
goto fiets pizzapostmalvin
https://goto.fiets.pizza/tags/haskell
goto.fiets.pizza - GoToSocial
Private/individual instance.
goto fiets pizzagotosocial
https://goto.fiets.pizza/@m4lvin/statuses/01K13AD790ZGJ0D01C963Z1952
Post by Malvin, @m4lvin@goto.fiets.pizza
Biking to #esslli #esslli2025 progress: [XX________] 20%
goto fiets pizzapostmalvin
https://goto.fiets.pizza/@m4lvin/statuses/01K6AK9MEKTBVA5BGGSH0J5DXE
Post by Malvin, @m4lvin@goto.fiets.pizza
goto fiets pizzapostmalvin
https://goto.fiets.pizza/@m4lvin/statuses/01K4WB3AANP311FYFN3Q0357MK
Post by Malvin, @m4lvin@goto.fiets.pizza
goto fiets pizzapostmalvin
https://goto.fiets.pizza/@m4lvin/statuses/01K71H1X5CXMPXKYZHVT7Q2VQ6
Post by Malvin, @m4lvin@goto.fiets.pizza
My first-year students can have a little free software propaganda as a treat.
goto fiets pizzapostmalvin
https://goto.fiets.pizza/@m4lvin/statuses/01K3XVVXSCDKMZBJTEHV4YTHPQ
Post by Malvin, @m4lvin@goto.fiets.pizza
Good bike ride today, including the yearly picture.
goto fiets pizzapostmalvin
https://goto.fiets.pizza/@m4lvin/statuses/01K1GB7AWNQ02AQKN6DNGEX0XR
Post by Malvin, @m4lvin@goto.fiets.pizza
Just in case anyone still had doubts: #esslli2025 is *literally* powered by @tschfflr@fediscience.org 😉
goto fiets pizzapostmalvin