FStar
An ML-like language aimed at program verification
OpenAI will give roughly 10 AI startups $1M each and early access to its systems
2022-11-02
Ask HN: How long did it take you to get funding?
2022-11-02
Revolutionary Sports AI Startup Announces $3.1M in Seed Funding
2022-11-02
Mozilla launches $35M VC fund for early-stage ‘responsible’ startups
2022-11-02
Why did the OpenSSL punycode vulnerability happen
2022-11-02
German EmailProvider Freenet Looses Emails
2022-11-02
Show HN: Remove Image Backgrounds, Free HD, No Signup
2022-11-02
Tell HN: Remote Work Scam
2022-11-02
Ask HN: How to Work with CA DMV?
2022-11-02
Ask HN: Cost effective platform for React / Gatsby?
2022-11-02
