armchair_progamer@programming.dev to Formal Methods@programming.dev • 9 months agoI formally modeled Dreidel for no good reasonexternal-linkmessage-square1 fedilinkarrow-up110file-text
arrow-up110external-linkI formally modeled Dreidel for no good reasonarmchair_progamer@programming.dev to Formal Methods@programming.dev • 9 months agomessage-square1 Commentsfedilinkfile-text
minus-squareExperimentalGuy@programming.devhexbear1·9 months agoIve 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. linkfedilink
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.