FStar
An ML-like language aimed at program verification
Design for accessibility (autistic spectrum, dyslexia, anxiety, low vision) [pdf]
2020-05-21
Health tech startup Omada Health raises $57M
2020-05-21
The next $1B consumer startup will be a vertical social network – here’s why
2020-05-21
A detailed guide to getting started with microservices
2020-05-21
Launch HN: A members-only community for Bootstrappers
2020-05-21
Coldplay star backs Bitcoin app “for the masses”
2020-05-21
The New Startup: No Code, No Problem
2020-05-21
INR 100CR grant created by India’s startup community to combat Covid-19
2020-05-21
Ask HN: How to explain “Hypothesis” to a non science audience?
2020-05-21
Capsule hotel firm Bobobox bags $11.5m in Series A funding
2020-05-21
