Oddbean new post about | logout
 @93a8f0c3 Oserais-je demander comment se prononce cette ligne ? 
 @d3128372 C'est vrai qu'il y a un pretty-printer qui transforme les noms ASCII des fonctions en caractères Unicode, mais pas l'inverse, ce qui serait pourtant pratique pour dicter les programmes au téléphone.