AZ
Наконец-то до тебя дошло, что проблема не в протоколах, а в руках и откуда они растут
А я где-то говорил обратное?
Size: a a a
2021 February 09
AZ
Покажи!
SZ
В реальной жизни математика не работает.
SZ
Никогда проблемы не в протоколе. Всегда проблемы в людях. А дальше вопрос в скорости и сложности решения этих проблем.
this
N
Я не путаю фактов. Просто то, что ты считаешь фактами, таковыми является не всегда.
вполне возможно, только вот судить о том, что факт, а что нет, у тебя ничуть не больше способностей, чем у меня. А я хотя бы пруфы привожу. Например, теорию типов и ZFC
N
я тоже сломался на этом моменте
S
Ну что значит "формально другой"? Там тот же http2, тот же hpack и все заголовки. Для приложения вообще нет разницы.
Я ж изначально писал, что не стоит воспринимать rfc как догму(особенно в плане нейминга) и надо смотреть на контекст.
Я ж изначально писал, что не стоит воспринимать rfc как догму(особенно в плане нейминга) и надо смотреть на контекст.
к вопросу от транспортном уровне в целом 🙂
t
Я сен хрен не работает математика ,пока реальные переменные про жизнь напишишь и жизнь закончится.
AZ
this
И? Я не понял сейчас. Так же и пишу, что проблемы не в протоколе.
➔m
вполне возможно, только вот судить о том, что факт, а что нет, у тебя ничуть не больше способностей, чем у меня. А я хотя бы пруфы привожу. Например, теорию типов и ZFC
Теория типов не может описывать бизнес-проблематику. Любая бизнес-проблема описывается набором моделей, в том числе финансовых
SZ
И? Я не понял сейчас. Так же и пишу, что проблемы не в протоколе.
Ты уже два часа утверждаешь что типизированные протоколы говно
AZ
Ты уже два часа утверждаешь что типизированные протоколы говно
Нет. Это ты придумал.
p
А этот transport layer у нас в quic где? В приложении!
SZ
Сейчас ты говоришь что не протоколы говно, а программисты петухи
S
А этот transport layer у нас в quic где? В приложении!
всё, я усталь
AZ
Сейчас ты говоришь что не протоколы говно, а программисты петухи
Мне не нравится слово "петухи" в данном контексте. Но да, проблема всегда в людях.
И?
И?
SZ
А этот transport layer у нас в quic где? В приложении!
Нет, у нас на транспортном уровне будет TCP, UDP и QUIC
N
Теория типов не может описывать бизнес-проблематику. Любая бизнес-проблема описывается набором моделей, в том числе финансовых
на самом деле вполне может, другое дело, что на это очень много времени потребуется. Но суть в том, что чем больше формальных гарантий дает система - тем больше ей доверия и тем меньше неожиданностей она может подкинуть в перспективе. Например, в медицине и авиастроении бОльшая часть софта проходит формальную верификацию