ymn 7 июня 2013 в 09:26

Мягкое введение в Coq: начало

• Функциональное программирование

• Tutorial

ymn 10 июня 2013 в 13:49

Мягкое введение в Coq: индуктивные определения

• Функциональное программирование

• Tutorial

ymn 11 июня 2013 в 09:23

Мягкое введение в Coq: используем тактики

• Функциональное программирование

ymn 3 июля 2013 в 12:01

Мягкое введение в Coq: структуры данных и функции высших порядков

• Функциональное программирование

• Tutorial

Обзор языка Idris

• Функциональное программирование

• Из песочницы

worldmind 17 декабря 2016 в 20:54

Почему земляне делают глючный софт и железо

• Искусственный интеллект,
• Будущее здесь

m1rko 24 января 2019 в 18:47

Микроядро seL4. Формальная верификация программ в реальном мире

• Информационная безопасность,
• Системное программирование,
• Математика,
• Софт,
• Транспорт

• Перевод

scp1001 22 апреля 2019 в 15:42

Формальная верификация на примере задачи о волке, козе и капусте

• Информационная безопасность,
• Ненормальное программирование,
• Занимательные задачки,
• Python,
• Алгоритмы

• Из песочницы

scp1001 29 апреля 2019 в 17:32

Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python

• Децентрализованные сети,
• Информационная безопасность,
• Ненормальное программирование,
• PHP,
• Python

YuriPanchul 3 сентября 2019 в 08:32

Политкорректность проникает в Россию через книги про проектирование чипов на SystemVerilog для не-начинающих

• Высокая производительность,
• Ненормальное программирование,
• Анализ и проектирование систем,
• Параллельное программирование,
• FPGA