Hacker News
- Higher-order Shell http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Higher-order_shell/ 13 comments
- Haskell Symposium program chair report by Chung-chieh Shan http://conway.rutgers.edu/~ccshan/wiki/blog/posts/haskell2013/ 10 comments haskell
- Why not covariant generics? http://conway.rutgers.edu/~ccshan/wiki/blog/posts/unsoundness/ 57 comments programming
- A solution to the expression problem: the extensible visitor pattern [ccshan] http://conway.rutgers.edu/~ccshan/wiki/blog/posts/extensiblevisitor/ 7 comments haskell
- Implementing circularity using metaprogramming http://conway.rutgers.edu/~ccshan/wiki/blog/posts/circularity/ 8 comments haskell
- If the integers from 1 to 999,999,999 are written as words, sorted alphabetically, and concatenated, what is the 51 billionth letter? http://conway.rutgers.edu/~ccshan/wiki/blog/posts/wordnumbers1/? 92 comments programming
- If the integers from 1 to 999,999,999 are written as words, sorted alphabetically, and concatenated, what is the 51 billionth letter? http://conway.rutgers.edu/~ccshan/wiki/blog/posts/wordnumbers1/ 15 comments haskell
- The pointed-set monad http://conway.rutgers.edu/~ccshan/wiki/blog/posts/pointed_set/ 3 comments haskell
- An elegant Haskell solution to the "bowling balls" problem http://conway.rutgers.edu/~ccshan/wiki/blog/posts/bowling_balls/? 13 comments programming
- Higher-order shell with Perl http://conway.rutgers.edu/~ccshan/wiki/blog/posts/higher-order_shell/ 11 comments programming
- Embedding modal logic in predicate logic http://conway.rutgers.edu/~ccshan/wiki/blog/posts/administrivia/ 5 comments math
- Monad transformers http://conway.rutgers.edu/~ccshan/wiki/blog/posts/monad_transformers/ 7 comments programming
- Hamming's problem: or why hofs, sections, comprehensions and pattern matching are good http://conway.rutgers.edu/~ccshan/wiki/blog/posts/hamming/ 12 comments programming
- Forming web continuations, or asking several questions at once http://conway.rutgers.edu/~ccshan/wiki/blog/posts/multipleq/ 4 comments programming
- Word numbers: Part 4: Sort the words, sum the numbers http://conway.rutgers.edu/~ccshan/wiki/blog/posts/wordnumbers4/ 11 comments programming
- Total stream processors and quantification over infinite number of infinite streams http://conway.rutgers.edu/~ccshan/wiki/blog/posts/streampeval/ 5 comments programming
- Exhaustive search over infinite binary trees http://conway.rutgers.edu/~ccshan/wiki/blog/posts/exhaustive/ 3 comments programming
- Solving the "word numbers" problem in Haskell: part 3 http://conway.rutgers.edu/~ccshan/wiki/blog/posts/wordnumbers3/ 3 comments programming
- The Twisted History of Monad Transformers http://conway.rutgers.edu/~ccshan/wiki/blog/posts/monad_transformers.html 2 comments programming
Lambda the Ultimate
- Differentiating regions http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Differentiation/ 4 comments Fun , Functional , Type Theory