Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

2021 June 02

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
On the more theoretical side, it is known from [53] that the first-order separation logic restricted to two quantified variables is already undecidable, in contrast with the NExpTime-completeness of the two-variable fragment of first-order logic [84]. The restriction of first-order separation logic to one quantified variable is however PSpace[55].
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
но меня в целом интересуют штуки рядом с дефункционализацией
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
типа можно ли развить тему на призрачный код
источник

AT

Anton Trunov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
такая судьба у немецких логиков той поры — кого-то забыли покормить в пражской тюрьме, кто-то прочитал “Чудо голодания”
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
по идее оно уже существует в виде конкурроидов, но можно видимо как-то добавить "вопрос-ответ" токены
источник

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
что-то типа мультитокен гои
источник

SK

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
+1
источник

AT

Anton Trunov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
надо сразу NFT
источник

SK

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
снижает (сам не проверял)
источник

SK

Sergey Kucherenko in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
а, там ниже Олег уже проверил
источник

AT

Anton Trunov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
всё в наших руках!
источник

V

Vasiliy in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
источник

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
В чем разница между бородой и другими волосами на голове?
источник

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
источник

NV

Nikita Vilunov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
борода симулируется через рефайнмент, а другие волосы через абстрактный тайпмембер
источник

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
источник

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
Просто напомню общеизвестные факты
источник

AT

Anton Trunov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
Если это видео нарушает ваши авторские права, то свяжитесь с нами. Мы его разместили на своём канале с целью быстрого распространения информации, которая полезна для спасения души.
источник

λ

λoλdog in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
@catostrophe  симпл димпл или поп ит ?
источник