user: bor0

167 karma | created 10 years ago

my blog: https://bor0.wordpress.com author of: https://leanpub.com/gidti and https://leanpub.com/gibl

recent submissions

(no title)

3 years ago|discuss

(no title)

3 years ago|discuss

(no title)

4 years ago|discuss

(no title)

1 pts|4 years ago|discuss

Advent of Code 2021 [PL Edition] (bor0.wordpress.com)

1 pts|4 years ago|discuss

Chess (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

(no title)

5 years ago|discuss

3 pts|5 years ago|discuss

(no title)

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

(no title)

5 years ago|discuss

Proofs and Computation with Trees (bor0.wordpress.com)

2 pts|5 years ago|discuss

(no title)

5 years ago|discuss