Hacker News
- Compiling a Lazy Language in 1,000 words http://jozefg.bitbucket.org/posts/2015-05-19-compiling.html 6 comments
- A Tiny Compiler for a Typed Higher-Order Language http://jozefg.bitbucket.org/posts/2015-03-24-pcf.html 15 comments
- An Explanation of Type Inference for ML/Haskell http://jozefg.bitbucket.org/posts/2015-02-28-type-inference.html 12 comments
- Leaving Go http://jozefg.bitbucket.org/posts/2013-08-23-leaving-go.html 214 comments
- Please Don't Learn Category Theory (2013) http://jozefg.bitbucket.org/posts/2013-10-14-please-dont-learn-cat-theory.html 79 comments
Lobsters
- Compiling a Lazy Language in 1,000 words http://jozefg.bitbucket.org/posts/2015-05-19-compiling.html 2 comments compilers , haskell
- SML for Haskellers http://jozefg.bitbucket.org/posts/2015-04-24-sml-for-haskellers.html 8 comments haskell , ml
- Treating Programs like Vending Machines - Notes on Coinduction http://jozefg.bitbucket.org/posts/2014-12-19-bisim.html 3 comments compsci , haskell
- Bidirectional Type Checkers for λ→ and λΠ http://jozefg.bitbucket.org/posts/2014-11-22-bidir.html 8 comments compsci , haskell
- Introduction to Dependent Types: Haskell on Steroids http://jozefg.bitbucket.org/posts/2014-08-25-dep-types-part-1.html 7 comments compsci , haskell
- C&C - Teaching Python with a Raspberry Pi http://jozefg.bitbucket.org/posts/2014-06-23-teaching-with-minecraft.html 9 comments compsci
- Getting Proper Tail Calls Out of C http://jozefg.bitbucket.org/posts/2014-05-05-i-used-c-correctly.html 4 comments c
- SML for Haskellers http://jozefg.bitbucket.org/posts/2015-04-24-sml-for-haskellers.html 9 comments haskell
- Type is not in Type http://jozefg.bitbucket.org/posts/2015-08-26-type-in-type.html 13 comments haskell
- Examining Hackage: pipes http://jozefg.bitbucket.org/posts/2015-06-01-pipes.html 18 comments haskell
- A Crash Course on ML Modules http://jozefg.bitbucket.org/posts/2015-01-08-modules.html 4 comments ocaml
- A Tiny Compiler in Haskell For A Typed Higher Order Language http://jozefg.bitbucket.org/posts/2015-03-24-pcf.html 11 comments haskell
- Observations about -XStaticPointers http://jozefg.bitbucket.org/posts/2015-01-27-modal-logic-in-haskell.html 5 comments haskell
- Examining Hackage: folds http://jozefg.bitbucket.org/posts/2014-12-27-folds.html 6 comments haskell
- Examining Hackage: operational http://jozefg.bitbucket.org/posts/2014-12-25-operational.html 12 comments haskell
- Treating Programs like Vending Machines - Notes on Coinduction http://jozefg.bitbucket.org/posts/2014-12-19-bisim.html 22 comments haskell
- The Guts of a Spineless Machine that powers Haskell compiler GHC http://jozefg.bitbucket.org/posts/2014-10-28-stg.html 5 comments programming
- The Guts of a Spineless Machine http://jozefg.bitbucket.org/posts/2014-10-28-stg.html 11 comments haskell
- Introduction to Dependent Types: Haskell on Steroids http://jozefg.bitbucket.org/posts/2014-08-25-dep-types-part-1.html 18 comments haskell
- Haskell: Please Don't Learn Category Theory http://jozefg.bitbucket.org/posts/2013-10-14-please-dont-learn-cat-theory.html 69 comments programming
- C&C - A Tutorial on Church Representations http://jozefg.bitbucket.org/posts/2014-07-19-church-tutorial.html 10 comments haskell
- Overview of A Scheme Compiler http://jozefg.bitbucket.org/posts/2014-06-07-c-of-scheme.html 3 comments scheme
- Grokking recursion-scheme: Part 1 http://jozefg.bitbucket.org/posts/2014-05-19-like-recursion-but-cooler.html 5 comments haskell
- Getting Proper Tail Calls Out of C http://jozefg.bitbucket.org/posts/2014-05-05-i-used-c-correctly.html 7 comments programming
- C&C - Leaving Go http://jozefg.bitbucket.org/posts/2013-08-23-leaving-go.html 335 comments programming
- Bargain Priced Coroutines (Code & Co.) http://jozefg.bitbucket.org/posts/2014-04-08-bargain-coroutines.html 6 comments haskell
- Continuations and Exceptions http://jozefg.bitbucket.org/posts/2014-04-14-either-and-conts.html 4 comments haskell
- Types and Kinds and Sorts, Oh My! http://jozefg.bitbucket.org/posts/2014-02-10-types-kinds-and-sorts.html 23 comments haskell
- Leaving Go (a short Go critique) http://jozefg.bitbucket.org/posts/2013-08-23-leaving-go.html 53 comments golang
- Fixpoints and Iso-recursive Types http://jozefg.bitbucket.org/posts/2013-11-09-iso-recursive-types.html 3 comments haskell