Телеграмм чат группы fprog

Не читай

20:30пожаловаться #1

Andrey in fprog_spb

Александр Гранин

Не читай

😉👌

20:30пожаловаться #2

Andrey in fprog_spb

значит, я не узнаю, о чем же ты на самом деле думаешь. т.к. не прочитаю книгу, в которой ты об этом пишешь.

20:31пожаловаться #3

АГ

Да и ладно

20:32пожаловаться #4

Andrey in fprog_spb

тогда смотри, я оставляю себе право трактовать те или иные сообщения так или иначе. ошибочно или нет!

20:34пожаловаться #5

АГ

Да не вопрос

20:40пожаловаться #6

Liscript-bot in fprog_spb

Alexander: ошибка преобразования в число: String: Поскольку

21:16пожаловаться #7

Liscript-bot in fprog_spb

Andrey: ошибка преобразования в число: String: дизайн

21:16пожаловаться #8

Yuuri in fprog_spb

Александр Гранин

Формализовывать надо, это аксиома. К сожалению, не всегда получается, и наличие требований в устной форме не должно быть блокером

Формализация переоценена

22:30пожаловаться #9

АГ

Мы уже всё, закончили холиварить

22:30пожаловаться #10

Оценка переоценена

22:31пожаловаться #11

> Формализовывать надо, это аксиома

22:33пожаловаться #12

Аксиомы тоже переоценены

22:33пожаловаться #13

Я буду занудой если напомню, что ты неправильно используешь слово аксиома?

22:34пожаловаться #14

Правильность переоценена

22:34пожаловаться #15

А переоценка недооценена!

22:34пожаловаться #16

С:

22:34пожаловаться #17

Yuuri in fprog_spb

Alexander Vershilov

> Формализовывать надо, это аксиома

Это заповедь

22:35пожаловаться #18

(Я, конечно, может недооцениваю Александра и там действительно есть настоящая аксиоматика и термин употреблён правильно. Но я крайне сомневаюсь)

22:35пожаловаться #19

А обязана ли система заповедей быть полной и непротиворечивой?