Emails unsealed in the New York Times v. OpenAI case show a Microsoft director describing AI training on news content as the largest theft of labor in history, and ChatGPT's head warning that publishers face an existential threat. The filings suggest both companies understood the damage to news organizations while the scraping continued.
Bend is a high-level language whose compiler requires proofs for program properties, so code an AI agent writes either checks out or does not compile, and the same source runs in parallel on CPUs and GPUs. The HN thread argues over whether proof obligations are a real guardrail for generated code or just move the mistakes into the specification.
Buffett is leaving the Berkshire Hathaway chairmanship after more than 50 years, and his son Howard Buffett takes the role. Greg Abel already runs the company as CEO, so the move completes the succession Buffett laid out last year.
Thomas Ptacek's rules for using LLMs as copyeditors rather than writers: never take a word the model suggests, use it to find weak passages and argue with it, and keep every sentence your own. Willison endorses the approach as the way to get the editing benefit without the flattening of voice.