Journal Annonce : un blog sur une équipe de recherche en langages de programmation

Posté par  .
21
8
nov.
2012

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 Calimaq : Défense et illustration de la clause non commerciale

Posté par  . Licence CC By‑SA.
Étiquettes :
17
19
oct.
2012

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 Un article sur la conception sécurisée des serveurs graphiques (X, Wayland)

Posté par  .
Étiquettes :
26
28
sept.
2012

Dans la lignée de mon journal sur le sandboxing dans Chrome et surtout le troll sur le modèle de sécurité de l'Apple Store, je pense que les lecteurs et lectrices de LinuxFR qui aiment les questions de conception sécurisée des applications seront intéressé-e-s par cet article de Linux Weekly News:

XDC2012: Graphics Stack Security

Martin Peres and Timothée Ravier's session on day one of XDC2012 looked at security in the graphics stack. They considered user expectations around security in (…)

Journal Un article sur le sandboxing de Chrome sous Linux

Posté par  .
21
8
sept.
2012

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

Posté par  .
20
2
juil.
2012

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 L'édition des commentaires sur LinuxFR, ou pas ?

Posté par  .
Étiquettes : aucune
8
1
déc.
2011

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

Posté par  .
1
4
juil.
2007
Eben Moglen, une des stars du processus de la GPLv3 (on peut sans doute le décrire comme "l'avocat de la bande"), a fait le 26 Juin un long discours devant la "Scottish Society for Computers and Law", où il retrace les motivations du mouvement du Logiciel Libre et de la GPL, présente le processus d'élaboration de la GPLv3, et essaie presque d'y reconnaître des modifications de la société à plus grande échelle.

Son discours est très intéressant, et très long (…)

Journal Capsicum dans Linux : ça bouge !

Posté par  . Licence CC By‑SA.
46
3
août
2014
Ce journal a été promu en dépêche : Capsicum dans Linux : ça bouge !.

Chers LinuxFrien-ne-s,

En 2011 je vous parlais de Capsicum (dépêche LinuxFr), un projet de chercheurs de Cambridge de nouvelles primitives de gestion des droits pour les systèmes UNIX, très prometteur et en passe d'être intégré à FreeBSD.

Linux n'avait à l'époque pas de bonne solution pour un sandboxing fin; en 2012, une revue complète du système seccomp (dépêche LinuxFr) apportait un mécanisme très fin de contrôle des appels systèmes, mais ne gérant pas le transfert de (…)