Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
The next 700 tiny web-based text editors (typesafety.net)
2 points by adityaathalye on May 16, 2024 | past
Does anybody know what "API" means? (Sorta no, but it's okay) (typesafety.net)
1 point by robsimmons on April 15, 2024 | past
C0: Specification and Verification in Introductory Computer Science (typesafety.net)
1 point by jhbjhjhj on Sept 22, 2016 | past

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

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

Search: