Profile cover photo
Profile photo
François-René Rideau
839 followers -
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.

839 followers
About
François-René's posts

Post has attachment
Put a revision of part I of my thesis online http://fare.tunes.org/tmp/phd/thesis.pdf

For part II, I'm considering Agda categories https://github.com/copumpkin/categories

Houyhnhnms vs Martians http://j.mp/HvsUrbit #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: https://youtu.be/heU8NyX5Hus
The slides are at: http://fare.tunes.org/files/cs/fci-bh2016.pdf

Je viens de traduire en Français:
Quatre histoires sur la Voie du Milieu
http://j.mp/MiddleWay
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 http://imgur.com/YrlN9sV

+Boston Haskell Meetup organized by +Edward Kmett 
http://j.mp/BHfci2016

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

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 https://vimeo.com/155517248 my @ngnghm speech at @LispNYC.


Post has attachment
Wait while more posts are being loaded