Here is a full list of English posts to my blog.
2016-11-10 06:11 Very far away from anywhere else
2015-04-20 21:01 Double blind
2014-09-18 17:33 Derailing
2014-09-16 16:09 A challenge for a better community
2013-09-26 05:06 Haskell Symposium program chair report
2012-11-29 02:48 Borderline, just semantics
2011-10-11 02:56 Why not covariant generics?
2011-09-01 06:09 Goodbye Rutgers
2011-06-05 23:57 TPDC 2011
2011-05-25 17:17 Train go sorry
2011-02-02 23:26 Art meets science
2011-01-15 22:01 The extensible visitor pattern in tagless final style
2010-12-30 07:16 Pollution and taboo are a cultural discipline for enforcing realms of abstraction
2010-12-30 05:34 Actual New York City traffic rules
2010-12-19 06:35 OCaml types
2010-12-19 06:35 Really understanding effects
2010-12-19 05:29 指數成長歌 The descriptive complexity of songs
2010-09-19 04:22 Dependent equality
2010-06-21 16:40 Grub default
2010-04-24 02:27 Implementing circularity using metaprogramming
2009-05-16 04:08 NP
2009-03-05 04:27 Historical systematics
2009-02-03 01:21 Frankfurt sculpture
2009-01-12 06:13 With love
2008-12-03 18:02 Pointed set
2008-11-27 16:35 Metalinguistics
2008-11-24 00:35 Bowling balls
2008-11-17 23:06 Airports
2008-11-13 11:48 Exponential
2008-11-05 12:23 Cognitive jobs
2008-10-22 22:09 Murakami2
2008-09-28 05:38 Higher-order shell
2008-07-13 05:03 Shadow cities
2008-07-09 04:26 Differentiation
2008-06-03 03:58 Card comparison
2008-05-20 03:20 Louder and louder
2008-05-17 11:01 Sangre de mi sangre
2008-04-03 00:53 Tidbits 1
2008-03-01 11:46 Strength
2008-02-21 04:31 Continuation fest
2008-02-06 08:26 Your point of view
2008-02-06 05:32 Snappy quotes
2008-02-04 03:41 Administrivia
2008-01-20 04:57 Teaching models
2008-01-17 14:20 Restaurants
2008-01-05 07:11 Beyond amsmath
2008-01-05 07:11 The the
2008-01-05 07:11 Takahashi
2008-01-05 07:11 Hamming
2007-11-25 10:38 Show
2007-11-20 11:48 MultipleQ
2007-11-12 05:39 WordNumbers4
2007-11-11 23:41 See buy fly
2007-11-08 02:54 WalkZip3
2007-10-06 01:44 Quines
2007-10-03 02:48 StreamPEval
2007-09-29 21:51 Exhaustive
2007-09-29 21:51 Fortune cookies
2007-09-19 20:01 WordNumbers3
2007-09-18 17:06 WordNumbers2
2007-09-07 07:15 Long live Big-5
2007-08-17 17:04 Translations
2007-08-01 09:19 Last message
2007-08-01 09:19 WalkZip2
2007-07-27 06:04 Tsai time
2007-07-25 06:11 WalkZip1
2007-07-24 05:59 WordNumbers1
2007-07-14 14:36 Homesickness
2007-06-17 22:54 Helvetica review
2007-06-15 10:49 Best question
2007-06-15 10:49 Growing a language
2007-06-15 10:49 Paper titles
2007-06-15 10:49 Productive analogies
2007-06-11 03:28 Sudoku in SQL
2007-05-31 20:09 Design
2007-05-29 19:06 Biking to Hawthorne
2007-05-04 01:48 There goes
2007-05-04 01:48 My commute
2007-03-21 11:26 RIP Backus and Reinhart
2007-03-17 03:54 Free conference calls
2007-03-11 20:08 Analogies
2007-03-07 20:17 Intuitionistic logic
2007-03-05 22:59 Guatemala City abyss
2007-03-05 22:59 Math alphabet
2007-02-27 01:37 Monad transformers
2007-02-27 01:37 Daylight savings time
2007-02-23 05:32 Think about death
2007-02-21 21:58 Classroom metaphors
2007-02-16 00:35 Beamer and mathdesign
2007-02-08 04:55 Application supported
2007-02-03 09:57 David Signer on Taiwan
2007-02-03 09:57 Use of statistics
2007-02-01 18:18 Crassumerist
2007-01-25 16:53 Write think learn
2007-01-12 10:53 Twin fonts