FStar
An ML-like language aimed at program verification
What Do You Make, Who Is It For, and Why Do They Care?: How Startups Win Talent
2022-06-09
Ask HN: How do I stop being used?
2022-06-09
Launch HN: Compose.ai (YC W21) – AI-powered extension to speed up email writing
2022-06-09
Get the advantages of microservices without the drawbacks
2022-06-09
29,000 tech layoffs in 3 months: 3 Steps every manager needs to take
2022-06-09
Everyone Wants to Work for Big, Boring Companies Again
2022-06-09
Ask HN: How do I choose? Amazon vs. Late Stage Startup
2022-06-09
Upwork co-founder launches Ergeon, a startup that builds fences
2022-06-09
How do you scale an engineering team?
2022-06-09
Ayn Rand on the Tonight Show, Starring Johnny Carson (1967)
2022-06-09
