AN
Какая разница ошибается или нет. Кодер тоже может не понят что надо заказчику.
Size: a a a
2021 March 18
b
остановись со своим дрочем на формализмы и их отсутствие
ΑZ
по тому что ты сказал я подумал что там совсем наивная модель
🤷♂️
p
Какая разница ошибается или нет. Кодер тоже может не понят что надо заказчику.
Кодер может это исправить
p
Машина - нет
b
полунин включи мозги, это все перестает иметь смысл, когда ты говоришь компилятору что тебе написать, а он выплевывает код и доказательство
b
Машина - нет
может
ΑZ
языки программирования умирают, смирись с этим
"скоро программисты будут не нужны" (с) из какой-то рекламы 80х про очередной гуй-тул по программированию мышкой
b
никто не говорил что этот процесс не может быть интерактивным
p
может
В теории да. На практике - не при нашей жизни.
b
вы же дрочите на интерактивные пруферы
s
Математики пишут на смеси английского языка, картинок и формальных символов, кстати.
b
В теории да. На практике - не при нашей жизни.
это тебе так хочется думать
А
Человек, ты действительно до сих пор веришь что в твоем ремесле есть что–то такое, что Машина не может осилить? ты просто переводчик
чтобы осилить это ремесло машина должна встать на уровень человека по очень многим показателям
s
Вместо того, чтобы дрочить на тупой формализм.
b
Математики пишут на смеси английского языка, картинок и формальных символов, кстати.
ну да, “формализм” это просто иллюзия
p
чтобы осилить это ремесло машина должна встать на уровень человека по очень многим показателям
Да
SP
чтобы осилить это ремесло машина должна встать на уровень человека по очень многим показателям
по уровню зарплатных ожиданий
p
Это уже уровень сингулярности
А
Вместо того, чтобы дрочить на тупой формализм.
в программистам приходится дрочить на тупо формализм, потому что этот формализм нужен для тупого компухтера