FStar
An ML-like language aimed at program verification
I’m Peter Roberts, immigration attorney who does work for YC and startups. AMA
2020-07-24
Advice to myself when starting out as a software developer
2020-07-24
Show HN: We built a trivia game. Let's start a live game for HN now
2020-07-23
Why some self-driving startups reject Google’s “moonshot” approach
2020-07-23
Ask HN: Learning about Distributed Systems
2020-07-23
In a rare bipartisan vote, Congress sends billions to the national parks
2020-07-23
A startup advantage over large companies
2020-07-23
Newsletter about Startup Funding
2020-07-23
Using Turbolinks with the SAFE web stack
2020-07-23
Silicon Valley has deep pockets for African startups – if you’re not African
2020-07-23
