Участник:Pilot Ang (Rcgvmunt&Pilot Ang)

Этот участник — светский гуманист

Не женат

Этот участник не женат

Участник за: 1) копирайт только для авторов, 2) сокращение сроков копирайта

Символ равенства полов

Этот участник — сторонник равноправия полов в семейных и других отношениях

???

Этот участник склонен
ставить всё под сомнение

Этот участник интересуется алкоголем

Этот участник интересуется нейронными сетями

Этот участник потребляет водку

Этот участник без ума от драников.

Наверное получилось сформулировать, зачем я здесь. «Добровольный социальный налог». Общество позволило мне получить образование и сейчас я не только зарабатываю деньги, а занимаюсь тем, чем сам хочу. А мог бы ямы в лесу палкой копать в поисках съедобных корешков. Одетый в шкуры какого-нибудь шкурозавра. Логично было бы вернуть обществу долг, помочь ему и дальше накапливать знания, чтобы оно могло развиваться.

Нескорбный труд

Переводы:

• Isabelle
• Кодирование Чёрча - недоделано, надо работать над.
• Logic for Computable Functions
• Управление памятью на основе регионов
• Привязка к процессору
• F*
• Инструмент интерактивного доказательства теорем
• Критерий де Брёйна
• Исчисление конструкций
• cons
• nil
• Алгебраические сети Петри
• Раскрашенная сеть Петри
• Чистая система типов
• J-оператор
• Gossip (протокол)
• Предварительные итоги

Лист ожидания

• Интуиционистская теория типов
• натуральная дедукция
• Кодирование Могенсена - Скотта
• Пустой тип данных
• CAR и CDR
• Алгебра термов
• Переписывание - статья есть, но это недоделанный плохой перевод.