Armaël Guéneau <armael.gueneau@ens-lyon.fr> Armael <armael@isomorphis.me> Jérémie Dimino <jeremie@dimino.org> Jeremie Dimino <jdimino@janestreet.com>