Hi, I’m Pierre!
Thank you for stopping by at my website. I try to keep blog entries somewhat longform, so you might be interested in my Twitter Profile for other thoughts.
I had the pleasure to give two talks in the past:
- “Idris: A Language with Dependent Types” at the FunctionalTO Meetup in Toronto, Canada.
- “Introduction to Rocket” at the CoreOS Meetup in Munich, Germany.
Lastly, if you want to reach out to me: I prefer being contacted over email, the address is