| 1. | | Re-Inventing the Monad Wheel (bor0.wordpress.com) |
| 1 point by bor0 on June 7, 2021 | past |
|
| 2. | | Algorithmic Puzzle: Continuous Increasing Subsequences (bor0.wordpress.com) |
| 1 point by bor0 on April 9, 2021 | past | 1 comment |
|
| 3. | | Capturing Number Theory in Haskell (bor0.wordpress.com) |
| 3 points by bor0 on April 5, 2021 | past |
|
| 4. | | Towards Hoare logic for a small imperative language in Haskell (bor0.wordpress.com) |
| 3 points by bor0 on Jan 18, 2021 | past |
|
| 5. | | Haskell Memoization and Evaluation Model (bor0.wordpress.com) |
| 3 points by bor0 on Dec 11, 2020 | past |
|
| 6. | | Proof: One Sunday every 7 days (bor0.wordpress.com) |
| 3 points by bor0 on Oct 17, 2020 | past |
|
| 7. | | A simple Constraint Programming implementation (bor0.wordpress.com) |
| 2 points by bor0 on Aug 22, 2020 | past |
|
| 8. | | Superliminal Game Overview (bor0.wordpress.com) |
| 1 point by bor0 on Aug 21, 2020 | past |
|
| 9. | | Proofs and Computation with Trees (bor0.wordpress.com) |
| 2 points by bor0 on June 20, 2020 | past |
|
| 10. | | Deriving a Quine in a Lisp (bor0.wordpress.com) |
| 1 point by bor0 on April 24, 2020 | past |
|
| 11. | | Equational Reasoning in Racket (bor0.wordpress.com) |
| 3 points by bor0 on April 10, 2020 | past |
|
| 12. | | Encoding probability and random variables in Racket (bor0.wordpress.com) |
| 3 points by bor0 on April 5, 2020 | past |
|
| 13. | | Stay Home (bor0.wordpress.com) |
| 1 point by bor0 on March 14, 2020 | past |
|
| 14. | | Introduction and Formalization of Boolean Algebra (bor0.wordpress.com) |
| 1 point by bor0 on Jan 31, 2020 | past |
|
| 15. | | GEB: An EGB Overview (Part I) (bor0.wordpress.com) |
| 1 point by bor0 on Dec 30, 2019 | past |
|
| 16. | | Idea: News Diversity (bor0.wordpress.com) |
| 1 point by bor0 on Nov 18, 2019 | past |
|
| 17. | | Formalizing Expresiveness of Line Editors (bor0.wordpress.com) |
| 1 point by bor0 on Nov 9, 2019 | past |
|
| 18. | | Proving Groupoids with Idris (bor0.wordpress.com) |
| 2 points by bor0 on Nov 6, 2019 | past |
|
| 19. | | Freedom of Creativity (bor0.wordpress.com) |
| 1 point by bor0 on Oct 19, 2019 | past |
|
| 20. | | Tuply Singleton v3 (With Proof) (bor0.wordpress.com) |
| 1 point by bor0 on Oct 11, 2019 | past |
|
| 21. | | Tuply Singleton v2 (bor0.wordpress.com) |
| 1 point by bor0 on Oct 9, 2019 | past |
|
| 22. | | Tuply Singleton (bor0.wordpress.com) |
| 2 points by bor0 on Oct 6, 2019 | past |
|
| 23. | | One plus one equals two (bor0.wordpress.com) |
| 1 point by bor0 on Sept 20, 2019 | past |
|
| 24. | | Meet Them All (bor0.wordpress.com) |
| 1 point by bor0 on Sept 15, 2019 | past |
|
| 25. | | Abstraction and Generalization of Objects (bor0.wordpress.com) |
| 2 points by bor0 on Aug 8, 2019 | past |
|
| 26. | | Generalized Average (bor0.wordpress.com) |
| 2 points by bor0 on Aug 6, 2019 | past |
|
| 27. | | Arithmetic on Algebraic Data Types (bor0.wordpress.com) |
| 3 points by bor0 on July 30, 2019 | past |
|
| 28. | | Brief Introduction to ML with Gradient Descent (bor0.wordpress.com) |
| 1 point by bor0 on July 10, 2019 | past |
|
| 29. | | Customer-Driven Engineering (bor0.wordpress.com) |
| 3 points by bor0 on June 10, 2019 | past |
|
| 30. | | Lambda Calculus with Generalized Abstraction (bor0.wordpress.com) |
| 1 point by bor0 on June 3, 2019 | past |
|
|
| More |
