Y Hacker News new | ask | show | jobs

user: bor0 created: 2015-05-11 karma: 167 my blog: https://bor0.wordpress.com author of: https://leanpub.com/gidti and https://leanpub.com/gibl submissions: 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Re-Inventing the Monad Wheel 1 points | 0 comments Algorithmic Puzzle: Continuous Increasing Subsequences 1 points | 1 comments Capturing Number Theory in Haskell 3 points | 0 comments 0 points | 0 comments Towards Hoare logic for a small imperative language in Haskell 3 points | 0 comments 0 points | 0 comments Haskell Memoization and Evaluation Model 3 points | 0 comments Proof: One Sunday every 7 days 3 points | 0 comments A simple Constraint Programming implementation 2 points | 0 comments Superliminal Game Overview 1 points | 0 comments 0 points | 0 comments Proofs and Computation with Trees 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Deriving a Quine in a Lisp 1 points | 0 comments Equational Reasoning in Racket 3 points | 0 comments 0 points | 0 comments Encoding probability and random variables in Racket 3 points | 0 comments 0 points | 0 comments 0 points | 0 comments Stay Home 1 points | 0 comments 0 points | 0 comments