Братья Марио
Обычного Марио мы всегда знали как просто Марио, как будто это его имя. Луиджи - типа как его брат, а вместе их называют "Братья Марио". Получается, Марио - это еще и их фамилия, то есть Луиджи Марио и Марио Марио?
Оказывается, да.
Docker Buildkit: Правильное использование --mount=type=cache
TL;DR Содержимое каталогов, смонтированных через --mount=type=cache , не сохраняется в docker-образе, поэтому кэшировать надо ...
Немножко из книги Гоггинса
Читаю сейчас первую книгу Дэвида Гоггинса Can't Hurt Me , узнал пару интересных фактов. 💭 "Морские котики" - часто встречающее...
🎙 Крафтовый Димарик №18 - Опять все хорошо!
Поездка в Клайпеду: море, солнце, два бомжа. Качалка теперь официально хобби. Люблю литовское FM-радио поутру. Пора учиться....
Быстрый коммит и пуш
Хочу поделиться shell-функцией gacp (Git Add, Commit and Push), которую я придумал несколько месяцев назад и с тех пор использ...
Про мигрень
Послушал великолепную беседу с неврологом про головную боль. Всем советую, очень приятный чувак, объясняет классно, книжку напи...
Машина времени и пространства
Возможно, вы не задумывались, но машина времени должна перемещать человека не только во времени, но и в пространстве, учитывая п...