FStar
An ML-like language aimed at program verification
ACloudGuru Acquired by Pluralsight for $2B
2021-06-03
Ask HN: Are Electron apps stickier than Web apps?
2021-06-03
Germany readies subsidies for satellite internet providers such as Starlink
2021-06-03
Raspberry Pi 4 OpenBSD based home computer/gaming console
2021-06-02
Who Are the Starseeds?
2021-06-02
Ask HN: If you were starting your career today what would you do to get rich?
2021-06-02
Starting late 2021, advertising ID to be removed if user opts out in Android 12
2021-06-02
SpaceX ramps up Raptor production as Starship rocket will have 32 engines
2021-06-02
Any industry that still has unions has potential energy startups could release
2021-06-02
A Monkey in the Monetary System
2021-06-01
