TGViewer
Channel Public Channel
Библиотека программиста

Библиотека программиста

@proglib

Все самое полезное для программиста в одном канале.

Наши курсы: https://clc.to/Jil6fg

По рекламе: @tproger_sales_bot

Для обратной связи: @proglibrary_feeedback_bot

РКН: https://gosuslugi.ru/snet/67a5ba2901234b69883a4d46

#WXSSA
Open in Telegram
Subscribers
78.3K
Photos
4.7K
Videos
294
Links
7.8K

Showing posts older than #11829 · Back to latest

Older Posts 18 shown
Post #11828 7.03K
😳 GPT Astra прошла игру «Я не робот» — все 48 уровней

Чтобы доказать, что ты не робот, теперь достаточно… быть хорошим роботом

🔥 — ждём капчу «Докажите, что вы не ИИ»

🐸 Библиотека программиста
  • 😁 44
  • 🔥 9
  • ❤ 7
  • ⚡ 4
  • 🤔 4
  • 😢 4
  • 🙏 4
  • 👍 3
  • 🎉 2
  • 🌚 1
Post #11827 6.8K
🧠 А RAG точно нужен с векторами?

Большинство начинают с embeddings + vector DB. Но для логов, SQL, API, Kubernetes-событий и других структурированных данных это может быть лишней прослойкой.

📍 В статье разбирают, когда достаточно Vectorless RAG, когда нужен обычный semantic search, а когда имеет смысл объединять оба подхода.

🐸 Библиотека программиста
  • 👍 14
  • 🤔 8
  • 🎉 6
  • 👾 6
  • 🥱 4
  • 👏 3
  • 😁 3
  • ❤ 2
  • 🔥 2
  • 💯 1
Post #11826 7.58K
🤯 Claude за 11 дней формализовал Великую теорему Ферма

Claude перевёл доказательство в Lean, чтобы его корректность мог проверить компьютер.

В цифрах:

— 13 млн строк кода;
— 29 500 промежуточных теорем;
— около 6 млрд выходных токенов;
— 11 дней работы почти автономно.


Это не новое доказательство, а автоматизация его формальной проверки — задача, на которую раньше закладывали годы работы математиков.

6 млрд токенов ради одного «доказано» 🗿

🐸 Библиотека программиста
  • 👍 26
  • ❤ 14
  • 🥱 13
  • 🤔 7
  • 🎉 7
  • ❤‍🔥 4
  • 😍 4
  • 👾 4
  • 🙏 3
  • ⚡ 2
Post #11825 6.43K
👨‍💻 Разраб опять погряз в делах и никак не может вырваться в отпуск!

Помогите ему навести порядок в новой мини-игре, найдите ПРОМОКОД на скидку на все курсы Proglib Academy (действует до 15.09) и заберите другие плюшки 🌸
  • ❤ 6
  • 🥱 6
  • 👾 6
  • ❤‍🔥 5
  • 👍 5
  • 🔥 5
  • 👏 5
  • 😍 5
  • ⚡ 4
  • 🤩 4
Post #11822 6.38K
🙃 Микросервисы — это не только «разбить монолит на 20 сервисов»

Когда сервисам нужно обмениваться данными и выполнять общие операции, начинаются Saga, CQRS, API Composition и другие паттерны.

В одной схеме собрали основные:

→ Saga — распределённые команды и компенсация транзакций
→ Command-side replica — реплика данных для выполнения команды
→ API Composition — собираем ответ из нескольких сервисов
→ CQRS — разделяем модели чтения и записи


А рядом — всё, что обычно появляется вокруг микросервисов: API Gateway, Service Discovery, Circuit Breaker, Database per Service, Distributed Tracing и другие паттерны.

❤️ — пригодится
🔥 — уже живу в микросервисах

🔗 Источник

🐸 Библиотека программиста
  • ❤ 27
  • 🔥 18
  • 👍 7
  • 🥰 6
  • 👾 6
  • ⚡ 5
  • 🤔 5
  • 🙏 5
  • ❤‍🔥 4
  • 🤩 4
Post #11821 6.72K
🤩 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 → готово.

🐸 Библиотека программиста
  • 👍 24
  • ⚡ 7
  • 💯 5
  • 👏 4
  • 🙏 4
  • 🌚 4
  • 👾 4
  • ❤ 3
  • 🥱 3
  • 😢 2
Post #11820 6.38K
🐳 Docker-сети: какой драйвер когда нужен?

Если с Docker пока на уровне docker run — чаще всего вам хватит user-defined bridge.

А дальше начинается интересное:

🤩 host — когда нужна сеть хоста без NAT
🤩 none — когда контейнеру сеть вообще не нужна
🤩 overlay — когда контейнеры живут на разных Docker-хостах
🤩 macvlan — когда контейнер должен выглядеть как отдельное устройство в физической сети
🤩 ipvlan — когда нужен похожий сценарий, но без отдельных MAC-адресов

Плюс в гайде разбирают DNS, публикацию портов, несколько сетей на контейнер, gw-priority, VLAN и даже legacy --link.

📍 Читать гайд⁠

🐸 Библиотека программиста
  • 👍 15
  • ❤ 8
  • 🔥 6
  • 🤩 6
  • 🙏 6
  • 😢 5
  • ⚡ 3
  • 🎉 2
  • 👾 2
  • 🤔 1
Post #11819 6.19K
Короче, лето всё 🤩🤩

