В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

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

476 membersпожаловаться на группу
2021 February 17

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
Grigory Pomadchin
ты сталкер
пажилой
источник
16:28пожаловаться#1

GP

Grigory Pomadchin in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
выследил их
источник
16:28пожаловаться#2

GP

Grigory Pomadchin in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
RattenK 🍄🐀🌹
пажилой
все хотят потанцевать с тобой
источник
16:28пожаловаться#3

AG

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

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
слушаем
источник
16:36пожаловаться#5

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
кто такой тейт
источник
16:36пожаловаться#6

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
это сильная редукция, строящая одновременно трассу редукции и индуктивный предикат доброкачественной сформированности
источник
16:36пожаловаться#7

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
последнее и называется (унарной) логической реляцией
источник
16:37пожаловаться#8

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
@AntonTrunov @skucherenko узнали? согласны?
источник
16:37пожаловаться#9

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
Oleg ℕizhnik
кто такой тейт
https://en.wikipedia.org/wiki/William_W._Tait
Wikipedia
William W. Tait
American philosopher
источник
16:38пожаловаться#10

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
ого он еще жив что ли
источник
16:38пожаловаться#11

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
ну вот
источник
16:38пожаловаться#12

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
мог бы лично написать\позвонить
источник
16:38пожаловаться#13

w

welcometotheclubbudd... in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
Oleg ℕizhnik
мог бы лично написать\позвонить
Эх, сча бы написать\позвонить
источник
16:38пожаловаться#14

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
спросить, в чём метод
источник
16:38пожаловаться#15

БВ

Буйный Виталя... in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
Хотел написать что там монады отказали, но все уже обсудили ...
источник
16:38пожаловаться#16

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
время только зря тратил
источник
16:39пожаловаться#17

ΛВ

Λнтон Войцишевский... in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
Alex Gryzlov
это сильная редукция, строящая одновременно трассу редукции и индуктивный предикат доброкачественной сформированности
почему тут вроде знакомые слова из разных областей, но все вместе непонятно
источник
16:42пожаловаться#18

ΛВ

Λнтон Войцишевский... in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
ведьмовство какое-то
источник
16:42пожаловаться#19

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА
Λнтон Войцишевский
почему тут вроде знакомые слова из разных областей, но все вместе непонятно
https://github.com/clayrat/log-rels/blob/main/src/STLC/Tait.idr
GitHub
clayrat/log-rels
Logical relations and normalisation. Contribute to clayrat/log-rels development by creating an account on GitHub.
источник
16:43пожаловаться#20