Как типы делают сложные задачи простыми +59
- Блог компании RUVDS.com
- Программирование
- Совершенный код
- Управление продуктом
- Управление разработкой
Все публикации
Использование Assembler'a. Фишка 1 +16
1 января 1970 года. День создания индустрии программного обеспечения +9
Два месяца и релиз языка программирования Ruby 3.4.0 готов +31
Приключения серотонина в бесконечном цикле боли, или опиатная ломка у неторчка — ч.1 +68
Более 14 лет ставлю цели на год: рассказываю, как и почему этот процесс работает у меня +61
Фундаментальная математика — теория всего в IT и не только. Теория типов и формализация в Coq +35
Новогоднее чудо — кастомная электрогитара мечты +50
Ryanair: как ирландский лоукостер построил свой антибренд на ненависти со стороны своих клиентов +8
Делаем свой docker-образ Apache Kafka -1
Багровые тучи, симметриады и марсианский картофель: 10 научно-фантастических книг о космосе +13
Клинопись 21 века. Способ хранения данных с большей плотностью -6
Как улучшить влажность в квартире: проверяем на практике +10
Стертый из американской лунной программы луноход VIPER +15
Т-функция: подключаем логику к UI как к БД +7
- Разработка мобильных приложений
- Разработка под Android
- Программирование
- Ненормальное программирование
