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

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

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

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

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

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

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

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

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

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

Переводы:

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

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

• Интуиционистская теория типов
• Переписывание - статья есть, но это недоделанный плохой перевод.