CVC3, IntelliJ IDEA et Uruguay

Posté par (page perso) . Modéré par Bruno Michel.
12
27
oct.
2009
Communauté
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.
  • # Bonne nouvelle...

    Posté par (page perso) . Évalué à 1.

    C'est sûrement une bonne nouvelle. Personnellement je suis un grand fan d'eclipse surtout depuis les sorties programmées et ses bundles.

    Je serais heureux de lire des expériences de passage à IntelliJ IDEA pour savoir si l'herbe est plus rose ailleurs. (oui les goûts et les couleurs...)

    Bonne chance à ce projet libre.. j'ai pas cherché dans les liens mais la dépêche de parle pas de la licence choisie..

    Alexandre COLLIGNON

  • # Offre?

    Posté par . Évalué à 4.

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

    L'Uruguay subventionne l'achat de laptop pour les élèves du primaire.

    'Offrir' sous-entend plutôt que c'est un cadeau..

    Je doute très fortement que le gouvernement Uruguayen considère ces laptops comme des cadeau, mais plutôt comme un investissement dans des 'outils éducatifs'..
  • # Génial

    Posté par (page perso) . Évalué à 5.

    Et bien j'en ai appris des choses en partant du lien donné vers la page Wikipédia "Satisfiability Modulo Theories".
    (Problèmes SAT, Optimisation combinatoire, Pb du sac à dos, ...)

    Vive Wikipédia. Vraiment.

    Et vive Linuxfr qui par ses dépêches nous font innocemment découvrir d'autres "branches" dans la programmation...

    Petits malins va !

Suivre le flux des commentaires

Note : les commentaires appartiennent à ceux qui les ont postés. Nous n'en sommes pas responsables.