FStar
An ML-like language aimed at program verification
Nested markup language for complex rhythyms
2021-03-31
Ask HN: How to Sell APIs?
2021-03-31
Show HN: Bugout.dev – Crash and usage reports for developer tools
2021-03-31
Maintaining a great company culture as a distributed team with virtual reality
2021-03-31
India's largest ecommerce store, Flipkart, started accepting Bitcoin
2021-03-31
The possible disappearance of a star in the low metallicity galaxy PHL 293B [pdf]
2021-03-31
Show HN: Better 1:1 pairings for remote teams
2021-03-31
Cameo joins SendGrid as one of the few unicorn startups turned down by YC
2021-03-31
Startups have about $1T worth of reasons to love the Biden infrastructure plan
2021-03-31
Ask HN: How do I get started with learning about crypto?
2021-03-31
