Recent Posts

• Advent of Code 2021 [PL Edition]
  by bor0on 12/10/2021, 1:41:13 PM with 0 comments
• Chess
  by bor0on 10/5/2021, 1:02:45 PM with 0 comments
• Reflections on Anxiety
  by bor0on 8/8/2021, 11:32:25 AM with 0 comments
• Re-Inventing the Monad Wheel
  by bor0on 6/7/2021, 2:41:58 PM with 0 comments
• Algorithmic Puzzle: Continuous Increasing Subsequences
  by bor0on 4/9/2021, 11:35:12 AM with 1 comment
• Capturing Number Theory in Haskell
  by bor0on 4/5/2021, 3:17:26 PM with 0 comments
• Towards Hoare logic for a small imperative language in Haskell
  by bor0on 1/18/2021, 2:00:23 PM with 0 comments
• Haskell Memoization and Evaluation Model
  by bor0on 12/11/2020, 2:03:11 PM with 0 comments
• Proof: One Sunday every 7 days
  by bor0on 10/17/2020, 5:02:20 PM with 0 comments
• A simple Constraint Programming implementation
  by bor0on 8/22/2020, 11:26:27 AM with 0 comments
• Superliminal Game Overview
  by bor0on 8/21/2020, 10:10:34 AM with 0 comments
• Proofs and Computation with Trees
  by bor0on 6/20/2020, 12:13:20 PM with 0 comments
• Deriving a Quine in a Lisp
  by bor0on 4/24/2020, 4:50:52 PM with 0 comments
• Equational Reasoning in Racket
  by bor0on 4/10/2020, 4:40:00 PM with 0 comments
• Encoding probability and random variables in Racket
  by bor0on 4/5/2020, 5:42:09 PM with 0 comments
• Stay Home
  by bor0on 3/14/2020, 2:53:47 PM with 0 comments
• Introduction and Formalization of Boolean Algebra
  by bor0on 1/31/2020, 5:17:59 PM with 0 comments
• GEB: An EGB Overview (Part I)
  by bor0on 12/30/2019, 4:31:23 PM with 0 comments
• Idea: News Diversity
  by bor0on 11/18/2019, 11:13:50 AM with 0 comments
• Formalizing Expresiveness of Line Editors
  by bor0on 11/9/2019, 5:51:48 PM with 0 comments
• Proving Groupoids with Idris
  by bor0on 11/6/2019, 1:34:39 PM with 0 comments
• Freedom of Creativity
  by bor0on 10/19/2019, 11:12:30 AM with 0 comments
• Tuply Singleton v3 (With Proof)
  by bor0on 10/11/2019, 6:36:25 PM with 0 comments
• Tuply Singleton v2
  by bor0on 10/9/2019, 2:04:33 PM with 0 comments
• Tuply Singleton
  by bor0on 10/6/2019, 6:13:15 PM with 0 comments
• One plus one equals two
  by bor0on 9/20/2019, 9:49:20 AM with 0 comments
• Meet Them All
  by bor0on 9/15/2019, 12:20:13 PM with 0 comments
• Abstraction and Generalization of Objects
  by bor0on 8/8/2019, 12:11:59 PM with 0 comments
• Generalized Average
  by bor0on 8/6/2019, 8:14:42 AM with 0 comments
• Arithmetic on Algebraic Data Types
  by bor0on 7/30/2019, 4:10:15 PM with 0 comments
• Brief Introduction to ML with Gradient Descent
  by bor0on 7/10/2019, 9:43:06 PM with 0 comments
• Customer-Driven Engineering
  by bor0on 6/10/2019, 8:45:37 AM with 0 comments
• Lambda Calculus with Generalized Abstraction
  by bor0on 6/3/2019, 11:07:36 PM with 0 comments
• Writing a lambda calculus type-checker in Haskell
  by bor0on 3/21/2019, 4:09:05 PM with 0 comments
• Writing a lambda calculus evaluator in Haskell
  by bor0on 3/19/2019, 1:34:35 PM with 0 comments
• Writing a simple evaluator and type-checker in Haskell
  by bor0on 3/15/2019, 2:00:56 PM with 7 comments