FStar
An ML-like language aimed at program verification
Ask HN: What's the status of your quarantine side project?
2023-08-02
Google warns again it will start deleting inactive accounts in December
2023-08-02
Dimeadozen.ai – AI-powered market research for any startup
2023-08-02
Traditional Startup Funding Is Waste of Money: Embracing Indiepreneurship
2023-08-02
Soft-reboot in systemd 254 sounds a lot like Windows' Fast Startup
2023-08-02
Global Militaries Worry Elon Musk Is Too Erratic to Manage Starlink Competently
2023-08-02
Can French Startups overcome their elitist image?
2023-08-02
Exploring the power of no-code: How non-developers are launching startups
2023-08-02
ChatGPT: How many weekdays were there in June 2023? Answer: 4 days
2023-08-02
Golem Cloud: durable serverless workflows coded in any lang that supports WASM
2023-08-02
