from Hacker News

buff-a

joined 7/7/11, 5:32 AM has 1122 karma

• "patent and/or proprietary intellectual property rights" in Coursera's TOCs

  by buff-a on 2/27/12, 8:36 AM, with 0 comments

• High-Assurance Web Programming with Coq Rock

  by buff-a on 2/15/12, 10:53 AM, with 0 comments