Stephen Dolan (github, vielle page perso) est un étudiant en thèse d'informatique à Cambridge, UK, et il a de nombreux talents et des centres d'intérêt variés au sein de la discipline. D'un côté il a un goût pour l'élégance mathématique assez visible dans ses travaux (en particulier son travail de thèse très intéressant sur le sous-typage, avec une forte inspiration algébrique), de l'autre c'est aussi un hacker qui s'intéresse à l'implémentation, et a par exemple fait une (…)
Journal Annonce : un blog sur une équipe de recherche en langages de programmation
Cette année j'ai lancé un blog (anglophone) en commun avec les autres membres de mon équipe de recherche, Gallium, qui travaille sur les langages de programmation et la preuve de programme. C'est aussi l'équipe qui a conçu et maintient le langage de programmation OCaml, donc une partie des articles concernent ce langage et son développement—au passage, c'est un logiciel libre dans l'écosystème duquel de nombreuses contributions sont possibles.
Voilà, on m'a signalé que ça pourrait intéresser des LinuxFRiens donc (…)
Journal Un article sur le sandboxing de Chrome sous Linux
En ce moment, le principe de moindre privilège pour sécuriser les applications UNIX, c'est un peu mon dada. J'en ai parlé dans une dépêche sur Capsicum, qui est un modèle de sécurité très riche et très intéressant mais pas encore porté sous Linux (il est maintenant disponible dans FreeBSD par contre), une dépêche sur seccomp-filter, une autre technologie pour Linux beaucoup plus bas niveau mais (secrètement) reliée, et indirectement dans le troll sur le modèle de sécurité de (…)
Journal Declaration of Internet Freedom
Un appel, annoncé il y a quelques heures, qui définit un ensemble de libertés fondamentales sur internet : expression, accès, ouverture, innovation et vie privée. Il a déjà reçu des soutiens importants : l'EFF, Yochai Benkler, Cory Doctorow, Aaron Swartz, Neil Gaiman…
Techdirt a fait une jolie image :
En texte, la déclaration :
Declaration
We stand for a free and open Internet.
We support transparent and participatory processes for making Internet policy and the establishment of (…)
Journal Découvrir MetaOCaml dans son navigateur
OCaml est un langage de programmation généraliste, fonctionnel et statiquement typé.
MetaOCaml est une extension, un dialecte non-standard du langage qui a une longue histoire. Dérivée de MetaML il y a environ 15 ans, c'est toujours resté un prototype de recherche, avec une base d'utilisateur petite mais active au fil des années—au contraire de la plupart des prototypes de recherche qui meurent de mort naturelle assez vite. Le "Meta" dans le nom fait référence à la méta-programmation, l'écriture de programmes (…)
Journal Calimaq : Défense et illustration de la clause non commerciale
Résumé en une ligne pour la page principale : des gens proposent de retirer la clause Non Commercial des licences Creative Commons. Les libristes ont tendance à soutenir cette idée dans l’ensemble, mais cet article s’y oppose et le débat est intéressant.
Version longue :
Calimaq publie un article que j’ai trouvé très intéressant sur la défense de la clause Non Commercial (NC) dans les licences Creative Commons. Précisions : à l’occasion d’une nouvelle version 4.0 des licences Creative Commons (CC), certains membres de la communauté CC ont (…)
Journal L'édition des commentaires sur LinuxFR, ou pas ?
Sommaire
Résumé de l'histoire passée
Je me suis rendu compte il y a un certain temps déjà que ma participation aux discussions sur LinuxFR serait beaucoup plus agréable s'il était possible d'éditer ses commentaires. Je suis très mauvais pour me relire mais maniaque sur la forme : quand je vois une faute ou maladresse (…)
Journal Extraits d'un discours de Moglen sur la GPL3
Son discours est très intéressant, et très long (…)