B
Size: a a a
2019 November 05
С
A
траллинг какой-то
MT
Больше похоже на то что забыл врубить адблок и зашел на какой-то левый сайт, а там сбоку реклама
A
топ вёрстка
A
чёт одна и та же картинка уже лет 20
A
написали бы хотяб "3+"
B
Может новых устройств с тех пор так и не завезли...
AT
Меня интересует верификация алгоритмов. Как называют человека, занимающегося этим? Насколько это распространено(то есть, возможно ли найти работу в данной сфере)?
Этим либо учёные занимаются в университетах (формальная верификации алгоритмов) либо программисты в свободное время. Денег на этом особо не заработаешь 🤷♂
JJ
Этим либо учёные занимаются в университетах (формальная верификации алгоритмов) либо программисты в свободное время. Денег на этом особо не заработаешь 🤷♂
Разве нет областей применения в практике? Например, верификации для банковских программ или подобного софта, где ошибка может стоить достаточно больших денег?
AT
Сорян, банковские программы очень тупы, их нечего верифицировать. Этим занимается тестировщик
JJ
Блин, жаль
AT
Единственная сфера где я видел адекватное применение этого это формальная верификации гарантий распределены систем, но это сугубо академическая хуйня
JJ
Единственная сфера где я видел адекватное применение этого это формальная верификации гарантий распределены систем, но это сугубо академическая хуйня
Распределенные системы разве не используются на практике?
DB
Привет, а можете написать какие вам технические вопросы на собесе задавали или дать ресурс на эту тему?
Зависит куда, но в основном алгоритмы/структуры, какие нибудь общие вопросы и по стеку отдельные