FStar
An ML-like language aimed at program verification
Startup Communities – Rural Entrepreneurship
2021-01-27
Gitlab removes its 'starter' tier Users must either pay 5x more or lose features
2021-01-27
We studied 50 startups on TikTok and here’s what we found
2021-01-27
Baseball Hall of Fame rejects politically outspoken star Curt Schilling
2021-01-27
Ask HN: Does it feel like the “Work at a Startup” Ad load is a little heavy
2021-01-27
Ask HN: Sites that self-host their web analytics?
2021-01-27
Launch HN: Axle Health (YC W21) – In-Home Healthcare as a Service
2021-01-27
Substack: Most Interesting Consumer Startups of 2021 (Part 2)
2021-01-27
Startup founder discovered equal pay across roles didn't work
2021-01-27
Stop holding people accountable, start treating them as adults
2021-01-27
