Journal VGER near to be out, stay tuned

Posté par  (site web personnel) . Licence CC By‑SA.
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 (…)

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

Une balade au FOSDEM

45
3
fév.
2024
Communauté

Ces 3 et 4 février 2024 ont lieu à Bruxelles le FOSDEM, Free and Open Source Software Developers' European Meeting ou Réunion européenne des développeurs de logiciels libres et open source, une conférence ayant lieu tous les ans à l’Université Libre de Bruxelles (la bien nommée) depuis 2001.

logo FOSDEM

Lors de l’édition 2023 du FOSDEM j’avais lu ce Tweet sur le réseau social qui s’appelait encore Twitter:

 Plus de 20 [ans] que l’ULB accueille le #FOSDEM, évènements majeurs de la communauté opensource.
Mais ce n’est pas assez « tape à l'œil » pour qu’un média belge en parle un peu ;(

Ce compte était publié par le compte Bad Service Belgium qui se spécialise dans le partage d’expérience de mauvais service en Belgique.

Ça tombe bien, quand bien même LinuxFr.org n’est peut-être pas un « média belge », j’y étais en 2023, et à l’occasion de l’édition 2024 du FOSDEM je vous propose donc une présentation de ce rassemblement incontournable, illustrée de mes photos de l’année dernière.

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 En France on n'a pas de pétrole

Posté par  . Licence CC By‑SA.
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 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 (…)

pkgsrc 2015Q3

Posté par  (site web personnel, Mastodon) . Édité par ZeroHeure, Benoît Sibaud et palm123. Modéré par ZeroHeure. Licence CC By‑SA.
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 censure ses failles de sécurité

Posté par  . Licence CC By‑SA.
Étiquettes :
21
29
fév.
2012

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

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.