FStar
An ML-like language aimed at program verification
Ask HN: What are the top growing late stage startups out there?
2023-02-16
laudspeaker
2023-02-16
Show HN: Simple Django starter template with a landing page, auth and dashboard
2023-02-16
Ask HN: Isn't HN freaking out at Bing's results ironic?
2023-02-16
Ask HN: Time to learn SAP in this tech market?
2023-02-16
Takeaways from applying to Y Combinator twice (not accepted, not interviewed)
2023-02-16
Startups try to turn laser fusion success into clean power plants
2023-02-16
Show HN: Data driven decisions in OSS [helm-dashboard]
2023-02-16
Tell HN: The modern web dev toolchain is hilarious
2023-02-16
Ask HN: Do you track the conversion rates in your job search?
2023-02-16
