FStar
An ML-like language aimed at program verification
Starlink registers India subsidiary, aims to deploy 200K terminals by 2022
2021-11-01
Ask HN: Do your teams start sprints on the same day?
2021-11-01
Trump SPAC Had a Head Start
2021-11-01
Ask HN: Is ESP / Expressif dominating new IoT projects?
2021-11-01
Boston Dynamics Robots Imitate Rolling Stones Performing 'Start Me Up'
2021-11-01
How to Find Work in DAOs?
2021-11-01
Mezli raises $3M to build more robot restaurants
2021-11-01
Starlink exits beta, but SpaceX says orders are delayed due to chip shortage
2021-11-01
Western Digital to Ship 20TB OptiNAND HDDs in November
2021-11-01
HomePod mini is available in bold new colors starting today
2021-11-01
