FStar
An ML-like language aimed at program verification
Google says it will start blocking Canadian news stories in response to new law
2023-06-29
AI Chatbot Startup Rockets to $4B Valuation with Microsoft,Nvidia Backing
2023-06-29
It’s Sony’s Fault We Have Console Exclusives, Says Microsoft CEO
2023-06-29
Ask HN: Pre-Seed Startup 409A – What to expect/communicate to early employees?
2023-06-29
IRL (startup) faked 95% of its users [video]
2023-06-29
Journalists should invest in journalism startups, particularly now
2023-06-29
Show HN: Nerds and sales = better sales on autopilot
2023-06-29
What the EU AI Act means for AI teams and startups
2023-06-29
Where to Start With: Iain Banks
2023-06-29
Show HN: SaasRock KB – Open-Source Knowledge Base Builder with Wysiwyg Support
2023-06-29
