Братья Марио
Обычного Марио мы всегда знали как просто Марио, как будто это его имя. Луиджи - типа как его брат, а вместе их называют "Братья Марио". Получается, Марио - это еще и их фамилия, то есть Луиджи Марио и Марио Марио?
Оказывается, да.
Немножко из книги Гоггинса
Читаю сейчас первую книгу Дэвида Гоггинса Can't Hurt Me , узнал пару интересных фактов. 💭 "Морские котики" - часто встречающее...
Spense.app v0.2
Привет! Я закончил работу над очередной версией Spense с кучей улучшений и по традиции делюсь самым интересным. Страница со сче...
🎙 Крафтовый Димарик №12 - Будапешт и Барселона
0:00 - Intro 0:38 - Поездка в Будапешт и Барселону 20:34 - Дела больничные 24:09 - Sapiens. Краткая история человечества 26:...
Рублевые банкноты 1995 года
Оказывается, банкноты в том виде, к которому мы привыкли, выпустили еще в 1995 году . Но то было до обесценивания рубля в 1998 ...
Про мигрень
Послушал великолепную беседу с неврологом про головную боль. Всем советую, очень приятный чувак, объясняет классно, книжку напи...
Docker Buildkit: Правильное использование --mount=type=cache
TL;DR Содержимое каталогов, смонтированных через --mount=type=cache , не сохраняется в docker-образе, поэтому кэшировать надо ...