user: bor0
167 karma | created 10 years ago
recent submissions
3 years ago|discuss
3 years ago|discuss
4 years ago|discuss
1 pts|4 years ago|discuss
Advent of Code 2021 [PL Edition]
(bor0.wordpress.com)
1 pts|4 years ago|discuss
Reflections on Anxiety
(bor0.wordpress.com)
1 pts|4 years ago|discuss
Re-Inventing the Monad Wheel
(bor0.wordpress.com)
1 pts|4 years ago|discuss
Algorithmic Puzzle: Continuous Increasing Subsequences
(bor0.wordpress.com)
1 pts|4 years ago|1 comment
Capturing Number Theory in Haskell
(bor0.wordpress.com)
3 pts|4 years ago|discuss
5 years ago|discuss
Towards Hoare logic for a small imperative language in Haskell
(bor0.wordpress.com)
3 pts|5 years ago|discuss
5 years ago|discuss
Haskell Memoization and Evaluation Model
(bor0.wordpress.com)
3 pts|5 years ago|discuss
Proof: One Sunday every 7 days
(bor0.wordpress.com)
3 pts|5 years ago|discuss
A simple Constraint Programming implementation
(bor0.wordpress.com)
2 pts|5 years ago|discuss
Superliminal Game Overview
(bor0.wordpress.com)
1 pts|5 years ago|discuss
5 years ago|discuss
Proofs and Computation with Trees
(bor0.wordpress.com)
2 pts|5 years ago|discuss
5 years ago|discuss