C'est en effet la quatrième version de maintenance de la branche 2.6 de Python qui a été publiée ce week-end après un cycle de développement particulièrement court (23 jours écoulés depuis la publication de la version 2.6.3 le 2 octobre 2009).

Celle-ci n'apporte pas de nouvelle fonctionnalité, mais corrige plusieurs bugs jugés critiques par l'équipe de développeurs. Pour l'essentiel, il s'agit de corrections apportées à la bibliothèque standard de Python. On remarquera en particulier la réparation de la régression introduite à la version 2.6.3 dans le module distutils qui empêchait l'installation de modules tiers à l'aide de l'outil setuptools.

On retrouve aussi une correction au module intégré ("Builtin") marshal. Pour mémoire, ce module assure la sérialisation (et la dé-sérialisation) de valeurs Python au format binaire, son usage est réservé à des situations très particulières, les modules pickle et shelves étant bien plus efficaces et adaptés pour la persistance de données.

C'est donc à une nouvelle version utile - bien que sans surprise - à laquelle nous avons affaire. La mise à jour est évidement recommandée, ne serait-ce que pour pouvoir à nouveau exploiter pleinement le Python Packages Index.

NdM : Merci à tcoubon pour son journal à l'origine de cette dépêche.

CVC3 passe sous licence BSD

CVC3 est un logiciel « prouveur automatique de théorème » qui a, par le passé, été publié sous une licence posant des problèmes avec la clause d'« indemnisation ». C'est désormais un problème réglé, puisque CVC3 a été publié sous licence BSD.

CVC3, issu de Stanford University, fait partie de la classe des solveurs de « Satisfiability Modulo Theories » (SMT). Les chefs de projet sont Clark Barrett, de New York University et Cesare Tinelli, de l'University of Iowa, les autres membres de l'équipe étant également issus des ces deux universités.

IntelliJ IDEA sous licence Apache v2.0

Le célèbre IDE est désormais libre. Il sera disponible en deux versions : Community Edition et Ultimate Edition. La Community Edition se concentre sur Java SE, Groovy et Scala, tandis que la version commerciale sera « axée » sur Java EE.

IntelliJ IDEA, de JetBrains, est l'un des tous premiers IDE à avoir introduit des fonctionnalités poussées de navigation dans le code, ainsi que des capacités de refactorisation. Une concurrence de poids pour Eclipse et Netbeans ?

L'Uruguay offre des laptops sous Linux à ses élèves de primaire

C'est le OLPC (aka One Laptop Per Child) sous Linux que l'Uruguay offre à ses élèves de primaire, le petit netbook blanc et vert avec les oreilles. L'Uruguay est un pays faisant partie des plus gros clients du projet, cet achat massif lui coûtant 5 % de son budget d'éducation. Merci à palm123 pour son journal sur le sujet et vous pouvez consulter la liste des migrations ci-dessous.

Firefox 3.6 est attendu pour la fin de l'année avec des optimisations un peu partout (moteur de rendu, vitesse d'exécution, temps de lancement, etc.) ainsi que d'autres fonctionnalités comme l'intégration des thèmes légers (Personas). Quant à Firefox 3.7, il est lui attendu pour la fin du premier semestre 2010 et devrait inclure une partie de l'extension Weave Sync (synchronisation des profils entre différents Firefox), améliorer encore les performances et surtout commencer un ravalement de façade qui continuera avec Firefox 4.0.

Des prototypes ont été dévoilés depuis quelques temps pour Windows et Mac OS X. C'est maintenant au tour de Linux d'être le sujet de prototypage : on remarquera que les boutons précédents/suivants seraient enfin conformes à ce qui se fait sous les autres plates-formes. Les captures d'écran montrant Firefox sont reconnaissables d'un rapide coup d'œil. Après tout, le bouton précédent est plus souvent utilisé que son camarade.

[troll]Concernant l'adaptation des couleurs et le dessin des formes (ombres, etc.), on se demande comment ils vont arriver à s'en sortir avec toutes les possibilités offertes par Linux. Il y aura toujours un utilisateur de Gnome/KDE/wmii/XFCE pour se plaindre ! :)[/troll]

NdM : Merci à ThomasB pour son journal à l'origine de cette dépêche.

Le premier LLVM Camp sera organisé le 20/11/2009 de 10h à 18h à La Cantine. Ce BarCamp vise à réunir la communauté française autour du projet LLVM. Cet événement est gratuit et ouvert à tous.

Les thèmes abordés seront les suivants :

• LLVM, principes généraux
  
• Outils
  
• LLVM et GPU
  
• LLVM et GCC
  
• LLVM : La compilation et au-delà !
  
• Quand générer le code ?
  
• Ce dont vous souhaitez parler (comme pour tout Barcamp)

Lieu :
La Cantine,
151 rue Montmartre,
Passage des Panoramas
12 Galerie Montmartre,
75002 Paris