Category Archives: QoTD

Philosophy

Trying hard to write good and functional Scheme, while you come from a totally imperative world, is like recursively shooting yourself in the foot.

Capharnaüm #1

Tristan Nitot appelle ça des « En Vrac », moi je vais appeler ça des « Capharnaüm » . Dans à peu près deux semaines maintenant ça sera la première épreuve du Baccalauréat. J’essaie de réviser mais quand on a envie de programmer ou de lire des trucs ça devient difficile . Début de semaine épuisant avec un contrôle [...]

QoTD: un-brice

Allez pour honorer la deuxième QoTD de ce blog, une remarque que je trouve marrant de un-brice (« kestumraconte ») : <Lena_ocamlwarrior> un-brice : dommage que le lamda calcul donne de meilleures garanties de compilations que les machines du Turing sinon t’aurais presque été crédible <un-brice> Lena_ocamlwarrior: garantie de calculs ? mais kestumraconte ?

QoTD (Quote of the day pour les ignares :p)

miguel_ : They changed the licence ?! What’s the fuck ! That blows. Absofuckingtly blows. – Miguel de Icaza sur #mono Pour un peu resituer la citation, Miguel discutait la possibilité d’utiliser AGG pour implémenter WPF/E (Windows Presentation Foudation Everywhere) seulement, alors que cette bibliothèque était précédemment sous license MIT, la dernière news annonçait que [...]