Hacker News new | comments | show | ask | jobs | submit login

I think it might be this paper:


The reference to Lamping being 'autodidactical' is at the top of the second column.

>"Girard is a logician and Lamping is an autodidactic engineer"

Ouch! I can't believe that went to print.

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact