Puisque dans le bassin minier toute la com' se fait sur Facebook, j'en profite pour partager une partie de l'agenda :

Cette semaine c'est Faites des jeux à #montceaulesmines : https://www.montceaulesmines.fr/agenda/faites-des-jeux-2025

C'est la journée d'Halloween à #Montchanin : https://www.creusotmontceautourisme.fr/offres/halloween-montchanin-fr-5994719/

Aujourd'hui à #saintvallier on a un spectacle pour les enfants à 10h et à 15h, il reste des places sur la billetterie : https://www.creusotmontceautourisme.fr/offres/la-dompteuse-de-bulles-saint-vallier-fr-6027156/

Demain au #Creusot il y a un escape game sur la protection des données numériques : https://www.creusotmontceautourisme.fr/offres/escape-game-protege-tes-donnees-le-creusot-fr-6055617/

(notez le superbe bouton "obtenir le flux RSS de l'agenda" qui existe depuis que j'ai râlé )

#saoneetloire #agenda

🤩La ministre des Sports, Marie Barsacq, a salué l’action de l’Ufolep dans une vidéo diffusée lors de l’AG nationale Ufolep qui se déroulait au #Creusot les 26 et 27 avril derniers !

A découvrir dans la revue Enjeu Ufolep de mai 2025 n°66 👉 https://www.ufolep.org/?titre=ag-du-creusot--la-ministre-des-sports-salue-l-action-de-l-ufolep&mode=actualites&rubrique=0&id=168438

F* (fstar) Interactive Tutorial:

https://fstar-lang.org/tutorial/

I'm only like 10% into the tutorial, but this language is CRAZY (fun)!  😄

I try to learn the fundamentals of it, so I can use the backend of it in #Aeneas... so I can ultimately formally verify my #Rust crate (former attempts with #Creusot and #Kani failed for me).

Aeneas:
https://github.com/AeneasVerif/aeneas

See part two of toot for a toy example of proving function equivalence

1/2

#FormalVerification #FunctionalProgramming #RustLang

🚀 Le 26 avril, on construit l'avenir du sport UFOLEP au Creusot ! 🔥🏅

Santé & bien-être au cœur de l'AG Nationale : 3 ateliers interactifs sur santé globale, santé mentale et bien-être en club 💡

✨ Signatures majeures avec la MGEN et la CNAM 🤝 Rejoignez-nous pour un sport plus inclusif, éducatif et engagé ! 🎯 #ÉducationParLeSport #AGUfolep #SportPourToutes #Ufolep #EngagementAssociatif #Creusot #SaôneEtLoire

👉 https://tinyurl.com/2zxnzw97

🎉 Quatro au Creusot ! 🌟
À l’AG nationale UFOLEP, renouvellement de la signature du partenariat avec QUATRO, marque phare en équipements pour la gym artistique & trampoline 🤸‍♀️
👕 Justaucorps durables, designs performants : un style affirmé au service de toutes et tous.

📍 RDV les 26-27 avril au Creusot pour célébrer ce duo gagnant !

Plus d’infos sur : https://www.ufolep.org/?titre=assemblee-generale-ufolep-2025-au-creusot&mode=evenements&id=166290

#Ufolep #AGUfolep #SportPourToutes #ÉducationParLeSport #Creusot #saoneetloire #CNSGYM

Hm...I'm running into a timeout with #Creusot when trying to verify a simple `add` operation on a HashMap newtype 🤔

https://github.com/creusot-rs/creusot/discussions/1477

Does anyone have any idea what's going on here?

Disclaimer: I'm totally new to creusot and #FormalVerification, so please be gentle with me.😊

Boosts very much appreciated.  

Thank you! ❤️

#IDontKnowWhatIamDoing #Help #FediHelp #FollowerPower #Rust #RustLang #Proof #Timeout