En parcourant le Firefox Marketplace (le store avant tout pour B2G / Firefox OS), j'ai découvert Auralux. C'est un jeu de bataille spatiale temps réel en 2D, simple mais prenant. Il y a une version web (qui ne marche plus à cause d'un TLS mal configuré) et des versions natives mais pas pour GNU/Linux. Beaucoup plus embêtant pour moi, c'est un logiciel privateur.
Des planètes qui produisent des vaisseaux, des vaisseaux et des planètes qui s'affrontent en se (…)

J’ai participé au MOOC Ocaml qui s’est terminé le 18 décembre 2016. Tous les exercices du MOOC Ocaml pouvaient être faits dans un environnement du type de celui de Try OCaml

Pour continuer d’apprendre OCaml et développer des projets en Ocaml sur son poste, il faut se frotter aux outils gravitant autour du langage Ocaml, principalement ceux de build.

Dans ce journal je parlerais de la solution qui me semble la plus simple pour démarrer un projet OCaml et ensuite (…)

Bonjour,

Vous êtes sûrement l'administrateur de votre réseau local domestique, il y a pas mal de choses sympa à faire qui faciliteront la vie à vos utilisateurs comme à vous même.

Aujourd'hui : la mise en place d'un serveur de cache apt-cacher-ng.

Mais qu'est-ce donc-t-il donc ?

Ce serveur de cache va simplement cacher les paquets apt qui sont téléchargés, pour les resservir à la demande. Ainsi, si un des ordinateurs du réseau local se met à jour, les paquets (…)

le fondateur du projet Debian

Ian Murdock, né le 28 avril 1973 à Constance en Allemagne de l'Ouest, et mort le 28 décembre 2015

Désolé mais encore aujourd'hui je reste sans voix ..

Cher nal,

Mme Cruchot s'en est allée rejoindre son bon cher Ludovic.

Mes hommages, madame.

Salut,

Nouvelle version pour GNU Guix (le gestionnaire de paquets) et Guix SD (la distribution). On notera notamment:

• GuixSD peut être installée sur du chiffrement LUKS
• 853 nouveaux paquets, ce qui porte le tout à 4 606: voyez la liste.
• nouveaux services système pour GuixSD, dont CUPS pour l'impression, rotation de logs, etc

GuixSD possèdes des images d'installation USB, Gnome a été packagé, de plus en plus de logiciels et services sont inclus: y'a plus qu'à tester.

• annonce officielle
• (…)

Chères moules,

Il y a soudain un grand trouble dans la Force.

Victime d'un arrêt cardiaque le 23 décembre dernier, la princesse Leia Organa est partie rejoindre Charles Bronson et Artoo-Detoo ce 27 décembre 2016, à l'âge de 60 ans. Obi-Wan Kenobi n'aura été d'aucun secours. ;_;

http://www.huffingtonpost.fr/2016/12/27/carrie-fisher-princesse-leia-star-wars-deces/

Heureusement, grâce à la magie du CGI, elle nous est désormais éternelle.
Vous pouvez lui rendre un dernier hommage en allant voir Rogue One au cinéma.

R.I.P. Carrie Fisher.

Bonsoir journal,

c'est avec énormément de tristesse que j'apprends que Carrie Fisher nous a quittés. On la connait essentiellement pour son rôle de la princesse Leïa dans la saga Star Wars, mais elle aussi joué dans Blues Brothers, entre autres. On peut se consoler en se disant qu'elle ne fait plus qu'une avec la Force, mais elle va quand même beaucoup nous manquer.

Quelques liens pour en savoir plus sur sa vie, son œuvre, et sa mort :

• sa page (…)

11ème année de bons et loyaux services qui commence pour freetorrent.fr (tracker bittorrent exclusivement consacré aux médias sous licence libre ou licence de libre diffusion).
Divisé en 2 entités l'an passé (dont freeostorrent.fr), freetorrent.fr est revenu à un schéma unitaire plus classique de présentation en réintégrant la proposition d'OS libres.
"Propulsé" par un nouveau front-end à XBTT (en php) depuis l'année dernière (qui a d'ailleurs pas mal évolué en fonctionnalités), freetorrent.fr renaît encore une fois, tant le projet me tient (…)

Bonjour à tous, et meilleurs vœux !

Framalibre, c'est l'annuaire historique de Framasoft dont l'intérêt, il y a plus de 10 ans, fut de faire connaître au public nombre de logiciels libres (il contient plus de 1000 fiches). Pour des raisons que nous allons voir, le site est en cours de renaissance. La phase Beta étant terminée, nous en sommes rendus depuis quelques jours à la phase Release Candidate : il y a encore quelques bugs, et surtout nous devons (…)

PrivateBin est un service libre de pastebin, qui permet d'héberger et de partager des données textuelles. Sont supportés le texte brut, le code, et les documents Markdown. La version 1.1 vient de sortir, mais avant d'en reparler, voyons un peu ce qu'est PrivateBin et quelles en sont les fonctionnalités-clefs.

Un panier sécurisé pour vos partages de texte

Né des cendres de Zerobin, qui a déjà été présenté en dépêche il y a quelques années, PrivateBin met l'accent sur (…)

Et non! Ce n'est pas un journal. Juste une trace pour que les moteurs de recherche indiquent aux orphelins de CyanogenMod que la relève se fera par LineageOS

L’équipe et la communauté vont maintenant porter tout leurs efforts sur le nouveau projet LineageOS (ou Lineage Android) qui se veut reprendre le flambeau. Il s’agit tout simplement d’un fork de CyanogenMod en utilisant la dernière version du code source.

Frandroid

De son vrai nom, Georgios Kyriacos Panayiotou, l'ex-Wham qui a interprété entre autres la chanson 'Last Christmas' nous a quittés hier, jour de Noël.

P*tain, vivement qu'on soit en 2017.
L'hécatombe 2016 qui touche le show-biz commence vraiment a me courir.

Dépêche sur l'Express

SK1, dérivé de Sketch/Skencil et anciennement PrintDesign, a été complètement ré-écrit en utilisant les outils de développement et la bibliothèque multi-plateforme de wxWidgets. SK1 permet de faire du dessin vectoriel comme Inkscape.
Si vous voulez l'essayer, une RC2 est disponible en téléchargement sur le nouveau site web http://sk1project.net.

Afin de respecter la tradition du lancer de Troll le vendredi, je me lance:

Le cadre

Commençons par cadrer un peu les choses:
Ce que j'appelle "outils sociaux" regroupe 2 grandes catégories:
-la communication d'échange: toute communication dont le but est d'échanger avec un ou plusieurs interlocuteurs: messagerie instantanée, messagerie non-instantanée, c'est-à-dire email, ou messages hors-ligne, mais aussi les communications téléphoniques ou vidéo, IRC, etc.
-la communication de contenu: "gazouilli", post sur Facebook, bref: ce qui d'abord se consulte sans (…)