Was the eating of chocolate coins factored in? I think you can consider the reduction of chocolate coins due to consumption as theta . My initial assumption would be that there would be increased theta dependent on proximity to dinner.
Plus you could factor in gamma as the rate of change of the value of those coins as gummy bears are within proximity.
Just sayin' if you wanted to be real technical....
Conversely, in an age before TV or Internet, the longer the game could keep kids occupied the better, no?
We might even imagine that anthropologically given the role of keeping kids occupied there were other games that were more fun but of a shorter duration which died out because parents instead pushed for teaching their kids the cultural equivalent of Monopoly.
Kids will typically play dreidel once in their life and then refuse to play it again "it's boring".
Instead the fun part is trick shots - spin it upside down, longest spin, start the spin high in the air and throw it still spinning, how many can you keep spinning simultaneously, spin a dreidel into the other player's dreidel. Things like that.
I dunno if I'd agree. If you asked a group of kids to play "see who can find the first prime greater than 2^201" then, per your criteria, that sounds great on paper but the kids will promptly discover the game sucks worse than massaging grandma's feet, quit playing, and never believe your game recommendations again. On the other hand, if a game is short but fun then it's likely it'll be played more than a single time per sitting on top of still be played in future sittings. The only key additional filter I can think of that is the game needs to not be so repetitive it is only fun the first time you play it.
After that it doesn't much matter if it takes 5 minutes and you play 10 times of 50 minutes and you play once - it just matters you had enough fun to entice you to keep playing instead of trying to find something else to do. How much fun that requires likely varies greatly by era though.
My head-cannon for Dreidel was that it invented by very bored people waiting out a siege during the Maccabean Revolt. That would explain the length of the game.
Apparently it’s not nearly that old.
I think I can do that with having an action for each player that passes if they don't have any money. The tricky bit is implementing the ante logic to only add n-1 coins to the pot, but I have an idea on how to hardcode that. After that it's "just" a matter of generating it all with another program.
This is also what I did when I used PRISM for my thesis. Honestly also not the greatest experience, but I think it does show that the limitations of the PRISM language are not inherent to the problem domain.
I love this, and have similar feelings about PRISM. I hope recent work to add probabilistic properties to TLA+ and P provide a route towards doing this kind of work with languages that are easier to use.
While this example is a bit silly, the ability to check properties like availability, latency, etc alongside the traditional liveness and safety properties is super useful for distributed systems work.
>So why bother with all this when the Python would be like ten lines?
Why not just write the Python to write this? Seems like you could add things like functions and generalizations to your meta-programming language and generate simple PRISM.
Home rules adjustment to make a game of Dreidel conclude in a reasonable amount of time: The ante increases by one each time the spin returns to the starting player. Getting a Shin and adding to the pot matches the current ante.
Adopted this from poker tournament's increasing blinds.
I'll likely start diving into probabilistic formal methods in a few months and this seems like a good place to ask: How does Storm [1] compare to PRISM?
It looks like a promising alternative and the academic pedigree seems top-notch, but I would like to know more from anyone with hands-on experience with it.
Hi lou, I'm a contributor to Storm and will continue to work on it in my upcoming PhD position. The bottom line is that there are some things you can only do in PRISM and there are more things you can only do in Storm, but if you can do it in both, Storm is usually much faster (see QComp: https://qcomp.org/).
PRISM has better documentation. Storm has recently recieved a grant that will help improve its user interface and applicabilty.
I would like to hear from you what ideas and applications you have for using PMC! :)
Thank you for the reply and congratulations on the PhD position! I am still not 100% sure about the specifics but my new team focuses on cyber-physical systems and whatnot, so probabilistic modelling and analysis techniques will likely play a big part. I will definitely try pinging you and the other Storm devs when things become clearer :)
Also, I'm really glad to hear there's an interest in UX, I feel it's a weak spot of many otherwise excellent formal tools out there.
Readit News
Plus you could factor in gamma as the rate of change of the value of those coins as gummy bears are within proximity.
Just sayin' if you wanted to be real technical....
We might even imagine that anthropologically given the role of keeping kids occupied there were other games that were more fun but of a shorter duration which died out because parents instead pushed for teaching their kids the cultural equivalent of Monopoly.
Instead the fun part is trick shots - spin it upside down, longest spin, start the spin high in the air and throw it still spinning, how many can you keep spinning simultaneously, spin a dreidel into the other player's dreidel. Things like that.
After that it doesn't much matter if it takes 5 minutes and you play 10 times of 50 minutes and you play once - it just matters you had enough fun to entice you to keep playing instead of trying to find something else to do. How much fun that requires likely varies greatly by era though.
You're correct there's no intrinsic motivation, which is why the game has extrinsic motivators.
https://en.wikipedia.org/wiki/Teetotum
https://bowilliams.com/2007/03/you-have-won-second-prize-in-...
Deleted Comment
While this example is a bit silly, the ability to check properties like availability, latency, etc alongside the traditional liveness and safety properties is super useful for distributed systems work.
:)
... that being said, as someone who only has a passing knowledge of the Dreidel the article held my interest
Why not just write the Python to write this? Seems like you could add things like functions and generalizations to your meta-programming language and generate simple PRISM.
Adopted this from poker tournament's increasing blinds.
It looks like a promising alternative and the academic pedigree seems top-notch, but I would like to know more from anyone with hands-on experience with it.
[1] https://www.stormchecker.org
Also, I'm really glad to hear there's an interest in UX, I feel it's a weak spot of many otherwise excellent formal tools out there.