HN Explorer

bor0

↗ HN profile [ 87.5 ms ] full profile
Karma
167
Created
May 11, 2015 (11y ago)
Submissions
0
my blog: https://bor0.wordpress.com author of: https://leanpub.com/gidti and https://leanpub.com/gibl
  1. 1 points 0
  2. Advent of Code 2021 [PL Edition] (bor0.wordpress.com)
    1 points 0
  3. Chess (bor0.wordpress.com)
    1 points 0
  4. Reflections on Anxiety (bor0.wordpress.com)
    1 points 0
  5. Re-Inventing the Monad Wheel (bor0.wordpress.com)
    1 points 0
  6. Algorithmic Puzzle: Continuous Increasing Subsequences (bor0.wordpress.com)
    1 points 1
  7. Capturing Number Theory in Haskell (bor0.wordpress.com)
    3 points 0
  8. Towards Hoare logic for a small imperative language in Haskell (bor0.wordpress.com)
    3 points 0
  9. Haskell Memoization and Evaluation Model (bor0.wordpress.com)
    3 points 0
  10. Proof: One Sunday every 7 days (bor0.wordpress.com)
    3 points 0
  11. A simple Constraint Programming implementation (bor0.wordpress.com)
    2 points 0
  12. Superliminal Game Overview (bor0.wordpress.com)
    1 points 0
  13. Proofs and Computation with Trees (bor0.wordpress.com)
    2 points 0
  14. Deriving a Quine in a Lisp (bor0.wordpress.com)
    1 points 0
  15. Equational Reasoning in Racket (bor0.wordpress.com)
    3 points 0
  16. Encoding probability and random variables in Racket (bor0.wordpress.com)
    3 points 0
  17. Stay Home (bor0.wordpress.com)
    1 points 0
  18. Introduction and Formalization of Boolean Algebra (bor0.wordpress.com)
    1 points 0
  19. GEB: An EGB Overview (Part I) (bor0.wordpress.com)
    1 points 0
  20. Idea: News Diversity (bor0.wordpress.com)
    1 points 0
  21. Formalizing Expresiveness of Line Editors (bor0.wordpress.com)
    1 points 0
  22. Proving Groupoids with Idris (bor0.wordpress.com)
    2 points 0
  23. Freedom of Creativity (bor0.wordpress.com)
    1 points 0
  24. Tuply Singleton v3 (With Proof) (bor0.wordpress.com)
    1 points 0
  25. Tuply Singleton v2 (bor0.wordpress.com)
    1 points 0