FStar
An ML-like language aimed at program verification
Amazon tests new star ratings that are even harder to read
2023-08-17
People are starting a lot of fires in the Pacific Northwest
2023-08-17
Ask HN: Suggest features my Ngrok alternative that doesn't require downloads
2023-08-17
Ex-Google & Stability Ai to Build AI Inspired by swarm intelligence
2023-08-17
Report: Potential NYT lawsuit could force OpenAI to wipe ChatGPT and start over
2023-08-17
Ask HN: Best “Get started with
2023-08-17
Ask HN: How to Audit Electricity Usage?
2023-08-17
Too many fonts in Windows 10 can cause slow application starts
2023-08-17
Show HN: Shadeform – Single Platform and API for Provisioning GPUs
2023-08-17
I Live Coded a Llama 2 Agent That Builds Startups from Your Inutitions [video]
2023-08-17
