FStar
An ML-like language aimed at program verification
Airport retailer OTG will use Amazon’s cashierless technology starting next week
2020-03-11
Start9 Personal Server
2020-03-11
Biggest latam scooter startup Grow to be bought for $1 by Mountain Nazca fund
2020-03-11
Fast-Growing Remote Startups
2020-03-11
Autonomous Vehicles Should Start Small, Go Slow
2020-03-11
Launch HN: DeepSource (YC W20) – Find and fix issues during code reviews
2020-03-11
Ask HN: How does your company train and evaluate their developers?
2020-03-11
Madagascar’s mysterious, lemur-eating cats started as ship stowaways
2020-03-11
The Early History of F# – Don Syme – HOPL IV: History of Programming Languages [pdf]
2020-03-11
How to Start Working with swift-format
2020-03-11
