FStar
An ML-like language aimed at program verification
Campaign draws attention to the issue of “intrusive staring” on public transport
2022-04-30
Microsoft fixes Point of Sale bug that delayed Windows 11 startup for 40 minutes
2022-04-29
SolarDuck: A Dutch offshore floating solar company
2022-04-29
Ask HN: Startup Jobs as a Solution Architect
2022-04-29
Ask HN: It's 2022. Where should I direct the youths to learn about programming?
2022-04-29
AI Startup Anthropic Raises $580M Led by FTX CEO Sam Bankman-Fried
2022-04-29
Fedora starts to simplify Linux graphics handling
2022-04-29
A Chip Off the Old Block? New RISC-V Startup Garners Many Senior CPU Architects
2022-04-29
Ask HN: Entering the Server World
2022-04-29
Ask HN: Which US Food Tech Startup Is Currently Hiring in Hong Kong
2022-04-29
