Братья Марио
Обычного Марио мы всегда знали как просто Марио, как будто это его имя. Луиджи - типа как его брат, а вместе их называют "Братья Марио". Получается, Марио - это еще и их фамилия, то есть Луиджи Марио и Марио Марио?
Оказывается, да.
🎙 Крафтовый Димарик №14 - Синхронизируемся!
Смазал клавиатуру Кинезис Адвантыч "Дайте телефон текущего руководителя, чтобы он дал вам оценку. И еще телефон коллеги, а жела...
Безопасность персональных данных
Вчерашнее событие с публикацией слитых с Яндекс.Еды персональных данных напомнило о базовых правилах предоставления информации о...
Я начал делать приложение для учета денег. Зачем?
Примерно с 2014 года я вел учет денег в Google Spreadsheets. Происходило это всегда так: 2-3 раза в неделю я садился за компьюте...
Про мигрень
Послушал великолепную беседу с неврологом про головную боль. Всем советую, очень приятный чувак, объясняет классно, книжку напи...
Хорошо там, где нас нет
Иногда хочется поменять что-то в своей жизни: переехать в другой город, страну, сменить работу, род занятий, увлечение, религию....
Docker Buildkit: Правильное использование --mount=type=cache
TL;DR Содержимое каталогов, смонтированных через --mount=type=cache , не сохраняется в docker-образе, поэтому кэшировать надо ...