Чет новостей много произошло тут и новый опус релизнулся, и какие-то исследования вышли что нейронки лучше всего код на эликсире пишут и я на Стачку съездил. Кстати о Стачке.

Потраченного времени официально жаль. На фан встречу никто не пришел, Ульяновск объективно такой себе городок, остальные доклады буквально средненькие по качеству. Еще и отрабатывать 10 часов за пропуски 😭😭😭.

Но зато познакомился с челом из вб. На афтерпати с ним наверное часа два болтали про агентом, доказательную разработку и языки. Чел строит по сути линтер для го, который работает на матеатике (более 15 областей), но я все равно подкинул ему пару идей. Тут мне буквально стало страшно, потому что он не знает что там конкретно с кодом, только в деталях знает концепции, руками там ничего не пишет, а только в тг отправляет голосывые боту, который дергает агентов. Но страшно стало не из-за того, что вот нас всех заменят, а из-за того, что мы буквально не будем скоро знать как наши программы работают.

Еще страшнее становится от того, что никто и не будет стараться делать так, что бы знать как работают программы. Коду агента нельзя верить, вы же не пушите без проверки код мидла в прод? Тесты? Да как бы агент специально не написал код, который работает только под тестами. Спеки? Так они не гарантируют, что код будет правильным. Теорем пруверы? Поди еще докажи, что код на ЯП соответсвует коду на прувере, тут нужна не хилая такая трансляция кода. Вот и остается, писать спеки на лямбдах, а потом транслировать код в лямбды, совершать редуцирование и сравнивать результаты. Но и тут подводных камней куча. Ну как минимум белковому организму станет лень писать лямбды рано или поздно и он скинет это на агентов, которых и обязан проверять.