FStar
An ML-like language aimed at program verification
Amazon will start displaying 3rd party seller names and addresses on its US site
2020-07-09
A collection of Israeli startup landscapes 2020
2020-07-09
Ask HN: What's Facebook's Geogatedproject?
2020-07-09
Why Don't Musk's Starlink and Bezos' Project Kuiper Join Forces
2020-07-09
Ask HN: What forums do startup aspiring women([non-]technical) regularly visit?
2020-07-09
Ask HN: How to Measure a Teams' Performance?
2020-07-09
Police surveilled protests with help from Twitter-affiliated startup Dataminr
2020-07-09
Ask HN: Does Google use Gmail content to influence YouTube recommendations?
2020-07-09
Five reasons to start releasing your software for ARM64
2020-07-09
Ask HN: As an experienced dev how can I find iOS/macOS projects/teams to join
2020-07-09
