FStar
An ML-like language aimed at program verification
Ask HN: Favorite purchases of last two years?
2021-05-20
Show HN: Instantly generate code for your Django/Node starter app, ORM and APIs
2021-05-20
Salesforce outage: Global DNS downfall started by engineer trying a quick fix
2021-05-20
Ford unveils the F-150 Lightning, its all-electric pickup truck
2021-05-20
That Salesforce outage: Global DNS downfall started by one engineer’s quick fix
2021-05-20
Ford F-150 Starting Under $40k; also act as home battery
2021-05-20
FemtoStar: Taking Aim for the Stars
2021-05-19
Ask HN: Tips on transitioning to starting a business from being a hacker
2021-05-19
Being Startup Employee Number One
2021-05-19
Getting started with Fable (F#) and Node.js (2020)
2021-05-19
