Programmer's Library - IT resources

Если давно хотели чему-то научиться — это знак 👀

🍂 Что добавить в свой стек? У каждого сентября один и тот же квест: выбрать, что прокачать, и не открыть одновременно 15 вкладок с курсами 😅 Вот несколько вариантов: 🤖 AI-агенты — чтобы нейросеть не просто писала код, а реально помогала в разработке 🐍 Python — закрыть пробелы или наконец перейти от туториалов к практике 🧠 Алгоритмы — прокачать фундамент и перестать бояться задач с подвохом 📊 ML и Data Science — попробовать направление, которое давно было в списке «когда-нибудь» Прочитать про каждый подробнее 🤩 🏃♀️ Proglib Academy

😳 GPT Astra прошла игру «Я не робот» — все 48 уровней Чтобы доказать, что ты не робот, теперь достаточно… быть хорошим роботом 🔥 — ждём капчу «Докажите, что вы не ИИ» 🐸 Библиотека программиста

🧠 А RAG точно нужен с векторами? Большинство начинают с embeddings + vector DB. Но для логов, SQL, API, Kubernetes-событий и других структурированных данных это может быть лишней прослойкой. 📍 В статье разбирают, когда достаточно Vectorless RAG, когда нужен обычный semantic search, а когда имеет смысл объединять оба подхода. 🐸 Библиотека программиста

🤯 Claude за 11 дней формализовал Великую теорему Ферма Claude перевёл доказательство в Lean, чтобы его корректность мог проверить компьютер. В цифрах: — 13 млн строк кода; — 29 500 промежуточных теорем; — около 6 млрд выходных токенов; — 11 дней работы почти автономно. Это не новое доказательство, а автоматизация его формальной проверки — задача, на которую раньше закладывали годы работы математиков. 6 млрд токенов ради одного «доказано» 🗿 🐸 Библиотека программиста

👨💻 Разраб опять погряз в делах и никак не может вырваться в отпуск! Помогите ему навести порядок в новой мини-игре, найдите ПРОМОКОД на скидку на все курсы Proglib Academy (действует до 15.09) и заберите другие плюшки 🌸

🙃 Микросервисы — это не только «разбить монолит на 20 сервисов» Когда сервисам нужно обмениваться данными и выполнять общие операции, начинаются Saga, CQRS, API Composition и другие паттерны. В одной схеме собрали основные: → Saga — распределённые команды и компенсация транзакций → Command-side replica — реплика данных для выполнения команды → API Composition — собираем ответ из нескольких сервисов → CQRS — разделяем модели чтения и записи А рядом — всё, что обычно появляется вокруг микросервисов: API Gateway, Service Discovery, Circuit Breaker, Database per Service, Distributed Tracing и другие паттерны. ❤️ — пригодится 🔥 — уже живу в микросервисах 🔗 Источник 🐸 Библиотека программиста

🤩 GitHub CLI теперь умеет прикладывать медиа из терминала В gh 2.99.0 появился --attach — можно сразу добавить локальную картинку или видео в issue, PR или комментарий, не открывая GitHub в браузере. Это работает и с coding agents — теперь результат можно просто показать, а не описывать словами. 🤩 Поддерживаются PNG, JPEG, GIF, WebP, SVG, MP4, MOV и WebM. Особенно удобно для багов: сделал скрин → gh issue comment --attach ./ screenshot.png → готово. 🐸 Библиотека программиста

🐳 Docker-сети: какой драйвер когда нужен? Если с Docker пока на уровне docker run — чаще всего вам хватит user-defined bridge. А дальше начинается интересное: 🤩 host — когда нужна сеть хоста без NAT 🤩 none — когда контейнеру сеть вообще не нужна 🤩 overlay — когда контейнеры живут на разных Docker-хостах 🤩 macvlan — когда контейнер должен выглядеть как отдельное устройство в физической сети 🤩 ipvlan — когда нужен похожий сценарий, но без отдельных MAC-адресов Плюс в гайде разбирают DNS, публикацию портов, несколько сетей на контейнер, gw-priority, VLAN и даже legacy --link. 📍 Читать гайд 🐸 Библиотека программиста