Выкладываю текст доклад, прочитанного мной в декабре 2021 года на Открытой конференции ИСП РАН им. В.П. Иванникова. Типовая система является основой любого языка программирования. Полнота, простота, лаконичность и ортогональность типовой системы...

Суверенитет страны не является полным, если страна не делает или не контролирует операционные системы, базы данных и управляющие системы, а также инструменты для разработки этих систем. Ключевыми инструментами разработки являются языки программирован...

Выкладываю презентацию с лекции "Безопасность разработки: языки программирования и инструментальные средства", которую прочитал 3 августа 2025 на "хакерской летней школе" letoCTF2025. Скачать файл в формате PDF

После выхода статьи "Язык Арс. Взаимодействие" я продолжал работать над языком Арс. Основной задачей была доработать синтаксис, чтобы семантика стала более очевидной. Вполне возможно, что в более "продуктовом" языке, очевидность семантики не является...

Последний год был очень плотным по другим проектам, но между этими другими проектами я продолжал думать об Арсе. Думал далеко не так плотно, как при работе над Тривилем, и раздумья эти были и есть принципиально сложнее. Если при работе над Тривилем я...

Архитектурное программирование для меня является естественным развитием моего профессионального пути и естественным продолжение проектов, которые я делал на этом пути. Логичность этого пути и логику перехода к архитектурному программированию я хочу п...