Are you into Haskell? And are you somewhere not too far from Utrecht? Then, come and join use for the inaugural Haskell Utrecht Meetup: meetup.com/haskell-utrech…

I’m sad to hear about schools banning Maus. It’s such a sad and touching story, but this panel always makes me laugh.

We're hiring! In particular, if you work in the intersection of CS and mathematics (or physics) - you may find these positions interesting. I'm always happy to talk about life in Utrecht and working at the UU, if you want to know more.

The Dutch FP Day is on! We've had to move from January to April - but I'm still hopeful this in person event may actually happen. More info and registration link at: wouter-swierstra.github.io/fp-dag/

So you’re telling me a well typed this program?

My thoughts go out to all my Ukrainian friends and colleagues. I never imagined I’d see such a war in Europe in my lifetime. Ще не вмерла України і слава, і воля 💙💛🔱

Richard was an inspirational researcher. I will sorely miss his warmth, wit, puzzles, and kindness. He embodied so much of what I love about academia - and functional programming in particular.

A Haskell/Elm job in Amsterdam, working with Michel 'FP AMS' Rijnders:

Our AFP summer school is back! One week of in person Haskell lectures and labs - check out uu-afp.github.io for more info.

Interested in CS? Life sciences? Join us!

The Utrecht Advanced Functional Programming Summer School is happening again in person! If you want to join, please register by the 17th of June. Contact Wouter Swierstra or me if you have any questions - We'd love to see you there! uu-afp.github.io

Enjoy our next episode where Gergő Érdi talks with Wouter Swierstra and Andres Löh! haskell.foundation/podcast/12/

De Bruijn level : De Bruijn index = h-level : h-index amiright?

This was a lot of fun! If you want to know more about David Thrane Christiansen's background and ambitions for the Haskell Foundation, check this out.

I'll be on holiday without a laptop but with my e-reader. Any recommendations for (technical or non-technical) books, articles, or monographs to stock up on before I leave? #lazyweb

Registration for the Dutch FP Day is now open -- save the date: set.win.tue.nl/nl-fp-day-2023/

A propos of nothing in particular, how does one register for a types dot pl account? I've tried a few times, but never receive a confirmation email.

I don't expect to be using this account much in the future. I'll try out types.pl to see if that sticks.