FStar
An ML-like language aimed at program verification
Ask HN: Plans for Weathering the Tech Recession?
2023-01-08
If you like startups you should love anti-trust
2023-01-08
Show HN: Hindsight is a free and open-source retrospective board
2023-01-08
Humans Can Start Living Longer–Once the FDA Does This
2023-01-07
K-Cup rebate: Two days left for Keurig customers to claim from $10M settlement
2023-01-07
Temperatures of 19℃ in Warsaw on 1 Jan 2023, 5.1℃ more than the previous record
2023-01-07
Ask HN: Why don’t motherboards have GPU and VRAM sockets?
2023-01-07
Is Berlin’s fastest rising star a neon-lit bathroom in Kreuzberg?
2023-01-07
Inventor in Baja is testing a plan to cool the Earth
2023-01-07
The rise and fall of 15-minute delivery startups, an oral history
2023-01-07
