Size: a a a

2021 January 18

FL

First Last in rust_offtopic
Слава
Товарищи из encompass так вообще могли вернуть ошибку при отправке многих запросов, потому что обработчики запросов не могли одновременно записать в лог что-то
А сейчас вообще не удивил
источник

FL

First Last in rust_offtopic
Бизнес крутится?
источник

s

suhr in rust_offtopic
Ты можешь понимать арифметику как алгебру. Тогда ты видишь связь между числами, и не числами.
источник

С

Слава in rust_offtopic
First Last
Бизнес крутится?
Да, вот это всё. Трампа на них нет
источник

FL

First Last in rust_offtopic
Слава
Да, вот это всё. Трампа на них нет
Ну тогда и все остальное не проблема 🙂
источник

s

suhr in rust_offtopic
Например, поворотами в пространстве.
источник

H

Hirrolot in rust_offtopic
это мой шальной проект, над которым я работал на летних каникулах

https://github.com/Hirrolot/poica

итог: фундамент в виде Boost/Preprocessor оказался ненадёжным, вследствие чего я решил немого охладить трахание и написать сначала метаязык, а уже потом библиотеку для типизации. об этом и мои опусы последние
источник

s

suhr in rust_offtopic
Ты можешь понимать алгебру как категорию, и тогда ты видишь аналогии между базовыми понятиями. Например, фактор-группа и фактор-множество это одно и то же, просто в разных категориях.
источник

H

Hirrolot in rust_offtopic
suhr
Вообще, простой пример: почти все распределённые алгоритмы это применение теории порядка, которая лишь частный случай теории категорий.
а что НЕ частный случай теории категорий?
источник

С

Слава in rust_offtopic
@Psilon
Скажи пожалуйста, нет ли какого базового подмножества C#, чтобы оно компилировалось в JS и без 16МБ выхлопа?

Базовое подмножество подразумевает простую алгоритмику, арифметику.
источник

H

Hirrolot in rust_offtopic
Leroy
Вуз все таки нужен, чтобы от армии откосить, да и корочка минусом не станет
правда
источник

s

suhr in rust_offtopic
Hirrolot
а что НЕ частный случай теории категорий?
Ну в общем случае нужно подробно описывать дополнительную структуру, когда же частично упорядоченное множество это просто категория с единственной стрелкой между любыми двумя объектами.
источник

С

Слава in rust_offtopic
источник

С

Слава in rust_offtopic
блять, мне из мвд пришло письмо, это может быть военкомат?
источник

С

Слава in rust_offtopic
Переслано от Слава
Поскольку мы в джерке, я советую идти к психиатру и косить по гендерной дисфории
источник

FL

First Last in rust_offtopic
suhr
Ну в общем случае нужно подробно описывать дополнительную структуру, когда же частично упорядоченное множество это просто категория с единственной стрелкой между любыми двумя объектами.
Ладно, я понял почему тк
источник

H

Hirrolot in rust_offtopic
suhr
Ну в общем случае нужно подробно описывать дополнительную структуру, когда же частично упорядоченное множество это просто категория с единственной стрелкой между любыми двумя объектами.
кстати, а ты видел структурированное объяснение теории порядков? я из википедии дыбал информацию, очень неудобно
источник

FL

First Last in rust_offtopic
Это один из немногих разделов математики который можно применять ежедневно в коде и никто не офигеет, если ты не переусердствуешь 🙂
источник

s

suhr in rust_offtopic
Hirrolot
кстати, а ты видел структурированное объяснение теории порядков? я из википедии дыбал информацию, очень неудобно
У меня кое-какие книги есть. Ну и ncatlab: https://ncatlab.org/nlab/show/category+theory+vs+order+theory
источник

H

Hirrolot in rust_offtopic
First Last
Это один из немногих разделов математики который можно применять ежедневно в коде и никто не офигеет, если ты не переусердствуешь 🙂
ежедневно применяю теорию порядков, пеано, системы типов, etc etc
источник