corpus.blog
56,966 blogs · [ { "id": "01a08763-b1d0-736a-a6ff-584273f286eb", "title": "Babel-17", "url": "http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Babel-17/", "published_at": "2026-01-01T07:11:17+00:00" }, { "id": "01a08763-b1d0-736a-a6ff-584274679ed4", "title": "Very far away from anywhere else", "url": "http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Very_far_away_from_anywhere_else/", "published_at": "2016-11-10T06:11:11+00:00" }, { "id": "01a08763-b1d0-736a-a6ff-584274ec3826", "title": "Double blind", "url": "http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Double_blind/", "published_at": "2015-04-20T21:01:55+00:00" }, { "id": "01a08763-b1d1-7239-a1a8-7992e6b94b27", "title": "Derailing", "url": "http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Derailing/", "published_at": "2014-09-18T17:33:16+00:00" }, { "id": "01a08763-b1d1-7239-a1a8-7992e781bb45", "title": "A challenge for a better community", "url": "http://conway.rutgers.edu/~ccshan/wiki/blog/posts/lambda4ada/", "published_at": "2014-09-16T16:09:11+00:00" }, { "id": "01a08763-b1d1-7239-a1a8-7992e7bb7f1d", "title": "Haskell Symposium program chair report", "url": "http://conway.rutgers.edu/~ccshan/wiki/blog/posts/haskell2013/", "published_at": "2013-09-26T05:06:00+00:00" }, { "id": "01a08763-b1d1-7239-a1a8-7992e7cddea4", "title": "Borderline, just semantics", "url": "http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Borderline/", "published_at": "2012-11-29T02:48:28+00:00" }, { "id": "01a08763-b1d1-7239-a1a8-7992e865a6d4", "title": "Why not covariant generics?", "url": "http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Unsoundness/", "published_at": "2011-10-11T02:56:01+00:00" }, { "id": "01a08763-b1d1-7239-a1a8-7992e8a5b93a", "title": "Goodbye Rutgers", "url": "http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Goodbye_Rutgers/", "published_at": "2011-09-01T06:09:06+00:00" }, { "id": "01a08763-b1d1-7239-a1a8-7992e8b6bc79", "title": "TPDC 2011", "url": "http://conway.rutgers.edu/~ccshan/wiki/blog/posts/TPDC_2011/", "published_at": "2011-06-05T23:57:49+00:00" }, { "id": "01a08763-b1d1-7239-a1a8-7992e8c85ae7", "title": "Train go sorry", "url": "http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Train_go_sorry/", "published_at": "2011-05-25T17:17:04+00:00" }, { "id": "01a08763-b1d1-7239-a1a8-7992e92cd65d", "title": "Art meets science", "url": "http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Art_meets_science/", "published_at": "2011-02-02T23:26:31+00:00" }, { "id": "01a08763-b1d1-7239-a1a8-7992e9a51520", "title": "The extensible visitor pattern in tagless final style", "url": "http://conway.rutgers.edu/~ccshan/wiki/blog/posts/ExtensibleVisitor/", "published_at": "2011-01-15T22:01:15+00:00" }, { "id": "01a08763-b1d1-7239-a1a8-7992eaa1d886", "title": "Pollution and taboo are a cultural discipline for enforcing realms of abstraction", "url": "http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Cach%C3%A9/", "published_at": "2010-12-30T07:16:54+00:00" }, { "id": "01a08763-b1d1-7239-a1a8-7992eb766fab", "title": "Actual New York City traffic rules", "url": "http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Traffic_rules/", "published_at": "2010-12-30T05:34:18+00:00" }, { "id": "01a08763-b1d1-7239-a1a8-7992ebeddd95", "title": "OCaml types", "url": "http://conway.rutgers.edu/~ccshan/wiki/blog/posts/OCaml_types/", "published_at": "2010-12-19T06:35:21+00:00" }, { "id": "01a08763-b1d1-7239-a1a8-7992ec84df15", "title": "Really understanding effects", "url": "http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Really_understanding_effects/", "published_at": "2010-12-19T06:35:21+00:00" }, { "id": "01a08763-b1d1-7239-a1a8-7992ecc93c6b", "title": "指數成長歌 The descriptive complexity of songs", "url": "http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Exponential_song/", "published_at": "2010-12-19T05:29:50+00:00" }, { "id": "01a08763-b1d1-7239-a1a8-7992ed6679cd", "title": "Dependent equality", "url": "http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Dependent_equality/", "published_at": "2010-09-19T04:22:44+00:00" }, { "id": "01a08763-b1d1-7239-a1a8-7992ed871305", "title": "Grub default", "url": "http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Grub_default/", "published_at": "2010-06-21T16:40:37+00:00" } ] posts Claim your blog
Back to conway.rutgers.edu
Blog · corpus.blog/blogs/conway.rutgers.edu/posts

conway.rutgers.edu

conway.rutgers.edu

2026

Babel-17original ↗
1 Jan 2026

2016

Very far away from anywhere elseoriginal ↗
10 Nov 2016

2015

Double blindoriginal ↗
20 Apr 2015

2014

Derailingoriginal ↗
18 Sept 2014
A challenge for a better communityoriginal ↗
16 Sept 2014

2013

Haskell Symposium program chair reportoriginal ↗
26 Sept 2013

2012

Borderline, just semanticsoriginal ↗
29 Nov 2012

2011

Why not covariant generics?original ↗
11 Oct 2011
Goodbye Rutgersoriginal ↗
1 Sept 2011
TPDC 2011original ↗
5 Jun 2011
Train go sorryoriginal ↗
25 May 2011
Art meets scienceoriginal ↗
2 Feb 2011
The extensible visitor pattern in tagless final styleoriginal ↗
15 Jan 2011

2010

Pollution and taboo are a cultural discipline for enforcing realms of abstractionoriginal ↗
30 Dec 2010
Actual New York City traffic rulesoriginal ↗
30 Dec 2010
OCaml typesoriginal ↗
19 Dec 2010
Really understanding effectsoriginal ↗
19 Dec 2010
指數成長歌 The descriptive complexity of songsoriginal ↗
19 Dec 2010
Dependent equalityoriginal ↗
19 Sept 2010
Grub defaultoriginal ↗
21 Jun 2010