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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

452 membersпожаловаться на группу
2019 December 27

S

Sublime Bot in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
арсен-техник
Прагматичного во мне дохуя. Дегуз передо мной стоит и монадки дрочит свои. Я говорю "академик, съеби нахуй". Расставляю просто аннотации за него и все. Говорю "коммить и съёбывай"
источник
10:28пожаловаться#1

KS

Kirill Shelopugin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Подозреваю, что команда скалистов в целом в тиньке в несколько раз меньше чем сумма джавистов, а велью делают гигатонны
источник
10:31пожаловаться#2

w

welcometotheclubbudd... in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Kirill Shelopugin
Подозреваю, что команда скалистов в целом в тиньке в несколько раз меньше чем сумма джавистов, а велью делают гигатонны
ETO BAN
источник
10:31пожаловаться#3

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Oleg ℕizhnik
Полиномиальный финитно состоит из четырёх операций
+ рекурсия
источник
10:32пожаловаться#4

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Вот ленивый лист, потенциально бесконечный, он в твоем определении финитный?
источник
10:33пожаловаться#5

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Или нет
источник
10:33пожаловаться#6

ὦ

ὦan in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
источник
10:33пожаловаться#7

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
λoλcat
Вот ленивый лист, потенциально бесконечный, он в твоем определении финитный?
Берём потенциально нефинитные, но счётные?
источник
10:34пожаловаться#8

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
λoλcat
Или нет
нет
источник
10:35пожаловаться#9

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
λoλcat
+ рекурсия
простая рекурсия будем считать выражается через счётные произведения и суммы
источник
10:36пожаловаться#10

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
у полиномиальных
источник
10:36пожаловаться#11

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
поэтомуя специально сказал АДТ
источник
10:36пожаловаться#12

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
а не ГАДТ
источник
10:36пожаловаться#13

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
ленивый потенциально бесконечный список - это
lllist a = Sum (n: Nat) ( Prod (i : m) : a) + Prod (n : nat) a
источник
10:39пожаловаться#14

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
т.е. сумма всех конечных тюплов плюс бесконечный
источник
10:39пожаловаться#15

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Ну я уже получил ответ на вопрос
источник
10:40пожаловаться#16

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
а на какой вопрос и какой ответ?
источник
10:40пожаловаться#17

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
траверсабль - это полиномиальный?
источник
10:41пожаловаться#18

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
если да - как доказать?
источник
10:41пожаловаться#19

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Oleg ℕizhnik
ленивый потенциально бесконечный список - это
lllist a = Sum (n: Nat) ( Prod (i : m) : a) + Prod (n : nat) a
Этот ответ
источник
10:44пожаловаться#20