News for hackers. Stuff that matters.

richmok

Re:A New Kind of Type System on Tuesday June 18, 2013 @07:26AM (#5898555)
Discussed here on Lambda the Ultimate (http://lambda-the-ultimate.org/node/4764)
Re:Ask HN: I'm lost. Please help on Friday May 17, 2013 @07:54AM (#5723733)
AdamN, am in Nairobi and would love to chat concerning this. You can ping me on email mokua83ke [at] google's email service.