Logo journal du hacker middle
  1. 4
    Sortie de Coq 8.5 bêta, un assistant de preuve formelle application dev sciences sécurité linuxfr.org
    nbarbey avatar soumis par nbarbey presque 10 ans | en cache | 1 commentaire
  2. 4
    La France préfère payer (deux fois) pour les articles de ses chercheurs libertés individuelles sciences rue89.nouvelobs.com
    csantosb avatar soumis par csantosb presque 10 ans | en cache | pas de commentaire
  3. 1
    Les Automates Jaquet-Droz (la robotique du XIXème) entrepreneuriat sciences mahn.ch
    davelong avatar soumis par davelong presque 10 ans | en cache | pas de commentaire
  4. 3
    Sprint "revenu de base" dans le simulateur socio-fiscal libre OpenFisca dev python sciences openfisca.fr
    eraviart avatar soumis par eraviart presque 10 ans | en cache | 1 commentaire
<< Page 12