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