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 (…)

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.

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 (…)

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 (…)

(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 (…)

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 (…)

Don Pettit, un Américain en mission dans la station spatiale internationale, tient un blog grâce à une liaison internet avec la terre. Début Février, il a découvert ce qu'on pourrait appeler une faille de sécurité par pur sensationnalisme, mais qui est plutôt une grave faille dans les processus qualité de la NASA : une étiquette « remove before flight ». L'anecdote étant amusante, Don Pettit a pris une photo et l'a postée sur son blog, et comme bien souvent lorsqu'il s'agit d'avouer (…)

source Slashdot ( http://science.slashdot.org/science/08/07/26/0119248.shtml )

La NASA, en conjonction avec archive.org, a mis a disposition un sacré paquet d'images, photos et vidéos sur http://www.nasaimages.org/ C'est la première fois qu'elles sont disponibles au public

Les images sont "not copyrighted", on en fait ce qu'on veut :-). Avec des documents de 1958 à nos jours, on doit pouvoir tomber sur pas mal de perles. Et ce qui ne gâche rien, le site est plutôt sympa, sobre comme il faut, avec des descriptions, (…)

La sonde scientifique Cassini de la NASA vient de survoler Japet, l'une des lunes de la planète Saturne.
En quoi est-ce important allez-vous me demander ?

C'est important tout d'abord sur le plan scientifique. En effet Japet intrigue depuis longtemps les chercheurs car sa surface est très sombre sur un hémisphère alors qu'elle est très brillante sur l'autre (voir http://jmm45.free.fr/planetes/japet/japet.jpg par exemple). Un mystère qui sera peut-être percé par le survol de Cassini ?
Un autre mystère est la ceinture (…)

Et voilà, ils se sont enfin dis que ça serai une bonne idée de faire une exploration spatial un peu plus libre, donc ils ont ouvert le code source de leurs rovers pour inciter des contribuateurs à créer de nouveaux modules.

Bon, quand je dis ouvert, c'est en parti. Seul 10% du code à été passé sous licence Caltech TSPA[1] mais ça représente quand même 100 000 lignes des codes, soit 44 modules. Mais à terme, ça devrai représenter 30%.

(…)