Hacker Newsnew | past | comments | ask | show | jobs | submit | chadgpt3's favoriteslogin
1.
Childhood Computing (susam.net)
254 points by blenderob 12 days ago | 126 comments
2.
We used Quint to find over 10 bugs in SQLite while hardening Turso (turso.tech)
40 points by 0xedb 17 days ago

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

Search: