FStar
An ML-like language aimed at program verification
A startup launches Covid-19 workplace distance tracker
2020-04-14
Ask HN: First time remote workers: How is your experience?
2020-04-14
Hacker_news_scraper
2020-04-14
Web Pioneers Launch Identity Startup That Ditches Passwords
2020-04-14
Layoffs are disproportionately impacting startup satellite offices
2020-04-14
Bootstrapping a B2C startup to $20k/mo
2020-04-14
First Step Toward Privacy: Design Your Own Threat Model
2020-04-14
Show HN: HookActions – Webhooks for Developers
2020-04-14
Tech Startup Layoffs: What, Where, Who and the Impact on Freelancers
2020-04-14
Tell HN: C Experts Panel – Ask us anything about C
2020-04-14
