FStar
An ML-like language aimed at program verification
11 Marketing Channels to Grow Your Startup
2020-06-19
Launch HN: Mighty Health (YC S19) – Health coaching for people over 50
2020-06-19
Ask HN: Any company/startup still hiring interns (esp remote)?
2020-06-19
MSFT engineer starts Juneteenth Conf: build community for Black people in tech
2020-06-19
NimConf 2020 schedule released – starts tomorrow
2020-06-19
SoftBank to invest $2M into minority-led startups
2020-06-18
WhatsApp Launches Payments in Brazil
2020-06-18
Can Amazon keep growing like a youthful startup?
2020-06-18
Microsoft acquires data modeling startup ADRM Software
2020-06-18
The TechCrunch List: Who's Writing First Checks into Startups
2020-06-18
