FStar
An ML-like language aimed at program verification
Show HN: Add_service – CLI Tool for Effortlessly Adding Systemd Startup Items
2023-08-17
Show HN: AutoStartup, A Llama 2 Agent That Plans and Builds Your Startup Ideas
2023-08-17
Microsoft Struggles to Gain on Google Despite Its Head Start in AI Search
2023-08-17
Ask HN: Any interesting audiobooks you have listen lately?
2023-08-17
Ask HN: Self-hosted alternate to GCP/AWS?
2023-08-17
Startups Think They Can Beat Wildfires, Insurance Companies Aren’t Buying It Yet
2023-08-17
Micro-orchestration: counting stars with Hamilton
2023-08-16
Founder of Artificial Intelligence Startup Charged with Fraud
2023-08-16
Janet Yellen inadvertently ate hallucinogenic mushrooms in China
2023-08-16
How do we know that π never repeats? (2013)
2023-08-16
