➔m
Фальсифицируемость не относится к дедукции але
Size: a a a
2021 February 09
➔m
Вы чего!
➔m
А математика полностью дедуктивна
S
А какое это имеет значение? Вот есть у нас json-rpc или какой-нибудь сервис в который мы посылаем json(или любой другой формат сериализации) и отвечает он нам нем же. Тут http выступает именно как транспорт
Если http трансмитит данные, не делает его протоколом транспортного уровня. Так для меня (хлебушка) сказанно в rfc. И явно указано, что http - application level.
➔m
Фальсифицируемость нужна для абдукции
p
Если http трансмитит данные, не делает его протоколом транспортного уровня. Так для меня (хлебушка) сказанно в rfc. И явно указано, что http - application level.
Отлично, если я поверх http начну гонять ip-датаграммы, то это у нас что будет? :)
SS
дед и батя опять сцепились по пьяни и испортили всем настроение каждую пятницу одно и тоже(с)
N
Слепая вера в математику это всё ещё слепая вера.
Математика просто работает, а метод пристального взгляда нет)
AZ
Математика просто работает, а метод пристального взгляда нет)
В реальной жизни, как мы видим на практике, всем похуй и всё работает без математики.
SZ
Ну мой поинт простой - выбор вещей вроде grpc приводит к полезным ограничениям. Просто люди сначала думают "зачем мне оно, я хочу свободы и
[ 0, 1.5, "haha" ]", а потом страдания "зачем же мы так?"
AZ
Отлично, если я поверх http начну гонять ip-датаграммы, то это у нас что будет? :)
Ты не поверишь, но это уже было. 🙂
AS
Математика просто работает, а метод пристального взгляда нет)
математика это инструмент, нельзя сказать что она просто работает, вот у меня например параллельные прямые не пересекаются, а у лобачевского пересекаются, как быть?
N
В реальной жизни, как мы видим на практике, всем похуй и всё работает без математики.
Но с ней лучше. Именно поэтому мы заимели протобаф и раст, а в другие языки притаскивают фишки из хаскеля
➔m
Математика просто работает, а метод пристального взгляда нет)
В реальной жизни из математики работает только правильно примененная статистика, а теория типов это не то. Дискретная математика — да, а в каком смысле работает теория типов?
N
математика это инструмент, нельзя сказать что она просто работает, вот у меня например параллельные прямые не пересекаются, а у лобачевского пересекаются, как быть?
Исходить из аксиом, конечно же
p
Если http трансмитит данные, не делает его протоколом транспортного уровня. Так для меня (хлебушка) сказанно в rfc. И явно указано, что http - application level.
Просто то, на что вы ссылаетесь - это самый простой вариант. В реальности, вы можете эту матрёшку собирать как угодно и нейминг имеет смысл именно в контексте использования.
FT
математика это инструмент, нельзя сказать что она просто работает, вот у меня например параллельные прямые не пересекаются, а у лобачевского пересекаются, как быть?
У Лобачевского они тоже не пересекаются, достали
➔m
У Лобачевского они тоже не пересекаются, достали
❤️ Привет
AZ
Но с ней лучше. Именно поэтому мы заимели протобаф и раст, а в другие языки притаскивают фишки из хаскеля
Ну как-то мир с тобой не очень согласен. Есть какой-то незначительный процент упоротых, но большая часть проектов, приносящих овердохуя денег, про это ничего не знают. И у них всё работает.
N
В реальной жизни из математики работает только правильно примененная статистика, а теория типов это не то. Дискретная математика — да, а в каком смысле работает теория типов?
В смысле проверки корректности и однозначности. Она основана на теории множеств и (в последнее время) на теории категорий, то есть действует в тех же аксиоматиках