Profile

Cover photo
François-René Rideau
Works at El Goog
Attended The Best Schools in France, where I learnt that schooling doesn't matter, but the friends that you meet do.
Lives in New York, NY, US
841 followers|176,986 views
AboutPostsPhotosYouTube+1's

Stream

François-René Rideau

Shared publicly  - 
 
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
1
Add a comment...

François-René Rideau

Shared publicly  - 
 
Je viens de traduire en Français:
Quatre histoires sur la Voie du Milieu
http://j.mp/MiddleWay
Dix ans après.
 ·  Translate
2
Add a comment...

François-René Rideau

Shared publicly  - 
 
Mind blown: I just discovered I have aphantasia. Or rather, I just discovered most of y'all don't have it.  j.mp/AphantasiaBR
5
1
Dan Lentz's profile photoPeter Keller's profile photoFrançois-René Rideau's profile photo
13 comments
 
+Peter Keller: I do have some spatial sense and some spatial "visualization" without any extra imagery, so I can kind of imagine simple geometric diagrams, as long as there are few enough entities and no need for stable proportions. I suppose that still counts as more algebraic than geometric. But I can do geometric visualization better than I can do any other visualization.
Add a comment...

François-René Rideau

Shared publicly  - 
 
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.
6
Zareen Wilhelm's profile photoSamantha Atkins's profile photo
2 comments
 
Congratulations. It is an interesting nerd haven but it has imho its limits.

Add a comment...

François-René Rideau

Shared publicly  - 
 
Computing Systems vs Computer Systems https://vimeo.com/155517248 my @ngnghm speech at @LispNYC.

3
Add a comment...

François-René Rideau

Shared publicly  - 
 
A ruler from the outgroup is intolerable. It is essential that a ruler from our ingroup should rule over the outgroup at any price.
4
Geoffrey Knauth's profile photoFrançois-René Rideau's profile photo
2 comments
 
Elections for which wing of the Establishment can garner the greatest number of sheeple to vote for its awful leader.
Add a comment...

François-René Rideau

Shared publicly  - 
 
Houyhnhnms vs Martians http://j.mp/HvsUrbit #Urbit: nice demo of persistence but misses the point. Base-level for thee, meta-level for me
1
Add a comment...

François-René Rideau

Shared publicly  - 
 
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
1
Geoffrey Knauth's profile photo
 
Thank you!
Add a comment...

François-René Rideau

Shared publicly  - 
 
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
Preview of a slide for my presentation at BostonHaskell http://www.meetup.com/Boston-Haskell/events/228966396/
2
Add a comment...

François-René Rideau

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

2
Add a comment...

François-René Rideau

Shared publicly  - 
 
The slides for my @ngnghm presentation at @LispNYC, slightly edited: http://j.mp/ngnghm2016

Introduction: Installing Software. Installing overtone on Windows for my friend N. Dependencies: Clojure, JVM, Emacs, SuperCollider... Issues: hunting files, configuration, homedir, ABI. Solution? Use Linux (Ubuntu). Issues on Linux: jackd vs pulseaudio! Linux: not overall easier — but more ...
5
1
Add a comment...

François-René Rideau

Shared publicly  - 
 
Presidential Race: when the Establishment breeds families of ever more ruthless narcissistic sociopaths, e.g. Clintons, Bushes, Kennedys
1
Add a comment...
Story
Tagline
Only when words are clear do plans make sense and are actions successful.
Education
  • The Best Schools in France, where I learnt that schooling doesn't matter, but the friends that you meet do.
Basic Information
Gender
Male
Work
Employment
  • El Goog
    Pseudo-Random Hacker, present
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Currently
New York, NY, US
Previously
Cambridge, MA, US - Paris, France - Nice, France - Luxembourg, Luxembourg
François-René Rideau's +1's are the things they like, agree with, or want to recommend.
Baby Sign and Learn
market.android.com

Enjoy teaching your baby sign language with the help of this adorable animated baby sign language dictionary.One of the most fundamental hum

Best economics books of the year — Marginal Revolution
feedproxy.google.com

