FStar
An ML-like language aimed at program verification
Are quantum computing startups bullshit?
2020-07-01
Starfucker – A GitHub API exploration
2020-07-01
Start building software robots
2020-07-01
Indian startups funded by Alibaba/Tencent are backing India’s ban on China apps
2020-07-01
Launch HN: PostEra (YC W20) Medicinal Chemistry-as-a-Service and Covid Moonshot
2020-07-01
Ask HN: Few days before new job. How to rest?
2020-07-01
European tech startups spend more on dev tools that sales and marketing SaaS
2020-07-01
Coca-Cola, Microsoft, Starbucks, Target, Unilever Pulling Ads from Facebook
2020-07-01
Ask HN: How do we take programming to the next level?
2020-06-30
Are Introverted Founders less likely to launch fast?
2020-06-30
