FStar
An ML-like language aimed at program verification
Ask HN: What is one thing a startup did recently to grow rapidly?
2021-07-26
Show HN: A database of the latest launches, funding rounds and startups
2021-07-26
Ask HN: How to make a successful launch on Product Hunt?
2021-07-26
Ask HN: I have a SaaS product with $300 MRR. How do I build a company around it?
2021-07-26
A couple is facing a defamation lawsuit after writing 1-star Google reviews
2021-07-26
Show HN: Startups of the Year 2021
2021-07-26
Ask HN: Have you ever been/hired fast, and how did it work out?
2021-07-25
The real epidemic in the USA: diabetes and obesity
2021-07-25
I was sick, tired and had lost myself until I began lifting weights at 71
2021-07-25
Dark Skies over Pittsburgh (2020)
2021-07-25
