FStar
An ML-like language aimed at program verification
Launch HN: Spruce (YC W21) – OSS for User Owned and Provably Authentic Data
2021-02-27
The Crisis of Venture Capital: Fixing America’s Broken Startup System
2021-02-27
Resources for chief technology officers, with the emphasis on startups
2021-02-27
Show HN: Swedit Squads – Start, Grow and Monetize Your Own Fitness Community
2021-02-27
Ask HN: Managing Focus and Energy
2021-02-27
Ask HN: Recommendations on HN top bar color for dark mode?
2021-02-27
Ask HN: How do you report annual packages in startup RMR?
2021-02-27
How much energy is saved if we start producing only devices with e-ink displays?
2021-02-27
Tech Startups’ New Million-Dollar Question: Do We Need an Office?
2021-02-27
Startup Journey, Challenges, & Impact
2021-02-26
