Hacker Newsnew | past | comments | ask | show | jobs | submit | joshmarlow's submissionslogin
1.
Why3: Where Programs Meet Provers (lri.fr)
9 points by joshmarlow on Oct 22, 2021 | past
2.
Show HN: Build gql apps using tests (massiveinference.com)
2 points by joshmarlow on Dec 27, 2019 | past | 1 comment
3.
Ask HN: How to find a tech-savy business co-founder?
6 points by joshmarlow on July 16, 2018 | past | 5 comments

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

Search: