R
привет! как дела?
добрый день!
скушал мороженку максибон, пока неплохо, надо бы чаю заварить и работать
А твои?
скушал мороженку максибон, пока неплохо, надо бы чаю заварить и работать
А твои?
Size: a a a
2020 August 10
AG
структурные правила, викенинг контакшен ексченж, которые как правило ничего не меняют, кроме контекста
там зависит от логики, но в целом оно должно быть представимо в виде функтора
Г => Г ⊢ aAG
т.е. операции типа
Г1 ⊆ Г2 -> (Г1 ⊢ a -> Г2 ⊢ a)Oℕ
там зависит от логики, но в целом оно должно быть представимо в виде функтора
Г => Г ⊢ aа что такое a
AG
некая фиксированная формулка
Oℕ
А что за категория, в которой живут Г
Oℕ
Может это быть категория ЛИНЗ
AG
aka категория контекстов
AG
ну для линз надо актегорию изобретать
AG
это вот как раз ровно то чем занимается категорная логика
VS
как у меня полыхает от scalapb grpc
VS
нельзя было такую концепцию так инвалидно реализовать
VS
хочу, чтобы мамок этих разрабов интерсепторы преследовали по подворотням, и чтобы из подворотни выйти нельзя было, потому что в каком треде заходили в том и выходите
AT
добрый день!
скушал мороженку максибон, пока неплохо, надо бы чаю заварить и работать
А твои?
скушал мороженку максибон, пока неплохо, надо бы чаю заварить и работать
А твои?
тоже думаю над морожкой
p.s. чаек уже заварил!
p. p. s. правда и выпил его уже
p.s. чаек уже заварил!
p. p. s. правда и выпил его уже
AD
хочу, чтобы мамок этих разрабов интерсепторы преследовали по подворотням, и чтобы из подворотни выйти нельзя было, потому что в каком треде заходили в том и выходите
Методика разработки гугла - абы едва работало
AA
тоже думаю над морожкой
p.s. чаек уже заварил!
p. p. s. правда и выпил его уже
p.s. чаек уже заварил!
p. p. s. правда и выпил его уже
только без заменителя молочного жира бери
R
тоже думаю над морожкой
p.s. чаек уже заварил!
p. p. s. правда и выпил его уже
p.s. чаек уже заварил!
p. p. s. правда и выпил его уже
смешно
ᛒ
смешно
пойдешь седня?