w
Size: a a a
2020 June 10
ZM
очень красиво
не очень, качество ужасное, но птичку новую узнал
YE
не очень, качество ужасное, но птичку новую узнал
качество и красота снимка для меня — ортогональные понятия
YE
пропусти через сетку, чтобы улучшить качество
ZM
@Bartosso венда третий раз говорит "я те сука тачку обновлю, когда ты отвернешься", какие подводные?
ZM
качество и красота снимка для меня — ортогональные понятия
ну на стену я б не повесил
ZM
пропусти через сетку, чтобы улучшить качество
какую?
ᛒ
@Bartosso венда третий раз говорит "я те сука тачку обновлю, когда ты отвернешься", какие подводные?
у мя консолька шо с гитом ставица слетела
ZM
у мя консолька шо с гитом ставица слетела
cygwin юзай, пропиши в путь
ᛒ
cygwin юзай, пропиши в путь
не, она с правого клика слетела
ᛒ
так то она есть
YE
какую?
Super Resolution
YE
в миниатюре картинка смотрится хорошо, мне кажется, что, если поправить разрешение, она будет лучше
AG
l123 : Term g (LIST NAT)
l123 = cons (App succ zero) $
cons (App succ $ App succ zero) $
cons (App succ $ App succ $ App succ zero) $
nil
> stepIter (App head l123)
Inr (In (Inr (In (Inl TT))))
> stepIter (App head (Case (App tail l123) (nil {t=NAT}) (Var Here)))
Inr (In (Inr (In (Inr (In (Inl TT))))))
AG
кажись работает инверсор
AG
> stepIter (App head nil)
Inl TT
Oℕ
@odomontois памаги
а что такое индуктивный итератор
AG
а что такое индуктивный итератор
Cata : {f : Ty 1} -> Term g (subst1T f a ~> a) -> Term g (Mu f) -> Term g a