Viewing profile — jackdaniels4me

jackdaniels4me

HN member

No profile information was provided.

comment
Comment #45506694
Tue, Oct 07, 2025, 6:14 PM UTC
comment
Comment #45504020
This is neat. I've used FizzBee and TLA+ for model checking. Being able to test the implementation would be nice. How is this different from test case generation in TLA+?

Tue, Oct 07, 2025, 3:04 PM UTC
comment
Comment #44724968
Lamport didn't design TLA+ for model checking or for practicing developers to use. He did purely for publishing papers where the researchers express their proofs as math (his new T…

Tue, Jul 29, 2025, 3:58 PM UTC
comment
Comment #42729503
Tried FizzBee? https://fizzbee.io/examples/two_phase_commit_actors/#complet...

Thu, Jan 16, 2025, 7:08 PM UTC
comment
Comment #41448517
This is neat! How does this compare with tools like draw.io or mermaidjs

Wed, Sep 04, 2024, 5:51 PM UTC