FStar
An ML-like language aimed at program verification
I left McKinsey to join a startup and how you can make the transition yourself
2021-04-06
Next.js and Contentful starter repo on GitHub
2021-04-06
Ask HN: Why there's no comment section under ads on HN?
2021-04-06
AWS bill capping feature request thread still unanswered after 10 years
2021-04-06
AWS Space Accelerator
2021-04-06
Indian social commerce startup Meesho raises $300M from SoftBank
2021-04-05
Firebase Modular: Why Change?
2021-04-05
Ask HN: Can zero-knowledge proofs be used to verify a user's identity?
2021-04-05
AWS CloudFormation Template Sidesteps Wordpress for a Serverless Ghost CMS
2021-04-05
Script to start Office 365 2016 after Error
2021-04-05
