Dans le cadre de mon travail j'ai été amené à écrire un petit texte qui explique mon quotidien fait de "recherche (scientifique) en langages de programmation". Je me permets de le diffuser ici au cas où ça intéresse des gens.
Je travaille à l'INRIA, un institut public français de recherche en informatique. Je fais de la programmation et de la recherche sur les langages de programmation.
Mon rôle est d’étudier ces langages, de mieux les comprendre (…)
Bon ok, cela ne mérite probablement pas un journal et je n'ai d'ailleurs pas grand chose à partager en dehors du fait que j'y ferai un talk sur les retours d'expérience de déploiement d'équipements OCP sur des sites de colocations européens (quoique mon talk pourrait s'avérer marrant si j'y mets un best seller des idioties que j'ai entendu chez Equinix, Telehouse et consort …). Quoiqu'il en soit si vous vous intéressez au hardware libre, avez envie d'en déployer chez vous (…)
DSL ou "domain specific langage" est "un langage de programmation dont les spécifications sont conçues pour répondre aux contraintes d’un domaine d'application précis". L'idée est de rapprocher de le plus possible un langage informatique du langage du métier auquel il s'applique.
Dans le cas où l'on veut ajouter un DSL à un autre langage, on peut faire appel au technologique classique de compilation, ou alors il faut essayer d'utiliser le "langage hôte" de la façon la plus intelligente et économe (…)
Bonjour à tous, amis journaleux :)
Je suis très embêté par un très vilain bug dans LibreOffice. J’ai passé déjà beaucoup de temps pour comprendre le problème et m’assurer qu’il s’agit bien d’un bug dans LibreOffice (y compris illustrations, échange sur liste de diffusion etc.) Avec mon travail et mon petit garçon de 3 mois, je n’ai malheureusement pas le temps de remplir les formalités prévues pour le signalement d’un bug, d’autant que je ne maîtrise pas l’anglais et que (…)
Cher lecteur,
Je voulais aujourd'hui te faire part de ma récente "découverte": cette petite perle qu'est le Project MAXS.
MAXS est en gros un bot utilisateur Android, qui accède à divers éléments du système.
Une fois le composant principal et la passerelle XMPP installée, on peut lui indiquer son compte et le(s) contact(s) avec lesquels il peut communiquer.
Il est décomposé en modules, qui permettent de limiter la surface d'attaque en cas de souci, mais en supposant qu'on soit (…)
CalcPvAutonome est un logiciel libre (licence Beerware) et gratuit de dimensionnement d’installation photovoltaïque (électrique solaire) en site isolé (autonome). Il se veut transparent dans la méthode, pédagogique et surtout détaché de toute structure commerciale (rien à vendre après/pendant le dimensionnement…)
CalcPvAutonome a fait pas mal de chemin depuis sa création. Au départ, il ne savait pas récupérer les données d’ensoleillement au-delà de la France métropolitaine. Devant le nombre de demandes grandissant d'outre hexagone, j’ai pris mon clavier et maintenant (…)
La documentation de ma distribution préférée est accessible à l'adresse qubesos4rrrrz6n4.onion depuis moult temps. Depuis peu, elle est également accessible à l'adresse sik5nlgfc5qylnnsr57qrbm64zbdx6t4lreyhpon3ychmxmiem7tioad.onion. La première adresse est chouette car presque lisible et mémorisable par un être humain. La seconde est un monstre de complexité. Pourquoi a-t-on des adresses en .onion qui passent de 16 à 56 caractères?
Les adresses courtes correspondent à des services en version 2, et les adresses longues (…)
TL;DR j'ai écrit un plugin, vmux, pour faciliter l'utilisation de neovim comme multiplexeur de terminaux.
Depuis un certain temps, il est possible d'ouvrir un terminal dans neovim (et c'est maintenant aussi le cas dans vim).
Je me suis donc demandé s'il était possible d'utiliser neovim à la place de mon multiplexeur de terminaux préféré (tmux).
J'ai donc essayé d'utiliser neovim à la place de tmux durant une semaine.
Voyant ce qu'il manquait pour mieux intégrer (…)
https://bootlin.com/blog/free-electrons-becomes-bootlin/
Le passage que je trouve interessant:
However, FREE SAS has filed in excess of 100 oppositions and District Court actions against trademarks or name containing “free”.
Incroyable…
Connaissez-vous le Culte du Cargo ? Saviez-vous que ça s'applique à l'informatique – et probablement à d'autres corps de métier ?
À la fin du XIXème^ et jusqu'au milieu du XXème^ siècle, la Mélanésie se vit envahir par des troupes américaines ou japonaises. Ces occupants étaient ravitaillés par avions-cargos : un opérateur radio appelait, et un ravitaillement arrivait.
Les Mélanésiens, à qui on avait rien expliqué de tout ça et peu au fait de la technologie, étaient donc (…)
Parmi les nombreuses nouveautés et évolutions de Salut à Toi pour la version 0.7 à venir, une a un particulièrement grand potentiel : Libervia (l'interface web) est devenu un cadriciel web (ou « framework web »).
« Mais il y en a déjà plein ! » vous entends-je dire… C'est vrai, mais celui-ci est décentralisé.
Libervia s'appuie donc sur SàT et XMPP pour aider à construire voire reconstruire le web. Quel est (…)
Bon quoi de neuf sous le soleil de NERF (pour rappel acronyme de Non Extensible Reduced Firmware a contrario d'UEFI). Depuis ce matin on peut installer une distribution linux sur une machine qui boot sous NERF. En soit l'exploit n'en est pas un, je pensais même y arriver rapidement, mais j'ai fait la "bêtise" de partir sur une Ubuntu Xenial, et me suis empêtré dans le décryptage de l'installer debian. Idiotement je pensais qu'il me suffirait de placer un paquet (…)
Cher nal,
Ça faisait longtemps que j'avais pas vu de journal rapportant une expérience réussie avec une imprimante laser (une spécialité de libriste), alors je te rapporte la mienne avec une OKI MB472dnw :
http://www.oki.com/fr/printing/products/mono-multifunction/mb400series/mb472dnw/overview/
C'est une imprimante laser multifonction noir & blanc par une marque que je ne connaissais pas jusqu'à il y a peu, mais qui est en fait japonaise et qui a inventé l'impression « à LED » (et non laser) il y a 30 ans, ce qui est le (…)
Facebook a inventé une unité de mesure de temps, le flick (je me retiens de faire un jeu de mots facile à propos de son activité principale). Le flick est 1/705 600 000 de seconde. Quel intérêt ? Celui de représenter toutes les périodes de framerates usuels en nombres entiers de flicks. Le fichier flicks.h liste les framerates considérés de 1/24 à 1/192 000, soit :
//! 1/24 fps frame: 29400000 flicks
//! 1/25 fps frame: 28224000 flicks
//! 1/30 fps frame: 23520000 flicks
// (…)
Les murs de mon appartement étant déjà couverts de livres j'ai fini par me tourner (dans quelques cas) vers les fichiers numériques au lieu de continuer à acheter des livres papier.
Malheureusement cet achat n'est pas toujours simple et rapide quand on est un utilisateur qui refuse les DRM et qui utilise Linux. En voici un exemple concret.
Il y a quelques jours je vois que la traduction française du roman "Artemis" d'Andy Weir est disponible à la vente.
C'est (…)