Artificial Intelligence
Bend: The Language That Runs Almost as Fast as C and Proves Your Laws
Bend is a new programming language that combines near-native speed, automatic parallelism across CPU and GPU, and a mathematical proof system to block bugs introduced by AI agents before they reach production. Its compiler acts as a theorem prover: if the code breaks a law declared in advance, the merge gets blocked.
Artificial Intelligence
Microsoft and GitHub Launch Free AI and Data Science Courses
Microsoft and GitHub expanded GitHub Skills with free AI, data science, and machine learning courses, available to any GitHub account at no cost. Exercises are completed on real repositories, automatically validated with GitHub Actions. The platform doesn’t grant professional certifications, but it lowers the barrier to entry for AI training.









