FStar
An ML-like language aimed at program verification
Learn Vue JavaScript
2020-09-11
Needgap: Problems for Startups to Solve
2020-09-11
'Avengers' and 'Game of Thrones' Star Diana Rigg Dead at 82
2020-09-11
Microsoft releases Surface Duo kernel source: developers, start your engines
2020-09-11
Ask HN: How are online communities established?
2020-09-11
Ask HN: Why are live programming environments not more popular?
2020-09-10
Ask HN: Automation for Home-Brewing Beer?
2020-09-10
In a collapsed tourism economy, a crumbling motel is abandoned to its tenants
2020-09-10
India startups flounder as tensions with China rise
2020-09-10
Systematic Ideation for Startups and Venture Theses
2020-09-10
