Hacker News
- Writing a simple evaluator and type-checker in Haskell https://bor0.wordpress.com/2019/03/15/writing-a-simple-evaluator-and-type-checker-in-haskell/ 9 comments
- Correctness on iterative and recursive processes https://bor0.wordpress.com/2017/05/24/correctness-on-iterative-and-recursive-processes/ 3 comments
- The developer experience of tackling PHP internals https://bor0.wordpress.com/2023/11/05/the-developer-experience-of-tackling-php-internals/ 3 comments php
- Algorithmic puzzle: Continuous Increasing Subsequences https://bor0.wordpress.com/2021/04/09/algorithmic-puzzle-continuous-increasing-subsequences/ 2 comments haskell
- Performant implementation of pagination on Cartesian products https://bor0.wordpress.com/2021/03/30/performant-implementation-of-pagination-on-cartesian-products/ 20 comments programming
- Haskell memoization and evaluation model https://bor0.wordpress.com/2020/12/11/haskell-memoization-and-evaluation-model/ 7 comments haskell
- A simple Constraint Programming implementation https://bor0.wordpress.com/2020/08/22/a-simple-constraint-programming-implementation/ 2 comments lisp
- Equational reasoning in Racket https://bor0.wordpress.com/2020/04/10/equational-reasoning-in-racket/ 3 comments racket
- Arithmetic on Algebraic Data Types https://bor0.wordpress.com/2019/07/30/arithmetic-on-algebraic-data-types/ 8 comments haskell
- Dependently Typed Lambda Calculus in Haskell https://bor0.wordpress.com/2018/12/05/dependently-typed-lambda-calculus-in-haskell/ 12 comments haskell
- Proving Monoids with Idris https://bor0.wordpress.com/2018/11/06/proving-monoids-with-idris/ 3 comments idris
- Proving Monoids with Idris https://bor0.wordpress.com/2018/11/06/proving-monoids-with-idris/ 5 comments haskell
- Lambda calculus implementation in Scheme https://bor0.wordpress.com/2018/09/17/lambda-calculus-implementation-in-scheme/ 5 comments scheme
- Simple theorem prover in Racket https://bor0.wordpress.com/2018/08/07/simple-theorem-prover-in-racket/ 5 comments math
- Proving length of mapped and filtered lists in Idris https://bor0.wordpress.com/2018/08/22/proving-length-of-mapped-and-filtered-lists-in-idris/ 2 comments idris