FStar
An ML-like language aimed at program verification
Ask HN: Has the YC application changed in focus?
2022-08-03
Show HN: Human Chatbot
2022-08-03
Volcanic eruption starts in Iceland (Live webcam)
2022-08-03
Sequoia Capital on startups and the economic downturn (2008)
2022-08-03
Show HN: Detect patterns and quick insights without an expert or sheet
2022-08-03
Show HN: Adadot – analytics for better, happier developers
2022-08-03
Demis Hassabis encouraged me to start my AI company
2022-08-02
Is this Starbucks coffee haunted?
2022-08-02
The Startup Data Dilemma
2022-08-02
Research: Gender and racial makeup of a startup's founding team matters
2022-08-02
