FStar
An ML-like language aimed at program verification
Adopting Haskell in Production at a SaaS Startup – The Fossa Podcast
2023-02-07
Ask HN: Successful one-person online businesses in 2023?
2023-02-07
Building customer empathy as part of why you have a pre-launch wait list site
2023-02-07
David Sabatini lands millions from private donors to start new lab
2023-02-07
Show HN: One API Key – Third-Party API Integrations with Zero Setup
2023-02-07
Microsoft’s big ChatGPT event has started
2023-02-07
Using Terraform to Configure AWS to Periodically Start an EC2 Instance
2023-02-07
The original Stable Diffusion startup launched a generative AI for video
2023-02-07
Build real-time collaborative products with Vercel, Next.js and Liveblocks
2023-02-07
Show HN: Zrok: open-source peer to peer sharing
2023-02-07