1. Best behavioral economics books of the year, Daniel Kahneman, Thinking, Fast and Slow, and Bryan Caplan, Selfish Reasons to Have More Kid

Libya, War, Gold, Interdependence, Liberty and the Rule of Law | End the...
billstclair.com

Libya, War, Gold, Interdependence, Liberty and the Rule of Law. Submitted by Bill St. Clair on Fri, 04 Nov 2011 13:59:05 GMT <== Politics

Swiss America Harpoons Obama and Bernanke | End the War on Freedom
billstclair.com

Swiss America Harpoons Obama and Bernanke. Submitted by Bill St. Clair on Thu, 08 Dec 2011 00:09:46 GMT <== Politics ==>. Apparently n

Prosecution Explains Jury Tampering Charge | End the War on Freedom
billstclair.com

Prosecution Explains Jury Tampering Charge. Submitted by Bill St. Clair on Tue, 29 Nov 2011 13:57:54 GMT <== Politics ==>. Benjamin We

Programming, Motherfucker | End the War on Freedom
billstclair.com

Programming, Motherfucker. Submitted by Bill St. Clair on Thu, 22 Dec 2011 01:36:00 GMT <== Computers ==>. Programming-Motherfucker.co

Will your bumper sticker be your death warrant? | End the War on Freedom
billstclair.com

Will your bumper sticker be your death warrant? Submitted by Bill St. Clair on Tue, 13 Dec 2011 14:02:34 GMT <== Politics ==>. David C

Big Dog | End the War on Freedom
billstclair.com

Add comment Edit post Add post. Previous Posts: A Stupid Idea Papers, Please Prosecution Explains Jury Tampering Charge This means War! Quot

Let a Thousand "Rogue" Grand Juries Bloom! | End the War on Freedom
billstclair.com

Let a Thousand "Rogue" Grand Juries Bloom! Submitted by Bill St. Clair on Fri, 04 Nov 2011 13:36:23 GMT <== Politics ==>. Wi

Vote for Peace: Spend Consciously | End the War on Freedom
billstclair.com

Vote for Peace: Spend Consciously. Submitted by Bill St. Clair on Thu, 15 Dec 2011 09:08:11 GMT <== Politics ==>. Vote for peace, ever

Thanksgiving Lessons — Marginal Revolution
feedproxy.google.com

Here from 2004 is my post on the lessons of the first thanksgiving. It’s one of the ironies of American history that when the Pilgrims first

cryptogon.com » Congress: Trading Stock on Inside Information
cryptogon.com

Congress: Trading Stock on Inside Information. November 14th, 2011. Via: CBS: Washington, DC is a town that runs on inside information – but

Stop and search blamed for riots | Samizdata.net
www.samizdata.net

A blog for people with a critically rational individualist perspective. We are developing the social individualist meta-context for the futu

a CONS is an object which cares: Announcing: CLiki2 public beta 2
carcaddar.blogspot.com

Announcing: CLiki2 public beta 2. CLiki, the Common Lisp wiki, is a good resource for finding out about Common Lisp libraries and other info

Crazy Blind Date (by OkCupid)
market.android.com

Crazy Blind Date—a new dating app from OkCupid—is the easiest and fastest way to go on dates. You just tell us when and where you’d like to

Overcoming Bias : Trillions At War
www.overcomingbias.com

Trillions At War. By Robin Hanson · November 20, 2011 11:00 am · Comments (31) · « Prev · Next ». The most breathtaking example of colony al

Overcoming Bias : Second Chances
www.overcomingbias.com

Second Chances. By Robin Hanson · November 19, 2011 10:00 am · Comments (1) · « Prev ·. In 1993, at the age of 34, I began a Ph.D. at Caltec

To Live Free, To Live Well / Vivre libre, vivre bien
fare.livejournal.com

I wrote this text in French for a rare French-speaking libertarian book project, "La main invisible", to be published next year. I couldn't

I Like to Bike to the Moon
fare.livejournal.com

That tenth day of May 2009 (thank my archived PAA for propping me where my memory falters), I took Lucía on one of her dear (un)expected "su