FStar
An ML-like language aimed at program verification
Recap. How we survived 2020 as a two person startup
2021-01-21
Launch HN: Finmark (YC S20) – Financial planning software for startups
2021-01-21
Ask HN: Joined a new company, feeling lost
2021-01-21
Join the Development of a WordPress Alternative
2021-01-21
Show HN: Duffel (S18) – The best API to sell flights online
2021-01-21
Startups should start selling franchises
2021-01-21
What's your story of getting into coding/tech/startups? (here's mine)
2021-01-21
Fairer job interviews with Metaview's privacy-first speech processing
2021-01-21
Ask HN: Continue working on Single Language or Explore other things?
2021-01-21
How to Start a Biotech Company on a Budget
2021-01-21
