FStar
An ML-like language aimed at program verification
The Start of Another Decade
2020-01-14
Shopify giving brand new merchants starter loans of $200-300
2020-01-14
Instagram Is Having an Outage
2020-01-14
Tell HN: YC is hosting a Work at a Startup Expo in Los Angeles on March 7
2020-01-14
Ask HN: Eastern Europe company, solo consultant. Could I access a VC?
2020-01-14
Ask HN: Are the potential upsides worth working at poor work/life startup?
2020-01-14
High Drug Prices? Pharma Startup Thinks It Has the Right Medicine
2020-01-14
Ask HN: SaaS owners how do you develop integrations with other services?
2020-01-14
7B-year-old stardust is the oldest stuff on Earth
2020-01-14
Dev says game started selling 400% better on Steam after releasing torrent
2020-01-14
