| user: | bor0 |
| created: | May 11, 2015 |
| karma: | 167 |
| about: | my blog: https://bor0.wordpress.com author of: https://leanpub.com/gidti and https://leanpub.com/gibl |
| 1. | |
| 2. | Advent of Code 2021 [PL Edition](bor0.wordpress.com) |
| 3. | Chess(bor0.wordpress.com) |
| 4. | Reflections on Anxiety(bor0.wordpress.com) |
| 5. | Re-Inventing the Monad Wheel(bor0.wordpress.com) |
| 6. | Algorithmic Puzzle: Continuous Increasing Subsequences(bor0.wordpress.com) |
| 7. | Capturing Number Theory in Haskell(bor0.wordpress.com) |
| 8. | Towards Hoare logic for a small imperative language in Haskell(bor0.wordpress.com) |
| 9. | Haskell Memoization and Evaluation Model(bor0.wordpress.com) |
| 10. | Proof: One Sunday every 7 days(bor0.wordpress.com) |
| 11. | A simple Constraint Programming implementation(bor0.wordpress.com) |
| 12. | Superliminal Game Overview(bor0.wordpress.com) |
| 13. | Proofs and Computation with Trees(bor0.wordpress.com) |
| 14. | Deriving a Quine in a Lisp(bor0.wordpress.com) |
| 15. | Equational Reasoning in Racket(bor0.wordpress.com) |
| 16. | Encoding probability and random variables in Racket(bor0.wordpress.com) |
| 17. | Stay Home(bor0.wordpress.com) |