Vous aimez faire de l'Ada ou vous débutez en Ada ?

Vous cherchez un moyen amusant de vous entraîner ?

Voici quelques liens qui vous permettront de le faire. Ce sont des sites proposant des énigmes simples ou complexes et surtout permettant de fournir une solution en Ada.

• DM::OJ : Site anglophone proposant des énigmes qui vont du simple "hello world" à des puzzles algorithmiques impliquant des connaissances en théorie des graphes.
  
• CodeChef : Site anglophone proposant des concours de code mais avec la possibilité de s'entraîner sur les anciennes compétitions. On peut aussi choisir par niveau
• Sphere Online Judge : Dans le même style que DM::OJ, peut-être plus joli :)

Et voilà

Amusez-vous bien

La société AdaCore vient d'annoncer la disponibilité du compilateur GNAT Community 2021.

Vous pouvez le télécharger sur leur site: https://www.adacore.com/download

Cette nouvelle version est basée sur la version 10.3.1 de GCC, les GNU Binutils 2.33.50 et GDB 10.2.90.

Parmi les nombreuses améliorations et corrections, on notera:

• un support de plusieurs nouvelles fonctionnalités de Ada 2022 (Jorvik real-time tasking profile, filtres d'itérateurs, nombres à précision infinie, @ symbol...)
  
• un compilateur plus strict dans la détection et validation les règles de programmation Ada,
• GNAT Studio a une intégration avec clangd et permet une meilleure navigation en C/C++, la navigation en Ada est aussi meilleure grâce à une meilleure prise en compte des types dynamiques,
• La librairie Libadalang a beaucoup évoluée avec de nombreuses APIs,
• Le support des pointeurs SPARK prends en compte les dernières notions d'ownership dans la validation.
  

Le compilateur est disponible pour Linux-64 et Windows-64 en natif, ou pour des développements croisés en ARM ou RISC-V.

L'annonce complète: GNAT Community 2021 is here!

L'Assemblée Générale d'Ada-France aura lieu le mercredi 2 Juin 2021 à 18h par vision conférence.

Cette convocation a été envoyée aux membres, mais pour rappel, voici l'ordre du jour:

* Rapport moral
* Rapport financier
* Tarif des cotisations
* Bilan des activités de l'année
* Organisation des activités futures
* Divers

Le mercredi 2 Juin à 18h, rejoignez la conférence vidéo via le lien: https://meet.google.com/qmf-sxvb-sjt

Rappel:
N'attendez pas le 2 Juin pour renouveler votre adhésion à Ada-France et/ou Ada-Europe. Vous ne pourrez pas régler votre cotisation sur place comme les années précédentes. Mais désormais vous pouvez vous inscrire directement sur notre site sur:

https://www.ada-france.org/adafr/adhesion/index.html

La diffusion du Ada User Journal ayant été perturbée par la COVID-19, Ada-Europe a décidé de prolonger la cotisation Ada-Europe 2020 jusqu'au 31 mars 2022.

Le montant des cotisation est donc:

* Pour un nouveau membre Ada-France et Ada-Europe: 65 euros,
* Pour un renouvellement Ada-France et Ada-Europe: 30 euros,
* Adhésion Ada-France seul: 30 euros.

Le paiement n'étant pas encore disponible en ligne, nous vous demandons ensuite de régler votre cotisation soit par virement bancaire soit par chèque.

En adhérant à Ada-Europe, vous recevrez les Ada User Journal et vous permettez à Ada-France de disposer d'une voix supplémentaire lors de la prochaine assemblée générale d'Ada-Europe le mardi 15 Juin 2021 à 18h30.

Le secrétaire.