Raphaël Proust codes, teaches, plays, thinks about stuff and occasionally writes things up on this website.