FStar
An ML-like language aimed at program verification
This week my startup launched a demo version of our virtual networking app
2020-05-05
A new Android System crash
2020-05-04
As we start to get used to lockdown, will the transition out be worse?
2020-05-04
Ask HN: When will we have a centralised podcasting platform?
2020-05-04
SpaceX's Starship became NASA's ace in the hole to get to the moon by 2024
2020-05-04
Fed says it will start buying corporate bond ETFs in early May
2020-05-04
A Software Development Company Can Be Your Startup’s Best Friend
2020-05-04
Recommendations for startup friendly fintech lawyers?
2020-05-04
Why do URLs start with www?
2020-05-04
Drama in iRacing as IndyCar champ wrecks F1 star on purpose
2020-05-04
