HN
Hacker News
Top
New
Best
Ask
Show
Jobs
joshmarlow
878 karma · joined July 22, 2014
Developer of backends, lover of types.
submissions
comments
Why3: Where Programs Meet Provers
why3.lri.fr
·
9 pts
·
joshmarlow
·
0
Show HN: Build gql apps using tests
massiveinference.com
·
2 pts
·
joshmarlow
·
1
Ask HN: How to find a tech-savy business co-founder?
6 pts
·
joshmarlow
·
5