N-gated Hacker NewsMay 28
Creusot is here to save the day by proving your #Rust #code is flawless because, apparently, you can't be trusted to write it correctly in the first place! 😅 It's like having a glorified #spell-checker for developers who think they're programming wizards but still need a safety net. 🧙‍♂️🛡️
https://github.com/creusot-rs/creusot/tree/master #Creusot #Debugging #Developer #SafetyNet #HackerNews #ngated
GitHub - creusot-rs/creusot: Creusot helps you prove your Rust code is correct.

Creusot helps you prove your Rust code is correct. - creusot-rs/creusot

GitHub
Hacker NewsMay 28

Creusot helps you prove your Rust code is correct

https://github.com/creusot-rs/creusot/tree/master

#HackerNews #Creusot #Rust #Proving #Code #Correctness #Software #Development #Open #Source #Programming

GitHub - creusot-rs/creusot: Creusot helps you prove your Rust code is correct.

Creusot helps you prove your Rust code is correct. - creusot-rs/creusot

GitHub
Ⓥ Gregory Trolliet Ⓐ🔻 🇵🇸May 3

[Veille 📣] Audioblog - #244 La vie ouvrière du Creusot au XIXe
https://audioblog.arteradio.com/blog/98875/podcast/270708/244-la-vie-ouvriere-du-creusot-au-xi-xe

Un heure d’histoire de la révolution industrielle à Creusot, entre mine et métallurgie. Ça fourmille d’informations, c’est super bien réalisé.

Lien vers cette entrée dans ma veille : https://links.vulgarisons.info/shaare/EjAAVg
Toute ma veille est disponible ici : https://links.vulgarisons.info/
#industrie #Creusot #mine #métallurgie #révolutionIndustrielle #veilleAudio #Mayday #radio
#links #veille

Audioblog | #244 La vie ouvrière du Creusot au XIXe

Émission du mercredi 11 mars 2026 avec du charbon et un marteau-pilon Le paternalisme industriel au Creusot au XIXème siècle, un entretien avec Jean-Philippe Passaqui par Luigi. Micro-trottoir qui rate, son pris par Luigi, Le Frigo aux ciseaux Un électricien à l'église , enregistré par Luigi et monté par Le Frigo Schneider et Cie, produire des trucs en fer, une histoire racontée par Luigi, avec une intro dialoguée de Namé et des Carnets de voyage de Maupassant. Etendre son territoire, dialogue léger par Namé Du manuel à la mine, un échange instructif par le Frigo What'up la famille, une conversation dans le tél de Luigi La bande noire, renseignement par Namé Musiques November Novelet - Catching the stars Tout Bleu - Techno Sapiens Avec aussi des sons d'Haus Arafna, de Brian Eno, de Ravel et quelques sonorités composées par le Crabe Photo : Moulage d’un lingot d’essai aux aciéries vers 1910. Photo Collection Académie François-Bourdon.

DionyZack 🍉✊🏽♀️🌿Mar 13
↕️ Renverse.co ↕️ La vie ouvrière du Creusot au XIXe siècle / MAYDAY/ podcast: C'est un petit bourg de Saône et Loire assis sur un gisement de charbon devenu ville industrielle au cours du XIXe siècle. On y fond le fer avec la houille dans des hauts… #Creusot #Histoire #Industrie #19eSiècle

La vie ouvrière du Creusot au ...
La vie ouvrière du Creusot au XIXe siècle / MAYDAY/ podcast

C’est un petit bourg de Saône et Loire assis sur un gisement de charbon devenu ville industrielle au cours du XIXe siècle. On y fond le fer avec la houille dans des hauts fourneaux et on y produit d’immenses pièces métalliques dans les ateliers des usines : canons, poutrelles en fonte, rails et locomotives pour aménager l’espace français, moteurs de bateaux, ports de commerce, véhicules blindés et gros canons d’artillerie, tout un tas d’infrastructures, d’objets métalliques et d’armes. A (...)

Renversé
framboise314Aug 15, 2025
📍 #FablabUtopi du Creusot Permanence 14 aout 2025
🔥 Même en plein été, les bénévoles sont sur le pont : Coffre du Pirate 🏴‍☠️, impression 3D, Scan 3D Creality Raptor
#Raptor, retouche d’images… Cap sur la #FoireDuCreusot en septembre 🚀
#makers #fablab #Creusot
Show threadPsyhackologicalMay 20, 2025
@janriemer
> former attempts with #Creusot and #Kani failed for me
How so?
UfolepMay 9, 2025

🤩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

Jan  May 3, 2025

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

F* Tutorial

Show threadJan  May 2, 2025

Huh, seems like I really have been living on the bleeding edge (of #FormalVerification):

https://github.com/creusot-rs/creusot/discussions/1477#discussioncomment-12991148

The verification in the prev toot is currently not possible in #Creusot due to missing specs for the `Hash` trait and HashMap more broadly. 😔

Oh well, seems like (at least currently!) I won't be able to fully verify the diffing algorithm of #CSVDiff.🥺

Options I have now are:
- Only verify parts of the algorithm (that don't depend on HashMap ops)
or
- Use fuzzing/property testing

UfolepApr 26, 2025

🚀 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

UFOLEPAssemblée générale Ufolep 2025 au Creusot

L'Assemblée générale nationale 2025 de l’UFOLEP aura lieu les 25, 26 et 27 avril prochains au Creusot. Organisée par le comité départemental ...