FStar
An ML-like language aimed at program verification
Where will all the laid off tech workers go?
2023-01-31
What does a finance person do at a startup?
2023-01-31
Ask HN: What to Do After FAANG?
2023-01-31
Launch HN: Needl (YC S22) – Simple search across all your apps
2023-01-31
Burps and explosions: What happens when a star goes supernova
2023-01-31
India’s population will start to shrink sooner than expected (2021)
2023-01-31
Select Star Raises $15M in Series A to Supercharge Data Discovery
2023-01-31
McDonald's pulls plug on Wi-Fi, starts playing classical music to soothe yobs
2023-01-31
Billion-Dollar Startup Wants to Bring Back the Dodo
2023-01-31
Show HN: Magic – automatically keep your inbox clean
2023-01-31
