#programming-languages 1 пункт 18 сен Bend 2: язык, где AI-коммиты требуют машинно-проверяемых доказательств Bend tools