Hacker News new | past | comments | ask | show | jobs | submit | from login

Ada's dependent types, and its types as a whole (nytpu.com) 256 points by nytpu 12 days ago | past | 139 comments The Lasso Read-It-Later Service for Gemini Sites (nytpu.com) 1 point by nafnlj on Nov 5, 2022 | past How Git servers work, and how to keep yours secure (nytpu.com) 167 points by danielg0 on March 12, 2021 | past | 50 comments

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