FStar
An ML-like language aimed at program verification
Affordance: Scaling Startups Through Collaboration
2020-09-14
IHP Casts: Get Started Building Web Applications with Haskell and IHP
2020-09-14
SpaceX Readies 12-Mile High Hop Flight for Starship SN8 Mars Rocket Prototype
2020-09-14
Why Nvidia's ARM Acquisition May Start AI Winter
2020-09-14
ARM co-founder starts ‘Save Arm’ campaign to keep independence
2020-09-14
Ask HN: Any good examples of early marketing materials from startups?
2020-09-14
Free Tool for Startups Getting SoC 2 Certified
2020-09-14
Ask HN: What is the best database to use heavy text processing?
2020-09-14
EU starts testing interoperability gateway service for national contact tracing
2020-09-14
New free course: Learn Scala in 2 hours
2020-09-14
