FStar
An ML-like language aimed at program verification
We bootstrapped our startup from $400 to $2,750 MRR in 135 days without ads
2020-08-03
Government accountability, the ICT sector, and tech startups
2020-08-03
Northern Virginia’s first self-driving shuttle starts testing on Fairfax streets
2020-07-30
Emails detail Amazon’s plan to crush a startup rival with price cuts
2020-07-30
Ask HN: What do you focus on when you start a new job?
2020-07-30
Starting a Business Around GPT-3 Is a Bad Idea
2020-07-30
Ask HN: Co-founder title, when an early employee asks for it, what do you do?
2020-07-30
Ask HN: Who is your role model for Entrepreneur?
2020-07-30
Show HN: Bigroom.video – better video social events
2020-07-30
Ask HN: Why does my monitor flicker when it shows a certain static pattern?
2020-07-30
