• 02.11.2025 Кунг-фу Петух
• 13.07.2022 Зелёные потоки в 200 строчек на Rust. Часть 1
• 12.07.2022 Программирование для ARM64. Часть 1
• 31.10.2021 Заметка о Lwt
• 31.10.2021 Заметки про типы в Coq (WIP)