FStar
An ML-like language aimed at program verification
A Peter Thiel–Backed Startup City Wants to Be Africa’s Delaware
2023-04-18
Ask HN: How to get into OS/systems programming in 2023?
2023-04-18
From Burning Out in a Startup to $250/Day as a Solo Founder
2023-04-18
Software firms across US facing tax bills that threaten survival
2023-04-18
Show HN: Offsuit – Casual Poker, Redesigned
2023-04-18
Microsoft plugging more ads into Windows 11 Start Menu
2023-04-18
Nearby Stars' Close Encounters with the Brightest Earth Transmissions
2023-04-18
Why do high interest rates dissuade VC investment?
2023-04-18
Launch HN: Prompt Engineering as a Service
2023-04-18
Why this startup is adding real meat to its plant-based product
2023-04-17
