Interested Article - Pilot Ang
![](/images/006/130/6130187/1.jpg?rand=339700)
![](https://cdn.wafarin.com/avatars/a7cf8b1676a33f2d7b907899a3a94169.gif)
- 2020-10-30
- 1
![](/images/006/130/6130187/1.jpg?rand=799905)
Этот участник —
светский гуманист
Этот участник
не женат
![Символ равенства полов](/images/006/130/6130187/4.jpg?rand=635261)
Этот участник — сторонник
равноправия полов
в семейных и других отношениях
???
Этот участник склонен
ставить всё под сомнение
ставить всё под сомнение
Этот участник интересуется
алкоголем
Этот участник интересуется
нейронными сетями
![](/images/006/130/6130187/7.jpg?rand=215492)
Этот участник потребляет
водку
Этот участник без ума от
драников
.
Наверное получилось сформулировать, зачем я здесь. «Добровольный социальный налог». Общество позволило мне получить образование и сейчас я не только зарабатываю деньги, а занимаюсь тем, чем сам хочу. А мог бы ямы в лесу палкой копать в поисках съедобных корешков. Одетый в шкуры какого-нибудь шкурозавра. Логично было бы вернуть обществу долг, помочь ему и дальше накапливать знания, чтобы оно могло развиваться.
Нескорбный труд
Переводы:
- Isabelle
- Кодирование Чёрча - недоделано, надо работать над.
- Logic for Computable Functions
- Управление памятью на основе регионов
- Привязка к процессору
- F*
- Инструмент интерактивного доказательства теорем
- Критерий де Брёйна
- Исчисление конструкций
- cons
- nil
- Алгебраические сети Петри
- Раскрашенная сеть Петри
- Чистая система типов
- J-оператор
- Gossip (протокол)
- Предварительные итоги
Лист ожидания
- Интуиционистская теория типов
- Переписывание - статья есть, но это недоделанный плохой перевод.
![](https://cdn.wafarin.com/avatars/a7cf8b1676a33f2d7b907899a3a94169.gif)
- 2020-10-30
- 1