Surely I Am Joking

programming, languages, and clearing of some myths

Menu Skip to content
  • Home

Month: March 2012

March 22, 2012March 15, 2018 Yin Wang

A reformulation of reducibility

March 19, 2012January 22, 2016 Yin Wang

ADTs and objects

March 5, 2012January 22, 2016 Yin Wang

A bug in GHC’s type system

March 4, 2012January 22, 2016 Yin Wang

On point-free programming

March 2012
S M T W T F S
« Jan   Apr »
 123
45678910
11121314151617
18192021222324
25262728293031

Recent Posts

  • There is no human-level computer vision
  • Why self-driving cars are not going to happen
  • Some observations about Tesla’s Autopilot
  • Three famous quotes
  • Programs may not be proofs

Archives

  • October 2019
  • March 2016
  • January 2016
  • February 2014
  • January 2014
  • December 2013
  • November 2013
  • October 2013
  • July 2013
  • June 2013
  • April 2013
  • March 2013
  • October 2012
  • April 2012
  • March 2012
  • January 2012
  • September 2011
  • August 2011
  • May 2011
  • April 2011
  • September 2010
  • May 2010
Create a free website or blog at WordPress.com.
Privacy & Cookies: This site uses cookies. By continuing to use this website, you agree to their use.
To find out more, including how to control cookies, see here: Cookie Policy