FStar
An ML-like language aimed at program verification
The Nakazawa Management Starter Pack
2021-03-31
Toucan for Standups, Good Bye Zoom
2021-03-31
Apple backs startup aiming to disrupt music labels
2021-03-31
Ask HN: Which industry would you choose to get domain experise in?
2021-03-31
PwC says start when you like, leave when you like
2021-03-31
Ask HN: Metadata emotionally frames communication, but how do you convey it?
2021-03-31
Lawsuit: Facebook fraudulently bought (and fired) Israeli startup ServiceFriend
2021-03-31
AWS launches Space Accelerator for final-frontier startups
2021-03-31
Hugging Face partners with AWS
2021-03-31
How to start or flip an open access journal: Academic-led publishing primer
2021-03-31
