FStar
An ML-like language aimed at program verification
Tell HN: Starting a tech blog, pitch your SaaS product to get feature for free
2021-09-28
This May Be the First Planet Found Orbiting 3 Stars at Once
2021-09-28
Getting Started with Kubernetes in 2 Days
2021-09-28
Launch HN: RescueTime (YC W08) – Redesigned for wellness, balance, remote work
2021-09-28
Docker Compose: Portability from the Start
2021-09-28
Multifarm (Swiss based crypto-startup) is hiring Remote CTO (back end+scraping)
2021-09-28
GM’s BrightDrop starts production of its EV600 electric delivery van
2021-09-28
Ask HN: Have you ever spend days unable to do *any* work?
2021-09-28
Ask HN: TensorFlow vs. PyTorch to start a career
2021-09-28
Ask HN: What are some of the most interesting articles that you've read?
2021-09-28
