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

Slashdot a eu 15 ans dernièrement.

Son créateur Rob Malda n'en fait plus partie, suite à de nombreux changements et rachats.

Il nous livre un témoignage émouvant traduit sur le Framablog.

« L’histoire de Slashdot est totalement indissociable de ma propre vie. Je l’ai créé alors que j’étais encore étudiant à l’université. Quand les gens normaux faisaient leurs devoirs ou s’adonnaient à des activités personnelles, je passais mes soirées à dessiner des icônes dans Gimp, à coder en Perl dans Vim (…)

Bonjour,

Le mois prochain, je suis supposé renouveler mon abonnement annuel chez O2Switch, prestataire à travers lequel je fais vivre notre petit blog familial à l’adresse lavernois.fr (que je vous invite au passage à découvrir). J’ai pas mal réfléchi à mes besoins en termes d’hébergement web et de publication, mais aussi tenté de trouver les solutions qui correspondraient mieux à mes besoins actuels. Ce sont ces réflexions et pistes que je viens partager avec vous dans ce journal, et (…)

Microbe est un moteur de blog à héberger écrit en Python qui se veut le plus simple possible.

Il est inspiré de Pelican et développé en utilisant le microframework Flask.

Aucune base de données n'est requise pour faire tourner l'application, l'ensemble des contenus est directement stocké sur le serveur sous forme de fichiers. Ces derniers utilisent la syntaxe Markdown et peuvent être générés depuis un éditeur en ligne.

L'application peut s'installer très facilement depuis pip ou ses sources. Elle (…)

Cette année, AdaCore organisait un nouveau concours, Ada Crate of the year.

Les habitués de Rust auront reconnu le terme crate qui correspond, grosso modo, à une bibliothèque ou une application que l'on construit via un package manager Cargo.

En Ada, le projet Alire vise le même but et le fonctionnement est similaire. Un projet Alire est, tout comme en Rust, recompilé, dépendances comprises et linké en un exécutable.

Venons-en maintenant au sujet du journal.

Paul Jarrett est (…)

Bonjour Nal,

HTTP2 est le petit nom du protocole censé remplacer notre bon vieux HTTP. D'après Wikipédia,

Goals for HTTP 2.0 are to improve the overall performance of the protocol while maintaining full backwards compatibility with the transaction semantics of HTTP 1.1.

Ce qui donne en bon françois : Le but avec HTTP 2.0 est d'améliorer globalement les performances du protocole tout en maintenant une compatibilité complète avec la sémantique des transactions.

Une nouvelle version du brouillon a été (…)

Les pages github c'est pratique pour héberger le site de votre/vos projet(s), mais pour un blog c'est une autre histoire.

En effet, vous ne pouvez mettre que du HTML, il vous faut donc un générateur de blog statique. En gros vous écrivez vos articles sur votre machine, générez les pages HTML et envoyez ça sur le dépôt git.

J'en avais besoin d'un simple : un header, l'article, un footer. J'ai donc profité de ce besoin pour apprendre le perl et (…)