MB
Так что с точки зрения бизнеса тут уже все плохо
Size: a a a
2020 July 15
𝛈µ
assert(a != null) - тоже теорема
MB
Можно махать мечом сколько угодно
MB
Нет, ты просишь показать решение крайне сложной при текущем уровне технологий и фундаментальных знаний проблемы. Но много более простых теорем доказали
Я, кстати, ничего не просил :) Просто спросил.
𝛈µ
В вашей ебанутой постановке формализовать и верифицировать прийдется очень много - прямо от железа, через ОС и тцп стек, до рантайма и твоего говнокода
AK
Код вносит дополнительную сложность помимо сложности предметной области, поэтому хоть какую-то сложно нужно пытаться убрать.:)
На фоне предметки сложности кода не видны, имхо .
MB
В вашей ебанутой постановке формализовать и верифицировать прийдется очень много - прямо от железа, через ОС и тцп стек, до рантайма и твоего говнокода
И мой говнокод мне кажется будет не самым сложным местом
MB
Ощущение, как будто я или кто-то другой тебя сильно расстроил
MB
К сожалению, мир не так просто ложится в набор теоремок, как бы сильно этого не хотелось
𝛈µ
Да, мне грустно смотреть на то, как люди копротивляются за езду на обезъяньей повозке с квадратными колёсами в век теслы и сверхзвуковых самолётов
MB
Да мне тоже грустно, но ты пойди лучше джавистов обосри, тут то люди нормальные вещи делают
MB
Хотя бы чистые функции используют, тыры пыры
𝛈µ
Я и сам, допустим, выше сраного TLA+ ничего не осилил, но на дурачков, которые даже компилятор не осилили, смотреть очень больно
VM
Интересно, этот человек когда-нибудь договорится в этом чате!? (я про 𝛈 µ) Думаю, что если его выпнут, то он будет верещать, что кложе сообщество такое токсичное.
𝛈µ
Да я сам токсик, дочь Генриха Гиммлера
MB
Я и сам, допустим, выше сраного TLA+ ничего не осилил, но на дурачков, которые даже компилятор не осилили, смотреть очень больно
Это пройдет, просто найди себе команду, где тебе комфортно будет и не гори :)
𝛈µ
Это сложно. Я, видишь ли, делаю довольно уникальные штуки, а кругом одни крудошлёпы
MB
А что делаешь?
𝛈µ
Да так, диаи всякие, компиляторчики
MB
Ну в какой-нить софтверной компашке такое может быть нужно