Hacker Newsnew | past | comments | ask | show | jobs | submit | imode's submissionslogin
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

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

Search: