A Claude Code user has reported a severe data-loss incident in which an autonomous coding agent allegedly deleted 48,218 live files from a Windows project tree and destroyed the repository’s Git ...

Bend 2 is a programming language that uses mathematical proofs to machine-verify the correctness of AI-generated code and executes it in parallel on GPUs and CPUs. It presents a new development method ...