MyPy permet d'ajouter du typage statique à Python tout en restant compatible.
La version 0.3 est compatible avec la PEP 484

Guido fait maintenant parti des développeurs de MyPy (avec d'autres employés de Dropbox), le dépôt est sous l'arborescence python sur github. C'est dire l'importance qu'est entrain de prendre ce projet.

Pour l'instant la page du projet met surtout en avant l'intérêt en terme de debug et maintenance, mais parions que cela peut également donner des pistes pour améliorer les (…)

Salut,

un journal un peu bookmark, pour le cas où la cible pourrait servir à d'autres.

J'ai régulièrement donné des explications à mes gamins lors de leurs rédactions de travaux avec Libre Office Writer, entre autre en ce qui concerne l'utilisation des styles, la numérotation des chapitres, le sommaire automatique, et… (je trouve que ce qu'ils savent avec le B2I est un peu léger sur ces points).

Ayant des stagiaires 3èmes cette semaine, j'ai mis ce contenu dans une présentation (…)

Je suis déçu, je pensai voir un journal sur ça, et même pas.

Hé les moules, c'est pas tout les jours vendredi sur linuxfr ?

Alors, en gros, parce que ce qui est important dans les journaux, c'est pas le contenu, c'est les commentaires:

• Temps de travail assoupli, passage de dix à douze heures journalière en cas d'"activité accrue", bon courage pour ceux qui sont en SSII
• Indemnités prud'hommales plafonnées
• Salaires mdoulabes
• Si pas d'incident en astreinte, pas de rémunération, vous (…)

Un nouveau mainteneur

Emacs a un nouveau mainteneur depuis le mois de Novembre. Il s'agit de John Wiegley. Il a accepté ce rôle après avoir rencontré Richard Stallman. Il est notamment connu dans la communauté emacs pour être l'auteur des paquets use-package et eshell.

Rendre la communauté plus accessible

En ce qui concerne son rôle de mainteneur, John Wiegley s'est notamment fixé pour objectif de rendre la communauté emacs plus accessible et de permettre à plus de gens (…)

Bonjour nal.

Introduction

Cela fait longtemps que je n'ai pas posté ici, cela me manquait. Je trouve que LinuxFR ne parle pas assez de Haskell, alors je vais en parler un peu aujourd'hui sur une digression totalement inintéressante et proche de la masturbation intellectuelle. On va partir de rien et discuter de la fonction de tri fournie dans la librairie standard (base) de GHC, le compilateur le plus connu / utilisé.

L'idée c'est de vous présenter un peu Haskell (…)

On vient de me faire découvrir Maru, un Android minimaliste couplé apparemment avec une Debian, qui permet d'utiliser EN MÊME TEMPS son smartphone pour téléphoner ou pour travailler sur un écran branché sur le smartphone.
C'est super intéressant, ça évite d'acheter un ordinateur pour des usages courants.

Petit aperçu commenté de veille de ces derniers jours.
Vous connaissez le principe, ça n'a pas changé depuis la dernière fois il y a bien longtemps. La liste des liens est toujours dispo à la fin. Et pour planter un peu le contexte, ça parle de méthodes, de tests, de javascript, de clojure, de go et d'autres bricoles.

Il n'est pas dit que j'arrive à mieux le tenir que ces derniers temps, mais on va tenter :-)

Un peu de

Vous avez sûrement entendu parler de la demande auprès d'Apple d'un juge fédéral américain qui enquête sur la tuerie de San Bernardino de décembre dernier aux États-Unis : ils veulent la possibilité d'utiliser un logiciel pour brute-forcer l'iPhone des « terroristes » afin de récolter plus de preuves pour leur enquête.

En effet, le FBI s'est cassé les dents sur la récupération des données de cette machine : le directeur du FBI s'est même plaint auprès du congrès américain des difficultés causées par les (…)

Je ne prends pas souvent ma plume de journaliste, mais cette fois-ci je m'attaque à un sujet sacrément trapu : une proposition de définition d'un service ouvert (rien que ça…).

Il est très courant de voir dans les communautés de logiciels libres des gens amalgamant les notions de logiciel libre avec un service. Par exemple en considérant qu'un service qui fonctionne avec du logiciel libre c'est « bien ». Hors le fait qu'un service fonctionne avec du logiciel libre n'apporte aucune liberté (…)

Un bug a été ouvert chez Debian pour que Iceweasel soit renommé en Firefox. En effet, plusieurs points qui empêchaient Debian d'utiliser le nom Firefox depuis 2006, ne sont plus d'actualité.

• au niveau des patchs appliqués sur Firefox par Debian, Mozilla reconnait qu'ils n'impactent pas la qualité du navigateur, et les patchs qui étaient pertinents à remonter chez Mozilla ont tous été intégrés upstream. Il faut dire aussi que le fait que le mainteneur officiel du paquet (Glandium) ainsi qu'un (…)

Salut à tous,

La révolution des imprimantes 3D est en marche. Je dispose d'un tel dispositif, j'ai donc naturellement commencé un projet la mettant en œuvre. Pour situer le contexte, je suis un grand débutant en guitare mais j'ai vu un projet kickstarter d'accessoire qui a attiré mon attention. c'est un marteau pour guitare qui permet de taper les cordes de la guitare en les isolants ou en accords. Il est possible de jouer sur le rebond du marteau sur (…)

Bonsoir,

Ce journal n'est pas digne du sujet abordé, mais ça fait qq jours que le partage de l'info me trotte dans la tête, alors tant pis pour le formalisme (et le karma). J'aime le cinéma russe moderne, composé esssentiellement de films d'actions, il n'a pas à rougir des super-prod des usa, en nous apportant un plus d'humour typiquement balkan/européen (et là il faut dire que les trolls politiques sont hors jeu, il s'agit simplement de cinéma, sans rien d'abracadabranteque (…)

Voilà, c'est fait, Vulkan sort enfin en première version publique. Vulkan est une API graphique conçue par le Khronos Group, les mêmes qui conçoivent la grande famille OpenGL. Vulkan remplacera-t-il OpenGL ? Dans l'immédiat non. Dans le futur, peut-être. Vulkan est plus bas niveau qu'OpenGL et donc ne s'adresse pas forcément au même public. Vulkan est aussi bien plus complexe vu de loin (la «quick reference» fait quand même 13 pages, là où celle d'OpenGL ES2 en fait 4).

(…)

Une faille très sérieuse (CVE-2015-7547) vient d'être découverte dans la GNU libc (qui équipe tous les serveurs et desktops utilisant Linux…). Lorsqu'on résoud un nom en adresse, avec getaddrinfo(), le tampon où arrive la réponse n'est pas toujours le bon, et une réponse de grande taille peut écraser la mémoire, et mener au crash du client, voire à l'exécution de code (aïe).

Une exploitation typique est : le méchant se connecte à un serveur SMTP GNU/Linux depuis une adresse IP (…)

L'idée n'est pas nouvelle, évidemment, mais je voulais réaliser mon propre outil de gestion d'une blacklist DNS. C'est une solution que je trouve, de très loin, supérieure à AdBlock Plus, pratiquement la première extension que tout le monde installe avec son navigateur préféré.

Pourquoi supérieure ? Je vois au moins deux avantages:

• Le blocage peut s'appliquer à tout un réseau, pas juste une seule machine
• Le blocage s'applique à toute application, pas seulement le navigateur

Bien sûr, il y a (…)