Re: Site d'ada core

Retourner au contenu associé (journal : la rouille et la comtesse)

[^] # Re: Site d'ada core

Posté par Blackknight (site web personnel, Mastodon) le 20 novembre 2021 à 10:28. En réponse au journal la rouille et la comtesse. Évalué à 3. Dernière modification le 20 novembre 2021 à 10:28.
Bizarre, y a tout plein de liens en bas de cette page-là dont le Reference Manual et le manuel utilisateur.

Après, il y a quelques entrées de blog chez Adacore qui sont intéressantes.
Il y a, par complexité croissante :
- Le passage d'Ada à Spark sur un objet simple, une pile
- la réimplémentation d'un code Rust en Spark qui colle bien au sujet du journal
- Une implémentation prouvée de TweetNaCl