ᛒ
еще балончик зафигачить туда
Size: a a a
2020 May 15
ZM
это из какого то квиза на конкурс телеграма?
KS
напомнило ux инвестиций
ну так пиздуй пользуйся тем что по душе, хули ты выебываешса
AG
я так понял насчет латинской америки аналогичный вопрос уже выяснили?
ZM
Kirill Shelopugin
ну так пиздуй пользуйся тем что по душе, хули ты выебываешса
что ты так обиделся, это же не твоих рук дело
KS
не, я не обиделся
ZM
я ж не сказал "бэкенды жирного шелопугина", а про ux
KS
я как бы наемный разработчик заднего конца, мне пофиг кто чем пользуется или не пользуется, мне ни холодно ни жарко
KS
та при чом тут бэкенды
KS
ты просто так сильно жалуешься что проще уже было уйти к какимто более продвинутым брокерам
𝛈µ
data Term : Ty -> Pred (List Ty) where
Var : All $ One a :-> Term a
Lam : All $ (a::) `turn` Term b :-> Term (a ~@ b)
App : All $ Term (a ~@ b) ^*^ Term a :-> Term b
TT : eps $ Term U
LetT : All $ Term U ^*^ Term a :-> Term a
Pair : All $ Term a ^*^ Term b :-> Term (Prod a b)
LetP : All $ Term (Prod a b) ^*^ (([b,a]++) `turn` Term c) :-> Term c
Эх
KS
мне вот не нравится юикс сбера я им не пользуюсь и всё здорово
ZM
Kirill Shelopugin
ты просто так сильно жалуешься что проще уже было уйти к какимто более продвинутым брокерам
меня больше бомбит от похеризма с которым реагируют
ZM
Kirill Shelopugin
мне вот не нравится юикс сбера я им не пользуюсь и всё здорово
сейчас нельзя быть уверенным уже пользуешься ты сбером или нет, они скупают все подряд
KS
ну видишь видимо то что тебе важно не важно для тех кто бузинесс этот толкает, вы с ними расходитесь получается во мнениях
KS
для тебя это наверное плохо, для них наверное хорошо раз бузинес приносит бабки
ᛒ
Kirill Shelopugin
мне вот не нравится юикс сбера я им не пользуюсь и всё здорово
сбер такие уебаны
ᛒ
жена захотела подписку на безлим переводы получить, а ее можно оформить ток в приложении
ᛒ
и никак иначе