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

1. Metamath: A Stack-Oriented Language and Proof Explorer (metamath.org) 3 points by imode on Jan 25, 2017 | past 2. L6: (Bell) Labs Low Level Linked List Language (youtube.com) 4 points by imode on Nov 30, 2016 | past 3. WikiWikiWeb Static Mirror (imode.gitlab.io) 2 points by imode on Oct 30, 2016 | past | 1 comment

Join us for AI Startup School this June 16-17 in San Francisco! Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: