FStar
An ML-like language aimed at program verification
Launch HN: Runway (YC W21) – Easier iOS and Android app releases for teams
2021-06-08
Getting started in product management? Any recommended books?
2021-06-08
We Built and Sold a Startup
2021-06-07
Show HN: Policing the Police with Scraped Data – Started on Reddit/HN
2021-06-07
Why do all browsers' user agents start with “Mozilla/”?
2021-06-07
Ask HN: Should I take a salary for my pre-revenue startup?
2021-06-07
Woman in Motion tells story of how Star Trek’s Uhura changed NASA forever
2021-06-07
IodéOS now runs on Android 11 (LineageOS 18.1)
2021-06-07
Launch HN: Quadrant Eye (YC W21) – Tackling online eye exams and at-home eyecare
2021-06-07
Show HN: InstaNote – notes in a simple chat interface
2021-06-07
