FStar
An ML-like language aimed at program verification
Show HN: Algomatic – An Artificial Intelligence Trading Platform
2020-09-07
Should AI Be Open? – Slate Star Codex
2020-09-07
The Astronaut who Brought Starcraft into Space (2017)
2020-09-07
Crowdfunding for Startups Guide for 2020
2020-09-07
Ask HN: Advice for a non-programmer writing a proposal for a big software change
2020-09-07
Chinese reusable spacecraft releases unknown object before returning to Earth
2020-09-07
Following Starship SN6's hop, SN7.1 prepares to pop
2020-09-07
Ask HN: Where are the wholesome jobs in IT? (e.g. like Emergency Responders)
2020-09-07
How we bootstrapped our startup to $2,750 MRR in 135 days without ads
2020-09-07
Ask HN: We have the expertise but no clients. How to reach them?
2020-09-07
