Hacker News new | past | comments | ask | show | jobs | submit | from login
Writing a lambda calculus evaluator in Haskell (bor0.wordpress.com)
2 points by maze-le 3 days ago | past | web | discuss
Writing a lambda calculus type-checker in Haskell (bor0.wordpress.com)
2 points by bor0 3 days ago | past | web | discuss
Writing a lambda calculus evaluator in Haskell (bor0.wordpress.com)
1 point by bor0 5 days ago | past | web | discuss
Writing a simple evaluator and type-checker in Haskell (bor0.wordpress.com)
126 points by bor0 9 days ago | past | web | 9 comments
Self-publishing my first book (bor0.wordpress.com)
2 points by bor0 25 days ago | past | web
CoC Base Terms – Type and Prop (bor0.wordpress.com)
1 point by bor0 31 days ago | past | web
Dependently Typed Lambda Calculus in Haskell (bor0.wordpress.com)
2 points by bor0 3 months ago | past | web
Proving Monoids with Idris (bor0.wordpress.com)
3 points by bor0 4 months ago | past | web
Partial orders in Idris (bor0.wordpress.com)
2 points by bor0 4 months ago | past | web
Mathematical structure of `git-bisect` (bor0.wordpress.com)
1 point by bor0 5 months ago | past | web
Lambda calculus implementation in Scheme (bor0.wordpress.com)
2 points by bor0 6 months ago | past | web
Closed-expression of a sum with proof in Idris (bor0.wordpress.com)
2 points by bor0 6 months ago | past | web
Proving length of mapped and filtered lists in Idris (bor0.wordpress.com)
1 point by bor0 7 months ago | past | web
Simple theorem prover in Racket (bor0.wordpress.com)
2 points by bor0 7 months ago | past | web
Effects of Side effects (bor0.wordpress.com)
3 points by bor0 8 months ago | past | web
Creating our own ‘struct’ macro in Racket (bor0.wordpress.com)
3 points by bor0 8 months ago | past | web
Refactoring using mathematical properties of min (bor0.wordpress.com)
1 point by bor0 9 months ago | past | web | 1 comment
Dafny – programming language for formal specifications (bor0.wordpress.com)
4 points by bor0 10 months ago | past | web
Why Dependent Types matter (bor0.wordpress.com)
1 point by bor0 11 months ago | past | web
Proofs with Idris (bor0.wordpress.com)
4 points by bor0 on Mar 1, 2018 | past | web
Dependent types in typed Racket (bor0.wordpress.com)
1 point by bor0 on Feb 22, 2018 | past | web
Idris, dependent types and IO (bor0.wordpress.com)
2 points by bor0 on Feb 20, 2018 | past | web
Type systems and proofs (bor0.wordpress.com)
1 point by bor0 on Feb 18, 2018 | past | web
Top 3 applications I mostly use (bor0.wordpress.com)
2 points by bor0 on Feb 1, 2018 | past | web
Associativity of Elvis operator (bor0.wordpress.com)
2 points by bor0 on Jan 31, 2018 | past | web
Metamath (bor0.wordpress.com)
4 points by bor0 on Dec 17, 2017 | past | web
Calculus of Constructions (bor0.wordpress.com)
1 point by bor0 on Dec 14, 2017 | past | web
Coq to Haskell (bor0.wordpress.com)
1 point by bor0 on Dec 12, 2017 | past | web
MU puzzle (bor0.wordpress.com)
1 point by bor0 on Dec 7, 2017 | past | web
Intuitionistic logic (bor0.wordpress.com)
1 point by bor0 on Dec 4, 2017 | past | web

Applications are open for YC Summer 2019

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: