Hacker News new | past | comments | ask | show | jobs | submit | aptidude187's submissions login

1. What Makes Emacs Different and Unique (2016) (emacsos.com) 1 point by aptidude187 on Dec 17, 2019 | past 2. Why type-first development matters (tomasp.net) 4 points by aptidude187 on April 29, 2019 | past 3. When is one thing equal to some other thing? (2007) [pdf] (math.harvard.edu) 34 points by aptidude187 on April 28, 2019 | past | 2 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: