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.