Hacker News
- Formally Modeling Dreidel, the Sequel https://buttondown.com/hillelwayne/archive/formally-modeling-dreidel-the-sequel/ 10 comments
Lobsters
- Formally modeling dreidel, the sequel https://buttondown.com/hillelwayne/archive/formally-modeling-dreidel-the-sequel/ 4 comments formalmethods , math
- Formally modeling dreidel, the sequel https://buttondown.com/hillelwayne/archive/formally-modeling-dreidel-the-sequel/ 0 comments technology
Linked pages
- PRISM - Probabilistic Symbolic Model Checker http://www.prismmodelchecker.org/ 1 comment
- Day 11 – Counting up concurrency – Raku Advent Calendar https://raku-advent.blog/2024/12/11/day-11-counting-up-concurrency/ 1 comment
- Hillel Wayne https://www.hillelwayne.com/ 0 comments
- Logic for Programmers by Hillel Wayne [Leanpub PDF/iPad/Kindle] https://leanpub.com/logic/ 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:buttondown.com
Search title: Formally modeling dreidel, the sequel • Buttondown
See how to search.