FStar
An ML-like language aimed at program verification
2 months, 8 people, $1000 and here is the result – «This is the startup way»
2020-11-14
Tell HN: Complaining to companies DRM is not useless
2020-11-14
Ask HN: How long should this code challenge take?
2020-11-14
Ask HN: Best online courses for startup founders?
2020-11-14
Ask HN: Using both Linux and macOS, how do you hande the Cmd vs. Ctrl pain?
2020-11-14
Miami Marlins hire first female general manager, Kim Ng
2020-11-14
Learnings from 9 Months at a Startup
2020-11-14
Train a 4096x4096 Neural Network with NectarJS, something you can't with Node.js
2020-11-12
The Soviet girl who fought the Nazis and became a star [video]
2020-11-12
Getting Your Robotics Startup to the Big Leagues
2020-11-12
