FStar
An ML-like language aimed at program verification
Show HN: The 1.0 of my Slack app – Visual Office
2020-05-22
Netflix will start cancelling inactive members' subscriptions
2020-05-22
Distill for R Markdown – Scientific and technical writing, native to the web
2020-05-22
Ask HN: Looking to partner up with someone for my export business
2020-05-22
Netflix to start cancelling inactive customers’ subscriptions
2020-05-22
Start-up Coder touts benefits of cloud-based dev environments
2020-05-22
Startup turns 19k under-utilised gaming cafes into ML servers during COVID-19
2020-05-22
Career switcher looking for advice (UK)
2020-05-22
Ask Ethan: Have We Finally Found Evidence for a Parallel Universe?
2020-05-22
Rocket NASA’s stunning Falcon 9 bargain, Ariane 6 delayed
2020-05-22
