1Shapecatcher: Handwritten unicode character recognition (opens in new tab)(shapecatcher.com)1namarkiv10y ago0
2Types for an Untyped World: Bracha vs. Felleisen [video] (opens in new tab)(youtube.com)57namarkiv10y ago9
7To Dissect a Mockingbird: Lambda Calculus with Animated Reduction (1996) (opens in new tab)(cs.virginia.edu)2namarkiv12y ago0
8Free Software Foundation Endorses Its First Laptop (opens in new tab)(phoronix.com)2namarkiv12y ago0
