FStar
An ML-like language aimed at program verification
Why 2018 is the beginning of the end for Mobile Apps
2019-05-08
PHTML – A Tool for Transforming HTML with JavaScript
2019-05-08
Intel tells clients CPU shortages will start easing in June, say sources
2019-05-08
Mautic (open source marketing automation) acquired by Acquia
2019-05-08
DeallocationChecker: Find leaking view controllers without opening Instruments
2019-05-08
Startups Can Automate Customer Feedback
2019-05-08
VW ID.3 electric hatchback starting at less than €30k and up to 550 km range
2019-05-08
Show HN: Map of Polish Composers
2019-05-08
The Star Wars Saga: Introducing Machete Order (2011)
2019-05-08
If you’re starting a new project, you should write it in Kotlin
2019-05-07
