FStar
An ML-like language aimed at program verification
Reasons VCs Pass on Startups
2022-09-03
Red Programming Language
2022-09-02
Hacker Stations – Tech workspace setups to get inspiration from
2022-09-02
Ask HN: AI art and copyright/licensing laws?
2022-09-02
The Rings of Power IMBD lacks any user review below 5 stars (out of 10)
2022-09-02
A development process startup founders should use to ship features weirdly fast
2022-09-02
Ask HN: Start in services offering first then product (or vice versa)
2022-09-02
Safe surfing without tracking, with Startpage and Vivaldi
2022-09-02
YC Jobs Series: Women Engineers in Startups
2022-09-02
Ask HN: How do startups/lean teams successfully handle mat/pat leave?
2022-09-02
