FStar
An ML-like language aimed at program verification
StarChat by HuggingFace – coding assistant trained to chat
2023-05-10
Business Idea: Destroying the Email Scammer Industry
2023-05-10
Microsoft's investment in Builder.ai promises apps for everyone
2023-05-10
Show HN: ChattySurvey – Super easy AI powered conversational surveys
2023-05-10
We should start to add “ai.txt” as we do for “robots.txt”
2023-05-10
Microsoft ramps up AI game w bet on startup that helps coding novices build apps
2023-05-10
We cannot clone quantum states – how about classical mechanics?
2023-05-10
Show HN: AI coach for runners using reinforcement learning
2023-05-10
Connecting startup brands with millions of consumers, a profile of dmg ventures
2023-05-10
Water bear genomes start to reveal hardy critter’s secrets (2016)
2023-05-10
