Ada France
2024-03-05T16:07:54+00:00
Ada France
urn:sha256:011f3e510419f9ba25f1d18b9715489c9ce67423ace02a708896ca2a1e48382a
AWA
Workshop "développeurs Ada" à la conférence de Barcelone
urn:sha256:9a38c507f0dbfb316275b08c434140c4068211c37a10ccfb22d6fba9bccca74a
2024-03-05T16:07:54+00:00
2024-03-05T16:07:54+00:00
Jean-Pierre Rosen
<div class="post-text"><p>Une nouveauté à la prochaine conférence Ada-Europe de Barcelone! Traduction d'un billet de Fernando Oleo:</p><p><hr>J'arrive avec de grandes nouvelles! Les deux années précédentes, il n'y a pas eu d'Ada Devroom au FOSDEM, un endroit où la communauté Ada avait coutume de se rencontrer et de partager ses travaux et ses projets. Certains d'entre nous désiraient continuer cette expérience, car nous pensions que cela apportait beaucoup à la communauté Ada en général.</p><p>Pour cette raison, Fabien Chouteau, Dirk Craeynest et Fernando Oleo Blanco ont proposé à la conférence "Ada-Europe International Conference on Reliable Software Technologies (AEiC 2024 aka Ada-Europe 2024)" d'avoir une "devroom" pour la communauté Ada au sens large, comme au FOSDEM.</p><p>Nous avons été acceptés, et vous pouvez trouver toutes les informations sur la page <a href="https://www.ada-europe.org/conference2024/adadev.html" target="_self">Ada Developer Workshop</a>!</p><p>J'encourage tout le monde à aller y jeter un Åil! Néanmoins, voici un petit résumé présentant certains points:</p><p></p><ul><li>Cela aura lieu le vendredi 14 juin à Barcelone. Le vendredi a été choisi pour minimiser le nombre de jours de vacances que nous devrions prendre à notre travail, et nous permettre d'utiliser le week-end pour visiter et profiter de Barcelone.</li><li>Le prix sera inférieur à celui de la conférence. Notre but est de le rendre complètement gratuit, comme au FOSDEM, mais c'est toujours en cours de discussion.</li><li>La nature de l'événement est similaire aux DevRoom précédents qui ont eu lieu au FOSDEM. La principale différence est que maintenant, il ne sera plus exigé que ce soit des projets open-source.</li><li>Le 31 mars 2024 est la date limite (actuelle) pour les propositions. Si vous voulez présenter vos travaux, ou discuter de certains sujets, surtout gardez bien cette date à l'esprit!</li></ul><p>Nous sommes impatients d'avoir de vos nouvelles! Et si vous avez des questions, surtout, faites le nous savoir!</p></div>
Ada, le langage vraiment sûr, a un nouveau standard
urn:sha256:f424c9bad79fc41e9e2f4c40a6fe9e7ac259ec553cf6c601da78e669e529fb5b
2024-01-07T15:34:09+00:00
2024-01-07T15:34:09+00:00
Stephane Carrez
OpenSourceExperience
POSS
<div class="post-text"><p>Tout d'abord, meilleurs vÅux pour 2024, santé et prospérité dans vos projets, Ada!</p><p>En décembre dernier, nous étions présents au salon Open Source Experience où Jean-Pierre a fait une présentation lors des conférences de cet événement. Cette présentation, d'une durée de 20 minutes, est destinée aux ingénieurs ne connaissant pas forcément Ada et montre quelques points clés tels que son évolution au fil du temps, son typage fort, son support des exceptions, etc. Les nouveautés d'Ada 2022 sont brièvement évoquées, notamment le symbole <code>@</code> pour référencer la partie gauche d'une affectation, le support de la programmation parallèle et les améliorations apportées aux contrats et aux conteneurs. Voici la présentation: <a href="https://www.ada-france.org/adafr/storages/files/1704/view/Ada_2023.pdf">Ada, le langage vraiment sûr, a un nouveau standard</a></p><p>Une description complète des évolutions d'Ada 2022 est disponible sur <a href="http://www.ada-auth.org/standards/22over/html/Ov22-TOC.html">Overview of Ada 2022</a>.</p><p>Comme chaque année, le salon Open Source Experience nous a permis de rencontrer d'anciens utilisateurs du langage Ada, des utilisateurs de Rust souhaitant comprendre et comparer les différences avec Ada, ainsi que des curieux qui repartent interloqués par le fait qu'Ada permet de développer à la fois des applications temps réel embarquées sûres, mais aussi des applications complexes allant jusqu'aux sites web.</p></div>
[Ann] Formations Adalog: Programme du 1er semestre 2024
urn:sha256:022f3f48e6f2dd33954efbcc12ee891f5e2a2da562922052bd2a727c624b4d91
2023-12-18T15:41:00+00:00
2023-12-18T15:41:00+00:00
Jean-Pierre Rosen
<div class="post-text"><p>Adalog a le plaisir d'annoncer son programme de formations pour le 1er semestre 2024.</p><p><br></p><p>Ada cours complet:</p><p>  du 19 au 21 et du 26 au 28 février 2024</p><p>  du 19 au 21 et du 26 au 28 juin 2024</p><p><br></p><p>Tous les détails sur:</p><p><a href="https://adalog.fr/fr/formation_dates.html" target="_self"><a href="https://adalog.fr/fr/formation_dates.html">https://adalog.fr/fr/formation_dates.html</a></a><br></p><p>Pour plus d'information, merci d'écrire à info@adalog.fr, ou de visiter <a href="https://www.adalog.fr/" target="_self"><a href="https://www.adalog.fr/">https://www.adalog.fr/</a></a></p></div>
Ada France au salon Open Source Experience 2023
urn:sha256:d0698b98c456fb08837d06b7457fe084c965bf63da7898298367809d1dd050cc
2023-10-07T18:24:07+00:00
2023-10-07T18:24:07+00:00
Stephane Carrez
OpenSourceExperience
POSS
<div class="post-text"><p>Comme l'année précédente, Ada France sera présent au salon <a href="https://www.opensource-experience.com">Open Source Experience</a> les 6 et 7 Décembre 2023. Venez nous voir au stand B11 du village associatif.</p><p>Cette année Jean-Pierre Rosen d'<a href="https://www.adalog.fr/fr/adalog.html">Adalog</a> vous expliquera le 7 Décembre à travers sa présentation <strong>Ada, le langage vraiment sûr, a un nouveau standard</strong> les principales caractéristiques d'Ada ainsi que les nouveautés apportées par la nouvelle norme ISO Ada 2022.</p><p><img src="/adafr/blogs/images/2901/1701/default/OSE-2023.png" width="728" height="90" alt="Images/OSE-2023.png"></img></p></div>
[Ann] Formations Adalog: Programme du 2ème semestre 2023
urn:sha256:f9b0e361ed9a20c8f47050fffa80051c3e318006b0ff6d6f4a0aa9ef782aa04b
2023-07-18T14:09:38+00:00
2023-07-18T14:09:38+00:00
Jean-Pierre Rosen
<div class="post-text"><p style="font-size: 15.4px;">Adalog a le plaisir d'annoncer son programme de formations pour le 2ème semestre 2023.</p><h4 style="font-family: &quot;Lucida Grande&quot;, &quot;Lucida Sans&quot;, Arial, sans-serif;">Ada cours complet:</h4><p style="font-size: 15.4px;">du 20 au 22 et du 27 au 29 septembre 2023</p><p style="font-size: 15.4px;">du 13 au 15 et du 20 au 22 décembre 2023</p><p style="font-size: 15.4px;"><br></p><p style="font-size: 15.4px;">Tous les détails sur <a href="https://adalog.fr/fr/formation_dates.html" target="_self"><a href="https://adalog.fr/fr/formation_dates.html">https://adalog.fr/fr/formation_dates.html</a></a></p><p style="font-size: 15.4px;"><br></p><p style="font-size: 15.4px;">Pour plus d'information, merci d'écrire à  <a href="mailto:info@adalog.fr" target="_self">info@adalog.fr</a>, ou de visiter <a href="https://www.adalog.fr/" target="_self">le site Adalog</a></p></div>
La norme Ada 2022 bientôt disponible en livre
urn:sha256:4967b40af16b7ee7332a6a923e723ed4335f2f1af9590aa5e016727a42ec29ef
2023-06-16T06:21:17+00:00
2023-06-16T06:21:17+00:00
Jean-Pierre Rosen
<div class="post-text"><p>Ada-Europe a annoncé que la nouvelle norme Ada (2022) serait, comme les précédentes, publiée chez Springer dans les LNCS (Lecture Notes in Computer Sciences). Compte tenu de son volume, elle sera publiée en deux tomes.</p><p>Le prix est en cours de négociation, mais les membres Ada-Europe devraient bénéficier d'un tarif réduit. Une autre bonne raison de nous rejoindre!</p></div>
Convocation Assemblée Générale Ada-France 2023
urn:sha256:dbe15493e5bc3fa7b764d2f4500fbe84d5d4d94cd3ab4c266734ed7d8c556947
2023-06-02T05:41:00+00:00
2023-06-02T05:41:00+00:00
Stephane Carrez
Assemblée
<div class="post-text"><p>L'Assemblée Générale d'Ada-France aura lieu le mercredi 28 Juin 2023 à 18h30 dans les locaux d'Adalog au 2 rue du Docteur Lombard 92130 Issy Les Moulineaux et aussi par vision conférence avec le lien:</p><p><a href="https://jitsi.hivane.net/AGAdaFrance2023">https://jitsi.hivane.net/AGAdaFrance2023</a></p></div>
La norme Ada 2022 est parue!
urn:sha256:d7cc1252131d25aaa0a84ad4ea87661955aac2b4c89b2c4cbf9869e64b425bb2
2023-05-10T10:05:55+00:00
2023-05-10T10:05:55+00:00
Jean-Pierre Rosen
<div class="post-text"><p><a href="https://www.iso.org/standard/83621.html" target="_self"><a href="https://www.iso.org/standard/83621.html">https://www.iso.org/standard/83621.html</a></a><br></p></div>
[ANN] UXStrings s'enrichit d'une troisième implémentation.
urn:sha256:8334c218b4b1df9f7984563871a52c9e3dcd212a93f0e884434374885eff6cc6
2023-04-10T16:57:48+00:00
2023-04-10T16:57:48+00:00
Pascal Pignard
Unicode
String
<div class="post-text"><p><a href="https://github.com/Blady-Com/UXStrings">UXStrings</a> (en version <a href="https://github.com/Blady-Com/UXStrings/commits/UXS_20230401">UXS_20230401</a> et aussi sur <a href="https://alire.ada.dev/crates/uxstrings.html">Alire</a>), bibliothèque Ada d'utilisation de chaînes de caractères Unicode de longueur dynamique, s'enrichit d'une troisième implémentation : UXStrings3. Avec cette dernière implémentation, les caractères sont stockés sous forme Unicode et la gestion de la taille dynamique en mémoire utilise la bibliothèque standard Ada.Strings.Wide_Wide_Unbounded.</p></div>
Petite vidéo résumant la vie d'Ada Lovelace
urn:sha256:a6972533b8ef2ce5303769807edf5956a17e50adbd447716f9b6d54a09a32c6a
2023-02-28T21:44:45+00:00
2023-02-28T21:44:45+00:00
Stephane Carrez
Ada Lovelace
Histoire
<div class="post-text"><p>Ada Lovelace était la première codeuse au monde et le langage Ada porte son nom en son honneur. Mais connaissez-vous son histoire? Regardez cette excellente vidéo faite par <a href="https://www.radiofrance.fr/franceculture">France Culture</a> pour résumer sa vie en moins de 4 minutes!</p><iframe width="560" height="315" src="https://www.youtube.com/embed/_eUOuQ5lp_0" frameborder="0" allowfullscreen=""></iframe></div>
[Ann] Formations Adalog: Programme du 1er semestre 2023
urn:sha256:506040f7a3252814766f9dc7dfb9a2a4fc03cb0d353914d49fdd54ccb6e54a1d
2023-01-14T09:44:16+00:00
2023-01-14T09:44:16+00:00
Jean-Pierre Rosen
<div class="post-text"><p>Adalog a le plaisir d'annoncer son programme de formations pour le 1er semestre 2023.</p><br><p>Ada cours complet:</p><p> du 13 au 15 et du 20 au 22 février 2023</p><p> du 21 au 23 et du 28 au 30 juin 2023</p><br><p>Tous les détails sur:</p><p><a class="moz-txt-link-freetext" href="https://adalog.fr/fr/formation_dates.html"><a href="https://adalog.fr/fr/formation_dates.html">https://adalog.fr/fr/formation_dates.html</a></a></p><br><p>Pour plus d'information, merci d'écrire à <a class="moz-txt-link-abbreviated" href="mailto:info@adalog.fr">info@adalog.fr</a>, ou de visiter</p><p><a class="moz-txt-link-freetext" href="https://www.adalog.fr/"><a href="https://www.adalog.fr/">https://www.adalog.fr/</a></a></p></div>
Ada France au salon Open Source Experience 2022
urn:sha256:4f4bf5806cb605682f4f6c0d10c93dd93f2e88a424234894524c0265872b2870
2022-11-10T12:29:00+00:00
2022-11-10T12:29:00+00:00
Stephane Carrez
OpenSourceExperience
POSS
<div class="post-text"><p>Le salon <a href="https://www.opensource-experience.com/">Open Source Experience</a> vient de se terminer. Ces deux jours ont étés fructueux et bien animés par notre équipe de bénévoles. A retenir:</p><ul><li>Pour apprendre Ada en ligne, allez sur le site <a href="https://learn.adacore.com/,">https://learn.adacore.com/,</a></li><li>Vous pourrez ensuite utiliser <a href="https://alire.ada.dev/">Alire</a> pour facilement démarrer votre projet,</li><li>N'oubliez pas de jeter un oeil sur <a href="https://www.adaforge.org/">Ada Forge</a> pour découvrir l'écosystème Ada et ses composants Open Source,</li><li>Et enfin pour avoir de l'aide, n'hésitez pas à joindre les communautés <a href="https://gitter.im/ada-lang/Lobby?source=orgpage">Gitter Ada Lang</a> ou <a href="https://gitter.im/ada-lang/Alire?source=orgpage">Gitter Alire</a>, la communauté Ada se fera un plaisir de vous venir en aide!</li></ul></div>
Ada-France de nouveau présent au salon Open Source Experience
urn:sha256:4e63789806ac34f7d54fccd004a911cbf9fabfd61fc9c9f67205a778c354e003
2022-10-10T13:24:00+00:00
2022-10-10T13:24:00+00:00
Jean-Pierre Rosen
OpenSourceExperience
POSS
<div class="post-text"><img src="https://www.opensource-experience.com/app/uploads/sites/3/2021/03/logo_osxp_aplat-261x250.png.webp" alt="Logo OSE" width="20%"></img><p>Le salon Open Source Experience aura lieu les 08 et 09 novembre, au Palais des Congrès de la porte Maillot à Paris, et Ada-France y aura son stand.</p><p>Venez nous y rencontrer, discuter, essayer Ada...</p><p>Toutes informations sur <a href="https://www.opensource-experience.com/"><a href="https://www.opensource-experience.com/">https://www.opensource-experience.com/</a></a> , y compris pour avoir les badges d'entrée <strong>gratuits</strong>!</p></div>
Nettoyage automatique des données sensibles avec GNAT
urn:sha256:716a70a971f6f0efe3390faca6d9cbf2f88006f6cc8f1ded7cb62210935be136
2022-08-15T16:20:00+00:00
2022-08-15T16:20:00+00:00
Pascal Pignard
gnat
gcc
sécurité
<div class="post-text"><p>Dans le développement de logiciels pour des solutions de cybersécurité, une bonne pratique recommande d'éviter que les données sensibles ne restent accessibles lorsqu'elles ne sont plus nécessaires car elles pourraient être utilisées par un attaquant. Une donnée sensible peut être tout ce que le programmeur définit en tant que tel : clé de chiffrement, donnée non chiffrée, mot de passe, etc.</p><p>GNAT va nous apporter une solution pour effectuer ce nettoyage de façon automatique.</p><p>En savoir plus -&gt; voir plus.</p></div>
Développement Ada sous FreeBSD 13.1
urn:sha256:65a207df484e39f5cc6dbcc5a4059d7770c448aeb98beba9646190df8bef9dac
2022-08-13T15:10:00+00:00
2022-08-13T15:10:00+00:00
Stephane Carrez
GNAT
FreeBSD
ALIRE
<div class="post-text"><p>Le support Ada a été supprimé des <code>ports</code> FreeBSD 13.1 car il était obsolète. En effet, le <code>port</code> <a href="https://www.freshports.org/lang/gcc6-aux/">gcc6-aux</a> a été déclaré obsolète et a expiré le 28 Février 2022. Il n'y a aucune indication sur une solution de remplacement et l'utilisation d'Ada pour FreeBSD est cela reste un défi mais ce n'est pas impossible. Cet article propose un certain nombre d'étapes et de commandes qui m'ont aidé à configurer un nouveau compilateur Ada basé sur <a href="https://gcc.gnu.org">GCC 12</a> sur une nouvelle installation de FreeBSD 13.1.</p></div>
Ada-France de nouveau présent au salon Open Source Experience
urn:sha256:b6a3f1d550866d1de25685cb887134a8b4efb025537fb376f9dccf1dbca3de55
2022-07-15T12:02:00+00:00
2022-07-15T12:02:00+00:00
Jean-Pierre Rosen
OpenSourceExperience
POSS
<div class="post-text"><p style="font-family: &quot;Helvetica Neue&quot;, Helvetica, Arial, sans-serif;">Ada France sera de nouveau présent au village associatif du salon <a href="https://www.opensource-experience.com/">Open Source Experience</a> les 8 et 9 Novembre prochain au Palais des Congrès à Paris. <span style="background-color: initial; font-family: Arial, Helvetica, sans-serif; font-size: 1em;">Vous pouvez être volontaire pour tenir le stand quelques heures, ou simplement venir visiter le salon et nous dire bonjour. </span><span style="background-color: initial; font-family: Arial, Helvetica, sans-serif; font-size: 1em;">Nous communiquerons le numéro du stand dès qu'il nous aura été attribué...</span></p><p style="font-family: &quot;Helvetica Neue&quot;, Helvetica, Arial, sans-serif;">Cet événement est gratuit et vous pouvez obtenir votre badge d'accès sur le site <a href="https://www.opensource-experience.com/">Open Source Experience</a>.</p><p style="font-family: &quot;Helvetica Neue&quot;, Helvetica, Arial, sans-serif;">Venez discutez avec nous des dernières évolutions du langage Ada 2022, voir quelques démonstrations et en apprendre un peu plus sur ce langage!</p><p><span style="font-family: &quot;Helvetica Neue&quot;, Helvetica, Arial, sans-serif; background-color: initial; font-size: 1em;">A bientot au salon!</span></p><p><img src="https://uc6adf941c1632bac28b4c0d5b09.previews.dropboxusercontent.com/p/thumb/ABnpP-__cgM-c-0nH-VujMr3bEg4TOFLVi6ef5LOTMvw93WYDTL0K6IQMAWNSA4-DGN5TdTe9JzuUC_cbDK_T7I7cvsY2VTn9ugjqeiZSRdWSqXhF52SYeZ1QDsIVId6gaJM19YnleZYbTqC--a0qxqoJBsfdKmHmXiSAbf5Imr8jY-iw7Hsv2_2e_vN4zaF-39O-yWGP-xLg5lXYJBRRUwZRY7I_jeX6ntLYspW0HAQ3VbSWO2s9X0fm4WxHcaPvcQK2GG777YtR4Nga3sJCPABvgi9MJ7AybbaLsan7YGS8UJTUuUOvXPL6MxrkEDWheHmoS9p9aT3mg0iLT_IKrdhJfCUHqbrVJM2HR7akfnSG613YN1T5ypMTiJV1zAF2KA/p.png"></img></p></div>
King : une nouvelle façon de programmer ?
urn:sha256:106d499451ef12e3c4c8dd57499478910ce77a3358f4403763bd09e8fac3c03c
2022-07-15T09:17:00+00:00
2022-07-15T09:17:00+00:00
Pascal Pignard
Ada
King
Language
Programmation
<div class="post-text"><p>King est le nom d'un nouveau langage de programmation qui fait rare n'est pas dérivé d'un langage basé sur une syntaxe délimitée par des accolades ouvrantes et fermantes ;-) mais proche d'Ada. Il apparaît pour la première fois en octobre 2021 sous la forme d'un manifeste publié sur <a href="http://github.com/jrcarter/King">Github</a>.</p><p>En savoir plus -> voir plus.</p></div>
Le compilateur GNAT est maintenant sur Alire
urn:sha256:dca69f40ce4d6e2ad4cba8df3a5cbfe9d456d8c57d06967ddeaec366d1f17680
2022-07-04T19:22:00+00:00
2022-07-04T19:22:00+00:00
Pascal Pignard
GNAT
ALIRE
<div class="post-text"><p><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: -webkit-standard; font-size: medium;">Cette année pas de publication par </span><a style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-weight: 400;"></a><a href="https://www.adacore.com/community">AdaCore</a><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: -webkit-standard; font-size: medium;"> de l'environnement de développement pour Ada : GNAT Community Edition. Cela concerne l'ensemble des plateformes et non plus seulement macOS comme l'année dernière. Cependant ces publications ont été reprises sur </span><a style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-weight: 400;"></a><a href="https://alire.ada.dev/">Alire</a><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: -webkit-standard; font-size: medium;"> à partir des sources FSF pour le compilateur GNAT.</span><br></p><p><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: -webkit-standard; font-size: medium;">Le détail des opérations d'installation -> voir plus.</span></p></div>
Programme des formations Adalog, 2ème semestre 2022
urn:sha256:7e6b219cea8c542bdb8d207876626dc2936e8144aa277fe5d7eeb117d34594a3
2022-06-24T14:22:31+00:00
2022-06-24T14:22:31+00:00
Jean-Pierre Rosen
<div class="post-text"><pre class="moz-quote-pre" wrap="">Adalog a le plaisir d'annoncer son programme de formations pour le 2eme semestre 2022. Ces formations ont lieu en présentiel, dans le strict
respect des règles sanitaires (présentes ou à venir). Noter que le nombre de stagiaire est limité à 5, sauf nouvelles mesures dans le futur.
Ada cours complet:
du 21 au 23 et du 28 au 30 septembre 2022
du 12 au 14 et du 19 au 21 décembre 2022
Ada 2005 et 2012
du 05 au 07 octobre 2022
Tous les détails sur:
<a class="moz-txt-link-freetext" href="https://adalog.fr/fr/formation_dates.html"><a href="https://adalog.fr/fr/formation_dates.html">https://adalog.fr/fr/formation_dates.html</a></a>
Pour plus d'information, merci d'écrire à <a class="moz-txt-link-abbreviated" href="mailto:info@adalog.fr">info@adalog.fr</a>, ou de visiter
<a class="moz-txt-link-freetext" href="https://www.adalog.fr/"><a href="https://www.adalog.fr/">https://www.adalog.fr/</a></a>
</pre></div>
Convocation Assemblée Générale Ada-France 2022
urn:sha256:532fb4f4e196b16893eb02a065a35dfa9d495e6d723b1fb48720f1e3a0ed0c6f
2022-06-22T20:05:00+00:00
2022-06-22T20:05:00+00:00
Stephane Carrez
Assemblée
<div class="post-text"><p>L'Assemblée Générale d'Ada-France aura lieu le jeudi 30 Juin 2022 à 18h dans les locaux d'Adalog au 2 rue du Docteur Lombard 92130 Issy Les Moulineaux et aussi par vision conférence.</p></div>