wiki

Моя персональная wiki с ссылками, заметками и статьями

Теория типов

• Never Type
• Row-полиморфизм

Операционные системы

• Вытесняющая и невытесняющая многозадачность (для шаражников)
• Для чего is_terminal и is_tty
• Linux
  • Лекция Контейнерная виртуализация в Linux
  • Gist Arch Linux и все что связано с работой с ним

Компиляторы

• Парсеры-комбинаторы (недописанная)