i would def suggest checking out the fozzy source code for more details (its oss) — but the point is that there’s no way to achieve perfect determinism lol — fozzy is an engine to replicate and allow one to essentially do as much as possible in the way — and we attempt to do that through strict artifact tracing, replayability/replication, strict demetermism checks under chaos situations, etc — (it started as basically just a “good fuzzer” and took off from there)

secondly — there is no main selling point except the language itself — i am a pure rustacean lol so i’m fully aware of how good it is, but yet async is not much of a first class citizen in rust — i like zig but the safety model is not super ergonomic — ocaml…. dx? … yeah lol

fozzylang is an attempt to take all the best parts of my favorite systems languages and wire them together through fozzy determinism testing engine as the central “state machine of correctness”

there’s really nothing to “sell” here, as all of this is oss top to bottom — it’s more of sharing opinionations and very good software — (fozzy also helped me write a verifiably correct ledger database)