FStar
An ML-like language aimed at program verification
Covid-19 innovation relief for startups – apply for a free US patent application
2020-05-11
Yes, websites are starting to look more similar
2020-05-11
Floodgate's Mike Maples on 3 Breakthroughs Startups Experience in Success
2020-05-11
Which is the stack you usually use to start your side projects?
2020-05-11
Ask HN: How do I create that mental reset effect Monday has on me?
2020-05-11
Launch HN: Data Mechanics (YC S19) – The Simplest Way to Run Apache Spark
2020-05-11
Legal Help – C Corporation Post Establishment Stock Issuance
2020-05-11
Why to Start a Startup in a Bad Economy
2020-05-10
Getting Started with Your First Smart Contract
2020-05-10
Waymo says it will resume driving operations starting in Phoenix next week
2020-05-10
