FStar
An ML-like language aimed at program verification
Scaleway to EOL their ARMv7 (C1) instances
2021-05-18
Shaping Design Work (With Star)
2021-05-17
TikTok Started with a Tech Guy from China Who Decoded America’s Teens
2021-05-17
Ask HN: Engineering Manager with No Work
2021-05-17
'Life and Death' for Patients: Startups Fill LGBTQ Wellness Gap
2021-05-17
How to Measure ROI on Data Discovery
2021-05-17
SpaceX launched 52 more Starlink satellites to orbit on Saturday
2021-05-17
Ask HN: Interested in buying a SaaS business at – $20000. Where do I search?
2021-05-17
Ask HN: How to get started with audio programming?
2021-05-17
Ask HN: Tech recruiters and hiring managers, how accurate is this resume advice?
2021-05-17
