Lien Un grep contextuel en Ada
31
mai
2021
Journal Episode de Podcast francophone sur le langage Ada
15
mai
2021
Bonjour tout le monde.
Voici mon premier article de journal pour signaler que j'ai pu intervenir dans l'excellent podcast If This Then Dev (IFTTD pour les intimes).
J'y parle du langage Ada que j'utilise comme langage de prédilection dans mon secteur de l'aéronautique.
Langage auquel je trouve plein de qualités mais qui reste très méconnu et cantonné à des secteurs de niche.
Je vous laisse découvrir l'épisode ici
Sortie de GHDL version 1.0.0
6
fév.
2021
GHDL est un logiciel écrit en Ada permettant de faire l'analyse, la compilation, la simulation ainsi que la synthèse du VHDL. Le VHDL, quant à lui, est un langage de description matériel très utilisé dans le développement sur FPGA ou ASIC. À l'origine, GHDL est un « side-project » de Tristan Gingold lui permettant de se faire la main avec Ada.
GHDL est devenu l'outil indispensable pour faire de la simulation VHDL aujourd'hui. Après presque 20 ans de développement, voici que sort en version 1.0.0 le logiciel de simulation VHDL nommé GHDL. En prime, GHDL s'offre un nouveau logo:
Portage de TapTempo en VHDL
17
déc.
2020
Ayant préparé tout le matériel pour faire du TapTempo en Verilog, il était trop tentant de réaliser la même chose en VHDL. L’occasion de se plonger dans ce langage de description matériel concurrent du Verilog.
L’occasion également de parler des avancées de GHDL, un simulateur libre du VHDL, et désormais également capable de faire la synthèse en conjonction avec Yosys.
Pour comprendre TapTempo dans la culture moulesque de LinuxFr.org, il est conseillé d’aller faire un petit tour sur la page wiki homonyme.
Bogues de logiciel et bogues de management : 737 Max et autres catastrophes
27
août
2020
Tout le monde sait ce qu’est un bogue sur un logiciel, mais un bogue au niveau management, cela existe aussi. Les conséquences peuvent être catastrophiques. Commençons par le Boeing 737 Max.
Le Boeing 737 Max est la dernière évolution du premier 737 sorti en 1967. Comme certaines caractéristiques ont été sensiblement modifiées, les concepteurs de l’avion ont décidé que le logiciel rattraperait les problèmes de stabilité. Par souci d’économie et pour concurrencer Airbus, Boeing a décidé d’aller vite, trop vite, en négligeant les principes fondamentaux du développement aéronautique qui ont permis à l’avion d’être le moyen de transport le plus sûr de tous.
Cette dépêche retrace également d’autres catastrophes, révélant les problèmes dans le processus de décision qui, bien souvent, éloigne les décideurs des alertes émises par du personnel compétent. Dans bien des organisations, les subordonnés sont incités à minimiser ce qui dérange la direction.
Journal L'Homme-Machine selon Kraftwerk
8
juil.
2020
Que se passe-t-il dans la musique électronique en 1978 ? Deux ans après Oxygène, Jean-Michel Jarre publie Equinoxe. Dans un style beaucoup plus industriel, The Normal chante "Warm Leatherette". Giorgio Moroder compose la bande originale du film Midnight Express, avec en particulier le morceau "Chase".
Quant à Kraftwerk, ils sortent l'album The Man-Machine, qui précède de trois ans Computer World 1 dont nous avions parlé au mois de mai. Je vous emmène donc cette fois à la frontière (…)
Lien Survey on the future of GNAT Community (fin probable de GNAT Community)
29
août
2020
Journal WebEx Ada France le 26 mai à 10h
22
avr.
2020
Si vous ne savez pas quoi faire le 26 mai prochain après le confinement et que vous êtes un tant soit peu curieux, l'association Ada-France, en partenariat avec les sociétés AdaCore, AdaLog et Systerel, propose une conférence en WebEx sur Ada.
Il s'agit d'un webinar d'une heure à partir de 10h.
C'est gratuit mais il faut s'inscrire là
Au sommaire:
- Une introduction générale au langage Ada
- Maintenabilité et portabilité,
- Programmation Orientée Objet (POO),
- Programmation Par Contrat (PPC) et approche formelle (…)
Lien Un excellent podcast sur Ada Lovelace, sur France Culture
27
mar.
2020
Ada ou la beauté des nombres — émission « Libre à vous ! » du 19 novembre 2019
25
nov.
2019
Quarante‐cinquième émission « Libre à vous ! » de l’April. Écouter le podcast et programme :
- sujet principal : le livre Ada ou la beauté des nombres, avec l’interview de Catherine Dufour ;
- interviews réalisées lors de l’Ubuntu Party de Paris ;
- la chronique « Itsik Numérik » d’Emmanuel Revah, sur le thème « Stallman was right » ;
- l’interview de Romain Pierronnet pour l’événement « Libre sur la Place » à Nancy, le 26 novembre 2019.
Journal Conception d’un circuit intégré avec Qflow
14
nov.
2019
Cher journal, aujourd’hui nous allons voir comment concevoir un circuit intégré avec des outils libres. Je ne vais pas faire de toi un expert en microélectronique, mais ça devrait déjà te permettre d’un peu mieux comprendre ce que je t’ai baragouiné la dernière fois.
Partie relou Cours magistral
RTL
La première étape de la conception d’un circuit intégré consiste à en décrire le comportement avec un langage de la famille des HDL (Hardware Description Langage). Cette description est (…)
Journal Pourquoi les femmes ont déserté l’informatique dans les années 1980
21
avr.
2019
Bonjour
Les premières personnes à programmer étaient des femmes et puis subitement, vers 1984, elles ont déserté le monde de l'informatique. Les causes sont multiples et pas évidentes à cerner: arrivée des premiers micro-ordinateurs, naissance de l'image du "geek", stéréotypes dès l'école, etc…
Liens pour tenter d'y voir plus clair.
"L’arrivée des micro-ordinateurs a créé des sociétés de hackers et de joueurs de jeux vidéo. Ces petits groupes sont presque exclusivement masculins et hostiles aux filles".
https://www.cairn.info/revue-carrefours-de-l-education-2004-1-page-42.htm
"On estime (…)
Journal Make with Ada troisième édition
27
mar.
2019
Cette année, contrairement à l'année dernière, ce sera un journal plutôt qu'une dépêche (cf. la précédente édition) et pour cause, la troisième édition est terminée et les lauréats ont été désignés hier :)
Pour rappel, Make with Ada est une compétition de programmation, organisé par AdaCore, dont l'objectif est de faire un projet de logiciel embarqué en Ada et/ou Spark.
Les prix sont de 5000$/5000€ pour le 1er, 2000$/2000€ pour le second et 1000$/1000€ pour le troisième.
Journal Ready At Dawn passe à Rust
26
juil.
2018
La société de développement Ready At Dawn éditrice des jeux Daxter, God of War ou encore Ōkami, a décidé de passer tout ses futures projets au langage Rust parce que C/C++ <3 Rust.
It's finally happening - after >30 years of pro use, 20 of which quite reluctantly, I am officially DONE with C/C++. Only maintenance from now on, everything new will be in @rustlang. THANKS Rust team for refining modern concepts into such a practical, elegant system. I love (…)
Journal Portage de TapTempo en Ada
26
fév.
2018
Et voilà, à peine développé et déjà un fork :)
Suite au journal de mzf, j'ai décidé de porter le taptempo en Ada.
Pourquoi faire ? Juste pour le plaisir :)
Et puis aussi parce que le logiciel était suffisamment court pour faire un portage rapide et montrer différents aspects d'Ada sur un programme déjà existant en C++.
Après une version Rust, voici donc, comme promis, la version Ada et sa petite explication… Enfin, deux versions.