Une balade au FOSDEM
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.
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.
Lien Le logiciel de bord de Voyager 2 reçoit un correctif, à 18 heures-lumière d'ici !
Lien Le "live stream" de la station spatiale internationale
Lien La NASA publie le code source de tous ses logiciels
Lien [LIVE] Lancement de la mission Artemis 1 vers la Lune
Lien Modification de l'orbite d'un astéroïde par la mission DART en image
Lien Collision May Have Formed the Moon in Mere Hours, Simulations Reveal
Lien RISC V pourrait permettre aux deux agences spatiales ESA et NASA et de travailler main dans la main
Lien La NASA sélectionne RISC-V
Lien L'astuce logicielle de la NASA pour faire redécoller son hélicoptère martien Ingenuity
Lien Le télescope spatial James Webb est arrivé à destination
Forum Linux.général Masrviewer : la NASA s'inspire de Darktable ?
Lien Le rover Perseverance va atterrir sur Mars ce jeudi
Journal IKOS, un analyseur statique développé à la NASA
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 (…)