AG
это правда пару лет назад было, может сейчас немного выровняли стиль
Size: a a a
2021 November 27
∀
какие же?
AG
ну например уметь пользоваться https://github.com/AlgebraicJulia/Catlab.jl или https://github.com/agda/agda-categories
AG
или там разобраться как категорно расписываются вещи типа ранее упоминавшихся DCPO
AG
ncatlab он, как следует из названия, в первую очередь про n-категории
AG
такие сложности совсем не всегда нужны
B
Какой робот-терминатор
2021 November 29
X
Для си необязательно, а вот для программирования - очень полезно
NI
Вот буква лямбда ассоциируется с функциональным программированием.
А какая буква ассоциируется с теорией категорий? ;-)
А какая буква ассоциируется с теорией категорий? ;-)
АП
Как вариант С, но это также множество комплексных чисел
N
Нужно просто взять в нужном шрифте
X
Это халфлайф!!!
D
Интересно, к чему лямбда на костюме Гордона в игре?
X
В оригинальной Half-Life «Лямбда» является логотипом одноимённого реакторного комплекса в секторе F Чёрной Мезы и, как следствие, появляется на разработанных в нём костюмах HEV.
K
Прочитал как "Костюмах НЁХ"
X
:)
s
よ
X
а я и не знал, что халфа это полураспад
s
Или Y.