AZ
тогда тем более не строится, это целая огромная пачка фреймворков, вот про Netty была бы идеальная аналогия
ну хотя бы то тспринг который про веб
Size: a a a
2020 January 18
A
А что такое soundness?
P
А что такое soundness?
"правильность"
AK
Худшее, что здесь может быть — абсолютно что угодно. google:UB
"Абсолютно что угодно" пишут, чтобы мозги тебе не ебать кучей кейсов перезаписывания и чтения разных регионов памяти на разных архитектурах под разными ОСями с разными сесурити опциями. Там вполне конкретные вещи происходят.
DF
Ты саунд пацан или ансаунд
r
Технически он не мог ломать семвер с версиями 0.x.y
AZ
Видимо не особо приносило
если почитать историю то видно что актикс решает его проблемы
P
Dollar Føølish
Ты саунд пацан или ансаунд
идеально подходит
NN
А что такое soundness?
"наебнуться должно громко"
AZ
и он не развивает актикс больше, чем требуется по рабочим задачам
AZ
А что такое soundness?
корректность
AZ
to be sound - быть в здравом уме
EG
Alexander Krivitskiy
"Абсолютно что угодно" пишут, чтобы мозги тебе не ебать кучей кейсов перезаписывания и чтения разных регионов памяти на разных архитектурах под разными ОСями с разными сесурити опциями. Там вполне конкретные вещи происходят.
«Вполне конкретные вещи» там происходят при конкретных версия компилятора, LLVM, и всего окружения.
DF
Ну любое уб как то конкретно ведёт себя при прочих данных
A
и он не развивает актикс больше, чем требуется по рабочим задачам
Не очень понятно, зачем было столько усилий, микрооптимизаций и эпопеи с TechEmpower
AZ
Не очень понятно, зачем было столько усилий, микрооптимизаций и эпопеи с TechEmpower
а это уже его инициатива
D
Не очень понятно, зачем было столько усилий, микрооптимизаций и эпопеи с TechEmpower
хайп
AZ
чувак горел задачей которая по работе нужна
r
В случае sound type system, это значит, что все программы, прошедшие проверку типов, - корректные.