Proper Treatment 正當作法/ blog/ English posts
2008-08-17 19:19

Here is a full list of English posts to my blog.

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 Hamming

2008-01-05 07:11 Takahashi

2008-01-05 07:11 Beyond amsmath

2008-01-05 07:11 The the

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 Fortune cookies

2007-09-29 21:51 Exhaustive

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 WalkZip2

2007-08-01 09:19 Last message

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 Paper titles

2007-06-15 10:49 Growing a language

2007-06-15 10:49 Productive analogies

2007-06-15 10:49 Best question

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 My commute

2007-05-04 01:48 There goes

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 Daylight savings time

2007-02-27 01:37 Monad transformers

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