FStar
An ML-like language aimed at program verification
Ask HN: I've built an ethical pornsite, should I make it open-source?
2023-04-02
Ask HN: What’s the Best Way to Break into Startup Investing
2023-04-02
Pine64 Star64: RISC-V SBC with GPU to launch for $69.99 and up
2023-04-02
Ask HN: How do you recover mentally after a failed startup?
2023-04-02
Ask HN: How to deal with coworkers who love rules, don't produce functional code
2023-04-02
Ask HN: How to Moat a GPT Startup?
2023-04-02
Show HN: Algora – Paid open-source contributions
2023-04-02
Ask HN: Best cloud GPU solution for inference API?
2023-04-02
Ask HN: How to manage Bookkeeping for a bootstrapped startup?
2023-04-02
Ask HN: Founders, have you taken money from private equity? Tell me about it
2023-04-02
