FStar
An ML-like language aimed at program verification
Scientists Should Start Companies
2021-07-26
Ask HN: I was diluted out of a $4B IPO. Can I do anything about it?
2021-07-26
Ask HN: Building an internal developer platform for larger companies
2021-07-26
I'll review your app or game for free -App Developer
2021-07-26
Indie Story: Why I Started My Own Bootstrapped Business
2021-07-26
Show HN: 2500 Illustrations Design for Startups
2021-07-26
Ask HN: How far can OSS development bounties go?
2021-07-26
Fastly Launches Highly-Secure Serverless JavaScript with Zero Cold Starts
2021-07-26
Bruce Perens – Building a 'billion dollar' startup with Crystal and Lucky
2021-07-26
Ask HN: Pandemic Predictions and Surprises a Year On
2021-07-26
