В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

fprog_spb

417 membersпожаловаться на группу
2020 August 28

A

Andrey in fprog_spb
Yuuri
Формализация переоценена
- а потом имеем микросервисы, расшатанные по 100+ серверам.
- часть из которых в докере, часть - вне докера.
- на одних серверах либы с одной версией, на других - с другой.
- приложение отдаёт клиентам 500 ошибку. мониторинги не работают.

бизнес не потребовал ведь всего этого, зачем формализовывать?
источник
22:39пожаловаться#1

AV

Alexander Vershilov in fprog_spb
Такое бывает? Это формализация?
источник
22:40пожаловаться#2

Y

Yuuri in fprog_spb
Alexander Vershilov
А обязана ли система заповедей быть полной и непротиворечивой?
Нет, в неё надо веровать, даже если (и особенно, если!) абсурдно.
источник
22:42пожаловаться#3

A

Andrey in fprog_spb
1. такое бывает
2. @Yuu_chan ответил про переоценку формализации на сообщение @graninas, отвечавшее на моё сообщение про то, чтобы фиксировать функциональные требования. таким образом, да.
источник
22:42пожаловаться#4

AV

Alexander Vershilov in fprog_spb
Yuuri
Нет, в неё надо веровать, даже если (и особенно, если!) абсурдно.
А полнота там должна же быть?
источник
22:43пожаловаться#5

АГ

Александр Гранин... in fprog_spb
Alexander Vershilov
Я буду занудой если напомню, что ты неправильно используешь слово аксиома?
Моя аксиома, что хочу, то и делаю
источник
22:43пожаловаться#6

AV

Alexander Vershilov in fprog_spb
Это никак не противоречит тому, что я написал
источник
22:43пожаловаться#7

Y

Yuuri in fprog_spb
Гранин всегда прав, это аксиома
источник
22:43пожаловаться#8

AV

Alexander Vershilov in fprog_spb
Это тоже нормальная аксиома
источник
22:43пожаловаться#9

AV

Alexander Vershilov in fprog_spb
Почему бы нет
источник
22:43пожаловаться#10

AV

Alexander Vershilov in fprog_spb
Точнее не так, это нормальная аксиома, если она вместе с другими образует систему
источник
22:44пожаловаться#11

AV

Alexander Vershilov in fprog_spb
Т.е. можно её брать за базис рассуждений и строить на этом выкладки, почему бы и нет
источник
22:44пожаловаться#12

АГ

Александр Гранин... in fprog_spb
Хаскеллистам нужно запрещать изучать математику, еще до того момента, как они становятся хаскеллистами. Может тогда хоть нормальными людьми вырастут
источник
22:45пожаловаться#13

A

Andrey in fprog_spb
Александр Гранин
Хаскеллистам нужно запрещать изучать математику, еще до того момента, как они становятся хаскеллистами. Может тогда хоть нормальными людьми вырастут
запреты делают лишь хуже в долгой перспективе.
подпольные хаскелисты-математики - это страшнее того, что есть сейчас. гораздо.
источник
22:46пожаловаться#14

Y

Yuuri in fprog_spb
Нормальность переоценена
источник
22:46пожаловаться#15

YS

Yan Shkurinskiy in fprog_spb
Взялся за хаскель - уже без шансов вырасти нормальным
источник
22:46пожаловаться#16

AV

Alexander Vershilov in fprog_spb
Не знаю при чём тут математика, но в рамках аксиоматики предложенной @Yuu_chan это верное утверждение
источник
22:46пожаловаться#17

YS

Yan Shkurinskiy in fprog_spb
И да, нормальность переоценена
источник
22:46пожаловаться#18

АГ

Александр Гранин... in fprog_spb
Yan Shkurinskiy
Взялся за хаскель - уже без шансов вырасти нормальным
Если нет шансов вырасти нормальным, становись математиком
источник
22:46пожаловаться#19

YS

Yan Shkurinskiy in fprog_spb
Я уже инженер(
источник
22:47пожаловаться#20