FStar
An ML-like language aimed at program verification
Show HN: Find the most starred repos by line of code
2022-11-02
A toilet under $1.7M that's Starlink compatible
2022-11-02
T-Mobile will start charging a $35 fee on all new activations and upgrades
2022-11-02
Show HN: Eleven – Code sandboxes with automatic HTTPS
2022-11-02
From Zero to IPO: How Growth Needs to Evolve at Every Startup Stage
2022-11-02
On average, CTOs make more than CEOs at early-stage startups
2022-11-02
Ask HN: Given advent of AI driven coding, would you still recommend the field?
2022-11-02
Predictive Investments and Venture Matching by Parsers VC [Beta Invite]
2022-11-02
Architecture of Modern Startup
2022-11-02
Show HN: Easiest, goopiest 3D software of your dreams
2022-11-02
