FStar
An ML-like language aimed at program verification
I ain't no angel but I have made some startup investments
2022-06-03
Comparing a Voxel Game in F# and Rust
2022-06-02
What Roe vs. Wade being overturned could mean for startups in red states
2022-06-02
About 200 years ago, the world started getting rich. Why?
2022-06-02
Gabe Plotkin’s Wild Ride Reveals the Perils of Betting on a Star Trader
2022-06-02
Ask HN: Got job offer where I would downshift technically but upshift culturally
2022-06-02
Ask HN: Best ways to eval cloud providers
2022-06-02
American tech giants are making life tough for startups (2018)
2022-06-02
YC Application: Does this qualify as hacking a system?
2022-06-02
Ask HN: Recommend tools to build a coaching network
2022-06-02
