FStar
An ML-like language aimed at program verification
Launch HN: Certainly Health (YC S23) – Book doctors without surprise bills
2023-08-02
13 Mistakes that you can avoid to build $10M startup
2023-08-01
Tell HN: When I need a co-working space I donate blood
2023-08-01
Ask HN: How feasible is changing jobs right now?
2023-08-01
VC firm helps climate scientists turn research into startups with grants program
2023-08-01
Tell HN: Mailjet locked me out of my account with no explanation
2023-08-01
Show HN: Visualize Your Spotify History
2023-08-01
The 12-Page Pitch Deck Warren James Used to Raise $6M
2023-08-01
Show HN: Create AI Videos Easily
2023-08-01
Ask HN: Need a DevOps Revolution, how to enforce code quality?
2023-08-01
