Profile cover photo
Profile photo
François-René Rideau
Only when words are clear do plans make sense and are actions successful.
Only when words are clear do plans make sense and are actions successful.

François-René's posts

Post has attachment
Put a revision of part I of my thesis online

For part II, I'm considering Agda categories

Houyhnhnms vs Martians #Urbit: nice demo of persistence but misses the point. Base-level for thee, meta-level for me

The video for my BostonHaskell talk on First-Class Implementations is at:
The slides are at:

Je viens de traduire en Français:
Quatre histoires sur la Voie du Milieu
Dix ans après.

Post has attachment
Come see me this Wednesday talk at BostonHaskell about First-Class Implementations, PCLSRing, Migration, Runtime Metaprogramming… with 𝕒𝕨𝕖𝕤𝕠𝕞𝕖 diagrams

+Boston Haskell Meetup organized by +Edward Kmett

Mind blown: I just discovered I have aphantasia. Or rather, I just discovered most of y'all don't have it.

I have officially left Google today.

A sea of opportunities are open before me, and I'll be spending the next few weeks examining them. Maybe you have a few more to suggest.

In the meantime, I'll probably be playing with my computer music project, Guitar Anti-Hero.

I'll be speaking on Wednesday May 18th at BostonHaskell on "First-class Implementation: Making the Concrete Abstract". Thanks to @kmett

Post has attachment
Computing Systems vs Computer Systems my @ngnghm speech at @LispNYC.

Post has attachment
Wait while more posts are being loaded