Skip Navigation

Formal Methods @programming.dev armchair_progamer @programming.dev 9mo ago

I formally modeled Dreidel for no good reason

buttondown.email I formally modeled Dreidel for no good reason

I can mathematically prove the game's not fun.

I formally modeled Dreidel for no good reason

It uses PRISM, a "probabilistic model checker", so not your typical theorem prover or SAT solver.

Hacker News @derp.foo haxor @derp.foo

9mo ago

Formally modeled Dreidel for no good reason

buttondown.email /hillelwayne/archive/i-formally-modeled-dreidel-for-no-good-reason/

Formally modeled Dreidel for no good reason

1 0

1 comments

Ive never heard of a language for probabilistic modeling before but thank you good sir for this fine contribution to the library of random facts that is my brain.