Journal IKOS, un analyseur statique développé à la NASA

Posté par  . Licence CC By‑SA.
Étiquettes :
61
14
déc.
2018

Salut à tous,

Laissez moi vous présenter IKOS: https://github.com/NASA-SW-VnV/ikos

IKOS est un analyseur statique pour C et C++ basé sur LLVM, développé à la NASA. Il est gratuit et open source.

IKOS permet de détecter des bugs dans vos programmes C et C++. Contrairement à un analyseur statique « classique », il se repose sur une théorie mathématique appelée Interprétation Abstraite. IKOS prouve automatiquement l’inexistence de bugs dans vos programmes, pour toutes les exécutions possibles. En contrepartie, IKOS peut (…)

Le Jet Propulsion Laboratory de la NASA publie les plans du rover Curiosity sur GitHub

Posté par  (site web personnel) . Édité par Benoît Sibaud, Xavier Teyssier et Davy Defaud. Modéré par Xavier Teyssier. Licence CC By‑SA.
Étiquettes :
39
5
août
2018
Do It Yourself

Le Jet Propulsion Laboratory de la NASA (avec CalTech), qui a construit l’astromobile / le rover Curiosity pour explorer la planète Mars, a publié sur GitHub les plans d’une version réduite et abordable de ce véhicule sous licence Apache v2.

Vous pouvez donc l’étudier, le construire ou l’améliorer !

Le cerveau utilisé est un RaspBerry Pi. Vous pouvez le contrôler via une application Android.

N. D. M. : Ce rover est une version réduite (36 cm, 11 kg, 17 cm/s) de Curiosity (2,7 m, 899 kg et 4 cm/s sur Mars). Il est conçu pour pouvoir être réalisé avec des composants du commerce. La publication a été réalisée pour « inspirer la future génération des scientifiques, ingénieurs et roboticiens pour nous aider à explorer et découvrir notre système solaire (et au‐delà !) ». L’utilisation de la licence Apache v2 semble contredite par les critères supplémentaires suivants : être âgé de plus de 18 ans, décharge de responsabilité et pas d’utilisation commerciale (situation clarifiée depuis par le responsable côté NASA). Le JPL explique par ailleurs avoir produit précédemment une version réduite de Curiosity à des fins éducatives (un mini‐rover baptisé ROV-E), pour les classes, musées et événements scolaires. Et face au succès, ils ont décidé de produire un modèle inspirant et réalisable pour moins de 2 500 US$ (environ 2 160 €).

Journal La nasa offre sa troisième fournée de logiciel libre et gratuit

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
18
7
mar.
2017

https://fossbytes.com/nasa-free-open-source-software/

La nasa met en ligne, en libre accès, son catalogue 2017-2018 de logiciels, dont une partie est open source !

NASA says that the freely released tools are helpful for professionals, entrepreneurs, small businesses, industry, and academia. These software tools have the potential to create jobs, save lives, and earn revenue, NASA adds.

pkgsrc 2015Q3

Posté par  (site web personnel, Mastodon) . Édité par ZeroHeure, Benoît Sibaud et palm123. Modéré par ZeroHeure. Licence CC By‑SA.
Étiquettes :
29
1
oct.
2015
NetBSD

Dans un message à des listes de diffusion pkgsrc et NetBSD, Thomas Klausner a annoncé la disponibilité de la branche pkgsrc-2015Q3. Pkgsrc (prononcer package source) est une infrastructure de construction de logiciels tiers pour NetBSD, ainsi que pour d’autres systèmes de type UNIX. Il permet donc à NetBSD, mais aussi à GNU/Linux, SmartOS, Minix, OS X et de nombreux autres systèmes d’exploitation de disposer de nombreux logiciels sous forme source, mais aussi sous forme binaire.

pkgsrc

Les développeurs pkgsrc fournissent une nouvelle version stable chaque trimestre. Comme son nom l’indique, pkgsrc 2015Q3 est donc la troisième sur les quatre de l'année 2015 et est disponible depuis le 30 septembre dernier.

Plus de détails sur cette version en particulier en seconde partie de dépêche, qui reprend grandement le courriel d'annonce.

Journal La NASA au ralenti :(

Posté par  . Licence CC By‑SA.
Étiquettes :
35
1
oct.
2013

Depuis quelques heures, le site web de la NASA est fermé, suite au "shutdown" du premier Octobre (pas d'accord trouvé sur le financement des services gouvernementaux aux US). 97% des employés sont rentrés chez eux (ils ont interdiction de venir même de manière volontaire), et seul le minimum vital répond à l'appel (pour maintenir en vie les astronautes à bord de l'ISS par exemple).

Cette coupure d'activité met également au ralenti la mission Mars Science Laboratory, et le robot (…)

Journal Felix s'apprête à faire le grand saut

Posté par  . Licence CC By‑SA.
Étiquettes :
15
9
oct.
2012

On parlait récemment de la privatisation de la conquête spatiale.

Aujourd'hui Felix (Fearless) Baumgartner, parachutiste autrichien, s'apprête à battre le record du saut en chute libre le plus haut détenu par Joseph Kittinger, établi en 1960.

Cette tentative a pour l'instant été repoussée à cause du vent qui souffle sur le désert de Roswell au Nouveau-Mexique. L'ascension en ballon gonflé à l'hélium est pour l'instant prévue à 19h30 heure française.

Les chiffres sont impressionnants, bien qu'il ne s'agisse (…)

Journal En France on n'a pas de pétrole

Posté par  . Licence CC By‑SA.
Étiquettes :
36
10
août
2012

(mais on n'a pas trop d'idées non plus)

Mon jour nal,

Si je me permets d'attirer ton attention aujourd'hui, c'est parce que je me poses des questions.

Voilà donc un journal qui dénonce (grave).

Je viens de découvrir, pas plus tard qu'il n'y a pas longtemps, que toutes les lois et régulations fédérales allemandes sont sur github.

https://github.com/bundestag/gesetze#german-federal-laws-and-regulations

Quand on sait qu'écrire une loi, c'est presque comme écrire du code[1], on comprend toute la pertinence du projet.

Un code de (…)

Journal VGER near to be out, stay tuned

Posté par  (site web personnel) . Licence CC By‑SA.
Étiquettes :
71
23
mar.
2012

Un petit journal à propos de V`GER. Parce que, ça y est, Voyager 1 est à 18 milliards de kilomètres de chez nous (soit ~6.7UA, soit ~0.0001AL). C'est la première fois qu'une réalisation humaine atteint cette frontière. Résumé des évènements :

  • lancement le 5 septembre 1977
  • 1979, passe aux alentours de Jupiter, et nous dévoile cette tumultueuse, et les volcans d'une de ses lunes, Io.
  • 1980, elle s'approche de Saturne, on lui fait faire quelques pas de danse imprévus (…)