Interested Article - Pilot Ang


- 2020-10-30
- 1

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

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

Этот участник потребляет
водку
Этот участник без ума от
драников
.
Наверное получилось сформулировать, зачем я здесь. «Добровольный социальный налог». Общество позволило мне получить образование и сейчас я не только зарабатываю деньги, а занимаюсь тем, чем сам хочу. А мог бы ямы в лесу палкой копать в поисках съедобных корешков. Одетый в шкуры какого-нибудь шкурозавра. Логично было бы вернуть обществу долг, помочь ему и дальше накапливать знания, чтобы оно могло развиваться.
Нескорбный труд
Переводы:
- Isabelle
- Кодирование Чёрча - недоделано, надо работать над.
- Logic for Computable Functions
- Управление памятью на основе регионов
- Привязка к процессору
- F*
- Инструмент интерактивного доказательства теорем
- Критерий де Брёйна
- Исчисление конструкций
- cons
- nil
- Алгебраические сети Петри
- Раскрашенная сеть Петри
- Чистая система типов
- J-оператор
- Gossip (протокол)
- Предварительные итоги
Лист ожидания
- Интуиционистская теория типов
- Переписывание - статья есть, но это недоделанный плохой перевод.

- 2020-10-30
- 1