А кодер так и не выбрался в отпуск — сидит по уши в бардаке на столе.

Помогите ему в мини-игре, там прячется ПРОМОКОД на скидку на все курсы Proglib Academy, который работает до 15го сентября, и другие плюшки 💥
  • ❤ 8
  • 👍 6
  • 🌚 6
  • ❤‍🔥 5
  • 😢 5
  • 🙏 5
  • 👾 5
  • 💯 4
  • 🔥 3
  • 🤔 3
Post #11817 6.95K
🤯 OpenAI тоже вайбкодит. Просто на другом уровне

Инженеры показали низкоуровневый kernel, который целиком сгенерировал Codex.

📍 Самое смешное: разработчики, которые разбираются в железе, не смогли объяснить код построчно. Но он работает, проходит тесты и показывает нужную производительность.

Логика теперь примерно такая:

поставил задачу → AI нагенерил → AI протестировал → метрики хорошие → не трогай.


🔥 — норм, если работает
❤️ — я должен понимать каждую строчку

🐸 Библиотека программиста
  • ❤ 165
  • 🔥 40
  • 😁 12
  • ❤‍🔥 4
  • 🥰 4
  • 🤔 4
  • 😢 4
  • 😍 3
  • 💯 3
  • 🙏 2
Post #11816 6.86K
📚 Коллекция БЕСПЛАТНЫХ КНИГ ПО ПРОГРАММИРОВАНИЮ в одном репозитории

Когда-то это был просто список на StackOverflow. Сегодня — один из самых популярных репозиториев GitHub, где ты найдешь интересующие книги по разработке, блокчейну, вебу, а еще:

→ Курсы и туториалы
→ Интерактивные ресурсы
→ Подкасты и скринкасты

Сохраняй, пригодится 👌

🐸 Библиотека программиста
  • ❤ 13
  • 👍 8
  • 👏 5
  • 😢 5
  • 🥰 4
  • 🤔 4
  • 🤩 4
  • 🙏 4
  • 💯 3
  • 😁 2
Post #11815 6.66K
beautiful-mermaid — рендерер диаграмм в виде красивых SVG-файлов или ASCII-графики 🔥

Возможность визуализировать потоки данных, конечные автоматы и архитектуру системы — прямо в терминале или интерфейсе AI-чата — позволяет мгновенно понять сложные концепции.

👉 GitHub

🐸 Библиотека программиста
  • ❤ 19
  • 🔥 11
  • 👾 7
  • 🤩 6
  • 👏 5
  • 😁 4
  • 🤔 4
  • 😍 4
  • 🌚 3
  • ⚡ 2
Post #11813 6.76K
📚 Читаете ли вы техническую литературу, чтобы прокачать свои навыки?

❤️ — да, постоянно читаю
👍 — иногда читаю
👾 — почти не обращаюсь к книгам, получаю знания из других источников

Посоветуйте в комментариях книги, которые показались вам наиболее полезными 🤩

Больше полезных книг — у нас в канале @progbook 📍

🐸 Библиотека программиста
  • ❤ 72
  • 👾 47
  • 👍 39
  • 🌚 7
  • 😁 5
  • 😢 5
  • 🎉 5
  • 👏 4
  • ❤‍🔥 3
  • 🥱 3
Post #11811 6.2K
🧹 Нейронка оставила слишком много следов? Есть способ замести их.

kill-ai-slop прогоняет кодовую базу и ищет типичные AI-паттерны: индиго-градиенты, glowing-карточки, эмодзи, бейджи и другие признаки «это явно сделал ChatGPT».

Причём не просто тыкает пальцем, а объясняет, почему это выглядит как AI-slop, и предлагает минимальные правки.

❤️ — если уже устали от одинаковых AI-сайтов

🔗 ⁠GitHub
🔗 Каталог из 33 AI-паттернов

🐸 Библиотека программиста
  • ❤ 21
  • 🔥 8
  • 😁 7
  • 🎉 7
  • ❤‍🔥 6
  • 👍 6
  • 🤔 4
  • 😢 4
  • 🥱 4
  • 👏 3
Post #11810 6.82K
🎙️ Голосовой агент, который не ждёт, пока вы договорите

NVIDIA показала Nemotron VoiceChat — модель, которая умеет одновременно слушать, отвечать и вызывать инструменты.

Можно перебить агента прямо посреди ответа, отправить его искать информацию или работать с календарём — и продолжить диалог без отдельного режима «инструментов».


Заявленная задержка прерывания — около 480 мс, а обучение проводилось на 550 тыс. часов речи.

❤️ — хочу попробовать
🔥 — голосовые агенты наконец становятся интересными

🐸 Библиотека программиста
  • ❤ 33
  • 🔥 11
  • ⚡ 4
  • 🤔 4
  • 🤩 4
  • 😁 3
  • 😢 3
  • 🙏 3
  • 💯 3
  • 👍 2
Post #11809 6.74K
😎 Работа работой, а отпуск — по расписанию!

Помогите разрабу уехать в отпуск в игре от наших друзей из Типичного Программиста 🏝

Ловите в игре промо-код со скидкой 15% на все наши курсы до 31.08 и другие плюшки от партнёров! 🔥
  • 🎉 9
  • 🥰 7
  • 😢 7
  • 🤩 4
  • 👾 4
  • 🔥 3
  • 👏 3
  • 🤔 3
  • 😍 3
  • 👍 2
Older posts →
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →