FStar
An ML-like language aimed at program verification
Effective Engineering Feedback
2021-02-17
Slate Star Codex Emails about Human Bio Diversity
2021-02-17
Marketing Research for Startups
2021-02-17
Microsoft starts new program to help make more accessible games
2021-02-17
Reflections on Using Haskell for My Startup
2021-02-17
Hedge Fund Genius Who Started GameStop’s 4k% Rise, Sold Before Its Reddit Surge
2021-02-17
Jeff Bezos at Startup School (2008)
2021-02-17
Nick Huber Has a Message for Entrepreneurs: Ignore Silicon Valley
2021-02-17
Launch HN: Worksphere (YC W21) – Manage flexible in-office or remote workspaces
2021-02-17
What Chip Startups Can Learn from Google’s TPU Design Team
2021-02-17
