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 (…)

Tiens cher toi. J'ai 5 minutes à perdre, donc je vais te raconter ce que j'ai découvert depuis 6 jours. Et dont je ne pourrais plus me passer.

Un ami dont j'entretiens la machine linux m'écrit (je copie-colle son mail) : "XG nous a montré en stage hier la nouvelle interface d'UBUNTU avec une barre d'application latérale ou en bas comme le dock d'Apple ou le Rocket Dock sous Seven. Sous Ubuntu, il comprend not. une fonction Recherche et une (…)

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 (…)

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 (…)

Bien le bonjour linuxfriens et linuxfriennes, j'aimerais bénéficier de vos conseils et suggestions concernant un projet sur lequel je potasse actuellement. Mes questionnements portent notamment sur le dimensionnement du serveur et de ses panneaux solaires, puis sur le choix ou la fabrication d'un boitier adapté aux tropiques. Je suis évidemment aussi preneur de conseils ou d'idées concernant d'autres aspects auxquels je n'aurais pas pensé.

Dans le cadre de mes recherches, je travaille à l'étude de la langue nisvaie. Pour (…)

Amis chercheurs, cette nouvelle pourrait vous intéresser.

Une nouvelle manière de rédiger et publier vos article vient d'apparaître : ça s'apelle RASH et ça a peu de rapport avec la méthode au nom similaire. C'est une sorte de sous ensemble du HTML utilisant les technos associées, ça s'annote avec des annotations sémantiques, et ça se transforme en LaTeX style LNCS : post de présentation sur la liste semantic web, et ça a déjà été utilisé dans quelques publications.

Intéressant (…)

BtrPlace est un algorithme de placement de machines virtuelles pour infrastructure IaaS développé par l'équipe de recherche Scale (I3S, Université Nice Sophia Antipolis). Il est distribué sous LGPL depuis 2013 et sa version 1.0 aura été publiée le 6 juillet 2016.

L'utilisateur interagit avec BtrPlace suivant une approche déclarative. Il décrit l'état courant de l'infrastructure et des contraintes de placement qu'il souhaite satisfaire (affinités, allocation des ressources, états, …). BtrPlace calcul alors, s'il existe, un plan de reconfigurations permettant de (…)