#programming-languages 1 item 18 сен Bend 2: a language where AI commits need machine-checked proofs Bend tools