News for hackers. Stuff that matters.

A comment on My unusual hobby. Parent comment

Re:My unusual hobby by kmill on Sunday November 26, 2017 @01:44AM (#15779738)
For the benefit of people without specific knowledge of people at MIT: Adam is Adam Chlipala http://adam.chlipala.net/
[ Parent | on HN ]

There are no comments on this comment yet.