FStar
An ML-like language aimed at program verification
Ask HN: How to get a SW engineering role during Covid-19
2020-07-29
Launch HN: Humanloop (YC S20) – A platform to annotate, train and deploy NLP
2020-07-29
The Case for Shorting Starbucks
2020-07-29
Show HN: Semantic Versioning of Data Models – Structure.rest
2020-07-29
Investing in venture funds and startups as a family office
2020-07-29
Starship SN5 Survives Hanna, Scrubs Initial Static Fire Attemptsspaceflight.com
2020-07-29
How great journeys start with a side project
2020-07-29
Get Started with Dafny: Language and Program Verifier for Functional Correctness
2020-07-29
The startup data-stack starter pack (2020)
2020-07-29
Ask HN: How to restore Drupal backups on dedicated machine?
2020-07-29
