home.social
Sign in Create account

#creusot — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #creusot, aggregated by home.social.

  1. Ⓥ Gregory Trolliet Ⓐ🔻 🇵🇸 @[email protected] ·

    [Veille 📣] Audioblog - #244 La vie ouvrière du Creusot au XIXe
    audioblog.arteradio.com/blog/9

    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 : links.vulgarisons.info/shaare/
    Toute ma veille est disponible ici : links.vulgarisons.info/
    #industrie #Creusot #mine #métallurgie #révolutionIndustrielle #veilleAudio #Mayday #radio
    #links #veille

    #industrie #creusot #mine #metallurgie #revolutionindustrielle #veilleaudio
  2. framboise314 @[email protected] ·

    📍 #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

    #fablabutopi #raptor #foireducreusot #makers #fablab #creusot
  3. Jan :rust: :ferris: @[email protected] ·

    F* (fstar) Interactive Tutorial:

    fstar-lang.org/tutorial/

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

    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:
    github.com/AeneasVerif/aeneas

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

    1/2

    #FormalVerification #FunctionalProgramming #RustLang

    #aeneas #rust #creusot #kani #formalverification #functionalprogramming
  4. Jan :rust: :ferris: @[email protected] ·

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

    github.com/creusot-rs/creusot/

    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

    #formalverification #creusot #csvdiff
  5. Jan :rust: :ferris: @[email protected] ·

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

    github.com/creusot-rs/creusot/

    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. :boost_love:

    Thank you! ❤️

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

    #creusot #formalverification #idontknowwhatiamdoing #help #fedihelp #followerpower
  6. Jan :rust: :ferris: @[email protected] ·

    creuSAT - A formally verified #SAT solver written in #Rust and verified with #Creusot.

    github.com/sarsko/CreuSAT

    Mindblowing! 🤯

    #FormalVerification #RustLang

    #sat #rust #creusot #formalverification #rustlang
  7. Jan :rust: :ferris: @[email protected] ·

    Nice, I think I've found a (for me) suitable workaround for the above problem 👆 :awesome:

    => github.com/creusot-rs/creusot/

    The "trick" is to use conditional compilation with `cfg` and `cfg_attr`, so we don't derive or use `Debug` when in context of Creusot.

    See the above linked comment on how to do this exactly.

    More on `cfg`, `cfg_attr` and conditional compilation in the #Rust reference:

    doc.rust-lang.org/reference/co

    #RustLang #Creusot #Bug #Workaround

    #rust #rustlang #creusot #bug #workaround
  8. Jan :rust: :ferris: @[email protected] ·

    Seems like I'm living on the bleeding edge of formal verification in #Rust!

    Ouch! 😢 ⚔️ 🩸

    => github.com/creusot-rs/creusot/

    #Creusot #RustLang #ICE #Bug

    #rust #creusot #rustlang #ice #bug
  9. Athenenoctua @[email protected] ·

    #PhotoJanuary2025
    Jour 13 : artificiel

    Non vous n'avez pas été drogués à l'insu de votre plein gré : cette allée du parc de la Verrerie au #creusot arbore une #couleur tout ce qu'il y a de plus artificiel dans le cadre de jeux d'été 🪅
    Ou comment voir la vie en rose alors qu'on est en train de vider l'appartement maternel 😬

    Septembre 2023

    #photography #saonetloire

    #photojanuary2025 #creusot #couleur #photography #saonetloire
  10. framboise314 @[email protected] ·

    Une pensée pour un écrivain et poète qui a toujours vécu au #Creusot
    . Un homme simple et abordable qu'on croisait en ville et avec qui on pouvait discuter.
    Merci Monsieur Bobin...
    😟

    #creusot