FStar
An ML-like language aimed at program verification
Microsoft is sponsoring fsharp tooling improvements
2019-03-27
How to use science fiction to help your company succeed
2019-03-26
Apple Keynote Hints HBO, Showtime, & Starz Not Discounted on Apple TV Channels
2019-03-26
McDonald's Acquires Machine-Learning Startup Dynamic Yield for $300M
2019-03-26
How to Build Your Startup Without Hiring a Single Person
2019-03-26
Why Your Deep-Learning-Tools-for-Enterprises Startup Will Fail
2019-03-26
Getting Started with Vim: The Basics – Opensource.com
2019-03-26
Above Us Only Stars: Exposing GPS Spoofing in Russia and Syria
2019-03-26
UPS partners with drone startup Matternet for medical sample deliveries
2019-03-26
Visualising Simple Datasets in F# (2018)
2019-03-26
