Lien Vérification formelle en SPARK au FOSDEM 2023 Posté par Blackknight (site web personnel, Mastodon) le 16 février 2023 à 10:51. Étiquettes : ada preuves 4 16fév.2023 https://fosdem.org/2023/schedule/event/open_source_formal_verification/
Lien A défaut d'une devroom, il y aura un stand Ada au FOSDEM Posté par Blackknight (site web personnel, Mastodon) le 03 février 2023 à 09:03. Étiquettes : ada fosdem 8 3fév.2023 https://forum.ada-lang.io/t/ada-stand-at-fosdem-2023/318
Lien Ada dans l'industrie du semi-conducteur Posté par Blackknight (site web personnel, Mastodon) le 07 octobre 2022 à 09:41. Étiquettes : ada industrie 5 7oct.2022 https://www.adacore.com/uploads/techPapers/222362-adacore-itec-nexperia-case-study-v4.pdf
Lien Exploitation in the era of formal verification - a peek at a new frontier Posté par Blackknight (site web personnel, Mastodon) le 25 août 2022 à 09:39. Étiquettes : ada spark nvidia 4 25août2022 https://media.defcon.org/DEF%20CON%2030/DEF%20CON%2030%20presentations/Adam%20Zabrocki%20%20%20Alex%20Tereshkin%20-%20Exploitation%20in%20the%20era%20of%20formal%20verification%20a%20peek%20at%20a%20new%20frontier%20with%20AdaCore-SPARK.pdf
Lien Re-implémentation de TweetNaCl en Spark Posté par Blackknight (site web personnel, Mastodon) le 05 janvier 2022 à 22:02. Étiquettes : ada spark preuves cryptographie fiabilité 2 5jan.2022 https://blog.adacore.com/sparknacl-two-years-of-optimizing-crypto-code-in-spark-and-counting
Lien Une session de découverte d'Ada (part I) Posté par Blackknight (site web personnel, Mastodon) le 12 juin 2021 à 14:46. Étiquettes : ada développement 11 12juin2021 https://www.youtube.com/watch?v=ljeYMzDThMY
Lien Une session de découverte Ada Posté par Blackknight (site web personnel, Mastodon) le 12 juin 2021 à 14:42. Étiquettes : ada développement 5 12juin2021 https://www.youtube.com/watch?v=-wbMVnkCgOk
Lien Chaine Peertube sur Ada Posté par Blackknight (site web personnel, Mastodon) le 12 juin 2021 à 14:41. Étiquettes : ada programmation développement 5 12juin2021 https://peertube.social/video-channels/ada_presentations/videos
Lien Un grep contextuel en Ada Posté par Blackknight (site web personnel, Mastodon) le 31 mai 2021 à 09:50. Étiquettes : grep ada 4 31mai2021 https://github.com/pyjarrett/septum
Lien Meetup Ada de mai 2020 Posté par Blackknight (site web personnel, Mastodon) le 17 octobre 2020 à 11:51. Étiquettes : ada vidéo_conférence 3 17oct.2020 https://peertube.social/videos/watch/playlist/bce29323-ab5b-4fe0-af08-36acd8769753
Lien Un nouveau site pour apprendre Ada Posté par Blackknight (site web personnel, Mastodon) le 07 août 2018 à 14:50. Étiquettes : ada tutoriel 11 7août2018 https://learn.adacore.com/