FStar
An ML-like language aimed at program verification
The rise and fall of 15-minute delivery startups, an oral history
2023-01-03
Depression in the Time of Covid
2023-01-02
Show HN: AI generated conversation starter with Siri
2023-01-02
A Philosophical Start to 2023
2023-01-02
Hudson, New York's guaranteed income pilot show stable employment
2023-01-02
Ask HN: How Was Your Year in 2022
2023-01-02
Starting off the new year without a smartphone
2023-01-02
How can you make sure GPT-3 does not plagiarize?
2023-01-02
Can a VC Think Like a Startup?
2023-01-02
Airbnb removed my negative review
2023-01-02
