Инструменты программиста
前往频道在 Telegram
Полезные инструменты для программистов — бесплатные и платные Разместить рекламу: @tproger_sales_bot Правила общения: https://tprg.ru/rules Другие каналы: @tproger_channels Регистрация в перечне РКН: https://tprg.ru/mX0S
显示更多
网络:📈 Telegram 频道 Инструменты программиста 的分析概览
频道 Инструменты программиста (@prog_tools) 俄语 语言赛道中的 是活跃参与者。目前社区聚集了 13 071 名订阅者，在 技术与应用 类别中位列第 9 653，并在 俄罗斯 地区排名第 50 295 位。
📊 受众指标与增长动态
自 невідомо 创建以来，项目保持高速增长，吸引了 13 071 名订阅者。
根据 08 七月, 2026 的最新数据，频道保持稳定运转。过去 30 天订阅人数变化为 -58，过去 24 小时变化为 -1，整体触达仍然可观。
- 认证状态： 未认证
- 互动率 (ER)： 平均受众互动率为 14.00%。内容发布后 24 小时内通常能获得 6.50% 的反应，占订阅者总量。
- 帖子覆盖： 每篇帖子平均可获得 1 830 次浏览，首日通常累积 849 次浏览。
- 互动与反馈： 受众积极参与，单帖平均反应数为 3。
- 主题关注点： 内容集中在 github, git, docker, install, api 等核心主题上。
📝 描述与内容策略
作者将该频道定位为表达主观观点的平台：
“Полезные инструменты для программистов — бесплатные и платные
Разместить рекламу: @tproger_sales_bot
Правила общения: https://tprg.ru/rules
Другие каналы: @tproger_channels
Регистрация в перечне РКН: https://tprg.ru/mX0S”
凭借高频更新（最新数据采集于 09 七月, 2026），频道始终保持新鲜度与高覆盖。分析显示受众积极互动，使其成为 技术与应用 类别中的关键影响点。
13 071
订阅者
-124 小时
-147 天
-5830 天
数据加载中...
吸引订阅者
七月 '26
七月 '26
+11
在0个频道中
六月 '26
+58
在2个频道中
Get PRO
五月 '26
+74
在0个频道中
Get PRO
四月 '26
+48
在2个频道中
Get PRO
三月 '26
+38
在6个频道中
Get PRO
二月 '26
+46
在4个频道中
Get PRO
一月 '26
+75
在2个频道中
Get PRO
十二月 '25
+82
在4个频道中
Get PRO
十一月 '25
+74
在7个频道中
Get PRO
十月 '25
+57
在3个频道中
Get PRO
九月 '25
+123
在2个频道中
Get PRO
八月 '25
+78
在2个频道中
Get PRO
七月 '25
+108
在2个频道中
Get PRO
六月 '25
+141
在3个频道中
Get PRO
五月 '25
+121
在5个频道中
Get PRO
四月 '25
+103
在1个频道中
Get PRO
三月 '25
+149
在7个频道中
Get PRO
二月 '25
+96
在4个频道中
Get PRO
一月 '25
+88
在4个频道中
Get PRO
十二月 '24
+95
在5个频道中
Get PRO
十一月 '24
+55
在4个频道中
Get PRO
十月 '24
+72
在6个频道中
Get PRO
九月 '24
+112
在6个频道中
Get PRO
八月 '24
+83
在6个频道中
Get PRO
七月 '24
+82
在5个频道中
Get PRO
六月 '24
+43
在2个频道中
Get PRO
五月 '24
+114
在2个频道中
Get PRO
四月 '24
+126
在6个频道中
Get PRO
三月 '24
+113
在1个频道中
Get PRO
二月 '24
+119
在3个频道中
Get PRO
一月 '24
+100
在5个频道中
Get PRO
十二月 '23
+89
在3个频道中
Get PRO
十一月 '23
+3 608
在35个频道中
Get PRO
十月 '23
+99
在2个频道中
Get PRO
九月 '23
+112
在0个频道中
Get PRO
八月 '23
+153
在0个频道中
Get PRO
七月 '23
+142
在0个频道中
Get PRO
六月 '23
+290
在0个频道中
Get PRO
五月 '23
+161
在0个频道中
Get PRO
四月 '23
+237
在0个频道中
Get PRO
三月 '23
+248
在0个频道中
Get PRO
二月 '23
+348
在0个频道中
Get PRO
一月 '23
+509
在0个频道中
Get PRO
十二月 '22
+219
在0个频道中
Get PRO
十一月 '22
+215
在0个频道中
Get PRO
十月 '22
+478
在0个频道中
Get PRO
九月 '22
+287
在0个频道中
Get PRO
八月 '22
+754
在0个频道中
Get PRO
七月 '22
+598
在0个频道中
Get PRO
六月 '22
+1 143
在0个频道中
Get PRO
五月 '22
+692
在0个频道中
Get PRO
四月 '22
+846
在0个频道中
Get PRO
三月 '22
+4 815
在0个频道中
Get PRO
二月 '22
+166
在0个频道中
Get PRO
一月 '22
+2 400
在0个频道中
Get PRO
十二月 '21
+2 492
在0个频道中
Get PRO
十一月 '21
+2 933
在0个频道中
| 日期 | 订阅者增长 | 提及 | 频道 | |
| 08 七月 | 0 | |||
| 07 七月 | 0 | |||
| 06 七月 | 0 | |||
| 05 七月 | +1 | |||
| 04 七月 | +6 | |||
| 03 七月 | +2 | |||
| 02 七月 | +2 | |||
| 01 七月 | 0 |
频道帖子
Когда параллельно работают несколько кодинг-агентов, каждый живёт в своей вкладке терминала, и непонятно, кто ждёт ответа, кто работает, а кто давно закончил. herdr собирает их в один терминал: как tmux, только с пониманием того, что в панелях сидят агенты.
Что внутри:
🔘 у каждого агента настоящий терминал, поэтому даже полноэкранные TUI рендерятся как надо;
🔘 сайдбар показывает состояние каждого: заблокирован, работает, закончил, простаивает — без хуков и настройки;
🔘 воркспейсы, вкладки и сплиты с полноценной поддержкой мыши;
🔘 фоновый сервер держит агентов живыми при отключении, переподключиться можно с другого терминала или с телефона по SSH;
🔘 локальный socket API и плагины на любом языке.
Один бинарник около 10 МБ, Linux и macOS, Windows в бете. 30 июня был первым в дневных трендах GitHub.
Пригодится тем, кто гоняет несколько Claude Code или Codex параллельно и устал от зоопарка вкладок.
Язык: Rust. Лицензия: AGPL-3.0 (двойное лицензирование).
@prog_tools
| 2 |  Десять CLI, SDK и Terraform-провайдеров — из одной OpenAPI-спецификации?
21 июля в 17:00 в новом выпуске реалити-проекта «Создавая облако» от MWS Cloud Platform технический руководитель платформы Дмитрий Новиков покажет, как устроена внутренняя кухня автоматизации облака.
Что будет в эфире:
🔘Тотальный dogfooding: почему внутренние команды работают теми же инструментами, что и клиенты;
🔘Как устроен декларативный API: манифест → reconcile → desired state;
🔘Пять инструментов автоматизации — UI, CLI, Terraform, Golang SDK и Packer, — зачем нужен каждый;
🔘Как один кодогенератор из единой спецификации кормит десять артефактов;
🔘Почему Packer остаётся осознанным исключением и пишется руками.
Выпуск будет интересен backend-разработчикам, DevOps- и SRE-инженерам, platform-инженерам, техническим лидам и архитекторам.
➡️ Зарегистрироваться | 881 |
| 3 | Кодинг-агенты сжигают контекст на grep и чтение файлов, чтобы понять структуру чужого кода. codebase-memory-mcp подходит к задаче иначе: индексирует репозиторий в постоянный граф знаний и отдаёт агенту готовые структурные ответы через MCP.
Что внутри:
🔘 парсинг через tree-sitter для 158 языков, ядро Linux с его 28 млн строк индексируется за 3 минуты, обычный репозиторий — за миллисекунды;
🔘 структурные запросы отвечают быстрее миллисекунды: поиск символов, трассировка вызовов, анализ влияния правки, поиск мёртвого кода;
🔘 по замерам авторов 5 структурных запросов обходятся в ~3400 токенов против ~412 000 при переборе файлов;
🔘 один статический бинарник без зависимостей, всё работает локально; команда install сама настраивает Claude Code, Codex, Gemini CLI и ещё восемь агентов;
🔘 встроенная интерактивная 3D-визуализация графа кода.
Пригодится тем, кто пускает агентов в большие репозитории и следит за расходом токенов.
Язык: C. Лицензия: MIT.
@prog_tools | 1 058 |
| 4 | urfave/cli v3.10.1 — мелкий, но нужный патч для CLI на Go
urfave/cli — библиотека для консольных утилит на Go: команды, флаги, автокомплит для bash/zsh/fish/powershell и генерация справки декларативно, без сторонних зависимостей поверх стандартной библиотеки. На GitHub больше 24 тысяч звёзд. Версия v3.10.1 вышла 29 июня.
Что поправили:
🔘 алиас -v для флага версии теперь уступает место пользовательскому флагу, если тот тоже просит -v;
🔘 порядок подкоманд в автокомплите справки стал детерминированным, а не зависящим от порядка регистрации;
🔘 DefaultCommand научился обрабатывать собственные флаги, не отдавая их родительской команде;
🔘 поправлен подсчёт примеров в gfmrun, чтобы совпадал с реально запускаемым количеством.
Пригодится Go-разработчикам, которые пишут CLI-инструменты и хотят декларативно объявлять команды и флаги вместо ручного разбора os.Args.
https://github.com/urfave/cli/releases/tag/v3.10.1
Язык: Go. Лицензия: MIT.
@prog_tools | 1 045 |
| 5 | Meshery v1.0.50 — крупное обновление моделей под AWS
Meshery — платформа управления cloud native инфраструктурой: собирает Kubernetes, service mesh и облачные ресурсы в единую визуальную схему, из которой можно применять конфигурацию напрямую. Язык в основном TypeScript, в репозитории также много Go, на GitHub больше 11 тысяч звёзд. Релиз v1.0.50 вышел 29 июня.
Что приехало:
🔘 добавлены десятки relationship-описаний для сервисов AWS: 15 для aws-ecr-controller, 10 для aws-applicationautoscaler-controller, 12 для компонентов S3;
🔘 11 кросс-сервисных связей между Lambda, S3, DynamoDB, EC2, RDS, SNS, SQS, IAM, CloudWatch и ApiGatewayV2: теперь Meshery видит, как эти сервисы связаны между собой на схеме;
🔘 иерархические связи добавили и для других экосистем: Azure App Service, Flux, Karpenter, MetalLB, Stackgres, KEDA, cert-manager;
🔘 новые модели для AWS Glue Controller, nvidia-gpu-operator и node-feature-discovery;
🔘 в CLI исправили minimum(), которая при равных аргументах ошибочно возвращала максимум.
Пригодится DevOps- и platform-инженерам, которые собирают инфраструктуру как дизайн-схему, а не читают YAML построчно.
https://github.com/meshery/meshery/releases/tag/v1.0.50
Язык: TypeScript и Go. Лицензия: Apache-2.0.
@prog_tools | 1 092 |
| 6 | fastfetch 2.65.2 — точнее считает память при ZFS и не будит спящий GPU
fastfetch — быстрая замена neofetch, которая выводит информацию о системе в терминал: ОС, ядро, память, видеокарта, логотип дистрибутива. Написан на C, на GitHub больше 23 тысяч звёзд. Версия 2.65.2 вышла 28 июня.
Что поправили:
🔘 модуль памяти больше не учитывает ZFS ARC cache при подсчёте занятой памяти на Linux, FreeBSD, NetBSD и SunOS: раньше при включённом ZFS цифра получалась завышенной;
🔘 модуль GPU перестал будить спящую дискретную видеокарту на ноутбуках с гибридной графикой, чтобы просто узнать её название;
🔘 определение скорости PCIe-линка теперь работает только в режиме driverSpecific;
🔘 исправлен краш при определении поддержки аппаратных кодеков на драйвере amdgpu.
Пригодится тем, кто украшает вывод терминала и дотошно проверяет, что именно показывают системные виджеты.
https://github.com/fastfetch-cli/fastfetch/releases/tag/2.65.2
Язык: C. Лицензия: MIT.
@prog_tools | 1 176 |
| 7 | LiteParse 2.4.0 — координаты слов и Markdown прямо в JSON
LiteParse переводит документы, в основном PDF, в структурированный JSON: текст, таблицы, координаты элементов на странице. Написан на Rust, но собирают биндинги под Python, Node.js, WASM и Docker. Релиз v2.4.0 вышел 30 июня, на GitHub уже больше 11 тысяч звёзд.
Главное в релизе:
🔘 в JSON можно включить word-level bounding box: координаты рамки для каждого отдельного слова на странице, а не только для блоков текста;
🔘 в page-level вывод добавили поле markdown, которое отдаёт содержимое страницы сразу в виде Markdown, без отдельного постпроцессинга;
🔘 обновление выкатили одновременно во всех формах поставки: crates и CLI, Python, Node.js, WASM и Docker-образ.
Пригодится тем, кто строит пайплайны обработки документов: OCR, импорт в CMS, подготовку данных для поиска.
https://github.com/run-llama/liteparse/releases/tag/crates-v2.4.0
Язык: Rust. Лицензия: Apache-2.0.
@prog_tools | 1 358 |
| 8 | VPS vs VDS vs виртуальный хостинг: что выбрать в 2026
Часто сервер выбирают по цене, а потом упираются в нехватку ресурсов, гибкости или поддержки. И почти никто не знает главного: VPS и VDS — это в большинстве случаев одно и то же, разница только в названии. Реально выбор идёт между хостингом (провайдер всё настроил, но конфигурация ограничена) и изолированным сервером с root-доступом.
В подборке 6 провайдеров под разные сценарии: от старта на виртуальном хостинге за ~123 рубля в месяц до VPS с зарубежными локациями. Внутри реальные цены, лимиты, условия по бэкапам, тестовым периодам и подсказки как сделать правильный выбор для своего случая. | 1 334 |
| 9 | just 1.54.0 — раннер команд проекта научился кэшировать рецепты
just это команд-раннер: складываете команды проекта в justfile и зовёте их коротко, just build вместо длинной строки. От make он отличается тем, что это именно запускалка рецептов, без системы сборки и без правил о зависимостях файлов по умолчанию. Релиз 1.54.0 вышел 23 июня, на GitHub больше 34 тысяч звёзд.
Главное в релизе — кэширование рецептов:
🔘рецепт со скриптом помечается атрибутом [cache], и тогда just пропускает повторный запуск, пока ключ кэша не изменился;
🔘ключ это BLAKE3-хеш сериализованного JSON с именем рецепта, аргументами и дополнительными полями; сам кэш лежит в папке .justcache рядом с justfile и в репозиторий не коммитится;
🔘[cache(inputs = ["lib.c", "main.c"])] добавляет в ключ хеши входных файлов, поэтому правка исходника даёт промах кэша и перезапуск, как зависимости в make;
🔘на записях кэша берутся файловые локи: при параллельном запуске с одним ключом рецепт отработает один раз, второй процесс подождёт и пропустит;
🔘флаг --no-cache отключает кэш целиком, а just --clean чистит его выборочно, по рецепту или по модулю.
Что ещё приехало в 1.54.0:
🔘атрибут [continue] продолжает рецепт, если команду прервали сигналом и она при этом успела завершиться успешно, по умолчанию это SIGINT, то есть Ctrl-C;
🔘set dotenv-command и --dotenv-command запускают команду и подгружают её вывод как env-файл, удобно для расшифровки секретов на лету, например через sops;
🔘аргументы рецепта теперь могут быть выражением, а не только литералом.
Авторы прямо предупреждают: кэшированные рецепты по своей природе хрупкие, и за полноту ключа отвечаете вы. Пригодится тем, кто гоняет повторяющиеся сборочные шаги через justfile и хочет пропускать те, где входные данные не поменялись.
https://github.com/casey/just
Язык: Rust. Лицензия: CC0-1.0.
@prog_tools | 1 496 |
| 10 | Pathway — Python-фреймворк для потоковой обработки данных на Rust-движке
Pathway даёт писать на Python пайплайны реального времени: чтение из источника, преобразования, запись в приёмник, а тяжёлая часть считается Rust-движком. Тот же код работает и на пакетных данных, и на бесконечном потоке. Релиз v0.31.1 вышел 12 июня, на GitHub больше 62 тысяч звёзд.
Этот релиз почти целиком про новые коннекторы к базам:
🔘pw.io.elasticsearch.read читает индекс Elasticsearch: своего механизма отслеживания изменений у него нет, поэтому коннектор опрашивает и сверяет пересечение соседних запросов, чтобы ни одна строка не потерялась и не пришла дважды;
🔘pw.io.clickhouse.write пишет в ClickHouse по нативному протоколу, в двух режимах: поток изменений с колонками time и diff либо снапшот текущего состояния в ReplacingMergeTree;
🔘pw.io.mysql.read делает полноценный захват изменений через бинлог MySQL: сначала снимок таблицы, потом непрерывная доставка вставок, обновлений и удалений;
🔘расширили чтение Iceberg, теперь декодируются все примитивные типы, включая date, time, uuid, fixed и decimal;
🔘у коннекторов Postgres добавили набор проверок на старте, чтобы кривая конфигурация падала понятной ошибкой ещё до молчаливой потери строк.
Пригодится дата-инженерам, которые строят аналитику и ETL реального времени и устали склеивать поток из десятка разных коннекторов вручную.
https://github.com/pathwaycom/pathway
Язык: Python и Rust. Лицензия: BSL-1.1.
@prog_tools | 3 824 |
| 11 |  Homebrew 6.0 не доверяет сторонним taps, пока вы не согласитесь
Если вы ставили пакеты через Homebrew, сторонний tap мог нести произвольный Ruby-код. В 6.0 эта схема сломалась: теперь сторонние репозитории должны явно получить trust, прежде чем что-то установить. Мелочь, но она закрывает большую дыру в цепочке поставок.
Песочница на Linux теперь включена по умолчанию — через Bubblewrap, как на macOS последние десять лет. Плюс brew vulns проверяет установленные пакеты по открытой базе уязвимостей OSV, а brew install и brew upgrade стали спрашивать перед запуском. Мне кажется, это именно тот случай, когда ломать обратную совместимость ради безопасности — правильный выбор.
Подробности. | 1 517 |
| 12 | Penpot — опенсорсный дизайн-инструмент, который дружит с кодом
Penpot это открытая альтернатива Figma, которую делают с прицелом на разработчиков: макеты описываются понятиями вёрстки, а из любого элемента достаётся готовый CSS. Версия 2.16.0 вышла 11 июня, на GitHub больше 53 тысяч звёзд.
Что приехало в 2.16.0:
🔘рендеринг через WebGL в статусе беты, включается в настройках пользователя;
🔘дизайн-токены прямо во вкладке дизайна: числовые поля теперь принимают токен на месте, без отдельной панели;
🔘дублирование цветовых и типографических стилей;
🔘процент прозрачности виден прямо на значениях цвета в библиотеке;
🔘очистка направляющих артборда из контекстного меню;
🔘индикатор загрузки при импорте и экспорте файлов.
Чем Penpot интересен разработчику помимо рисования: режим Inspect отдаёт SVG, CSS и HTML для любого элемента, раскладки строятся на Flex и Grid как в реальной странице, есть REST API, вебхуки, плагины и MCP-сервер для связки с ИИ-инструментами. Развернуть можно у себя через Docker или Kubernetes, либо работать в облаке.
Пригодится тем, кто строит дизайн-систему, проектирует интерфейсы и хочет, чтобы макет сразу превращался в код.
https://github.com/penpot/penpot
Язык: Clojure и JavaScript. Лицензия: MPL-2.0.
@prog_tools | 1 589 |
| 13 | На днях читал об автоматизации работы с инженерными чертежами в @dataundercontrol. Нужно было распознавать печатный и рукописный текст, автоматически извлекать ключевые параметры деталей, обрабатывать тех. обозначения, допуски и ГОСТы. Всё это в условиях плохих сканов, не очень хорошей документации и устаревших данных. В итоге получилось ускорить скорость принятия технических решений, подбор аналогов и подготовку документации.
Я немного полистал канал, в нём были и другие кейсы: визуализация стоматологических планов лечения, автоматизация производства, бэк-офисов и другие. Причём примеры бывают и с экономическим обоснованием, и с обзором пользы от внедрения ИИ. Ещё в канале выходят неплохие еженедельные дайджесты новостей ИИ и анонсы мероприятий.
Такие примеры лично для меня как раз и превращают ИИ из игрушки, которая генерирует смешные картинки, в реальный инструмент, который влияет на жизни людей.
@prog_tools | 1 538 |
| 14 |  VibeUI собрал 92 промпта, чтобы нейросеть выдавала интерфейсы, а не абстракцию на белом фоне
Если вы хоть раз просили нейросеть сверстать форму входа, то знаете: результат либо разъезжается, либо кнопка улетает за экран. VibeUI — подборка из 92 промптов под конкретные UI-паттерны: авторизация, прайсинг, hero-секции, bento-сетки и ещё несколько типовых блоков. Каждый промпт идёт вместе с примером раскладки: split-screen, карточка по центру, минимальная одноколонка или вход через соцсети первым делом.
Автор явно не выдумывал шаблоны с нуля: они покрывают реальные сценарии, которые обычно приходится дожимать руками. Я бы забрал оттуда пару заготовок для следующего прототипа, варианты на сайте. | 1 386 |
| 15 | NetWatch — сетевой монитор в терминале, который читает зашифрованный трафик
Большинство сетевых утилит отвечают на один вопрос: кто ест трафик. NetWatch идёт дальше, он разбирает протоколы на проводе, называет процесс за каждым соединением и следит за признаками заражения. Свежий релиз v0.25.8 вышел 20 июня, на GitHub около 2,1 тысячи звёзд.
Что внутри:
🔘чтение зашифрованного трафика, который вы контролируете: направляете SSLKEYLOGFILE приложения в NetWatch и видите расшифрованную сессию TLS 1.3 прямо в терминале, без прокси и подмены сертификата;
🔘отпечатки JA4: каждое рукопожатие TLS или QUIC сворачивается в стабильный отпечаток, по нему узнаёшь конкретного клиента или конкретную малварь, даже когда трафик шифрован;
🔘детекторы из коробки: маячки управляющего сервера, сканирование портов и туннелирование через DNS, критичный алерт сам замораживает запись инцидента;
🔘привязка соединения к процессу через ядерный eBPF-зонд, который точно знает, какая программа открыла сокет; где eBPF недоступен, есть запасной путь;
🔘разбор протоколов до уровня приложения: TLS, QUIC, HTTP, DNS, SSH и ещё десяток, со сборкой TCP-потока, так что в соединении читается домен api.github.com и его отпечаток JA4, номер порта уже вторичен.
После старта программа сбрасывает привилегии и запирается в песочнице Landlock: инструмент, который разбирает враждебный трафик, физически не дотянется до ваших ключей и /etc/shadow.
Пригодится сетевым инженерам, специалистам по реагированию на инциденты, SRE и владельцам домашних лаб, которым надо видеть, что происходит в сети прямо сейчас.
https://github.com/matthart1983/netwatch
Язык: Rust. Лицензия: MIT.
@prog_tools | 1 560 |
| 16 |  FTXUI — терминальный UI на C++ без мук ncurses
Писать консольный интерфейс на C++ обычно означает либо возню с ncurses, либо самодельную обвязку поверх escape-последовательностей. FTXUI предлагает другой путь: UI описывается в функциональном стиле, а не вяжется из виджетов вручную.
У проекта уже 10,3k звёзд, 596 форков и 909 коммитов. Это не хобби-наработка на один вечер. Рядом с исходниками лежат примеры, документация и сборка через CMake и Bazel.
Если вы когда-нибудь хотели свой htop, файловый менеджер в консоли или красивый конфигуратор, стоит заглянуть ради примеров и архитектуры. | 1 687 |
| 17 |  ImHex — hex-редактор, который бережёт глаза при ночном реверсе
ImHex нацелен на реверс-инженеров и программистов, которым приходится разглядывать бинарники допоздна. Главная заявка: не только удобная работа с байтами, но и интерфейс, который не выжигает сетчатку к 3 часам ночи.
Если вы копаетесь в файловых форматах, анализируете прошивки или отлаживаете протоколы, проверьте, насколько здесь удобнее классического hex-редактора. Упор на визуальную подачу данных может снизить усталость при долгих сессиях. Исходники лежат на GitHub, можно скачать и потрогать руками. | 2 469 |
| 18 | Кто-то завернул антидетект-браузер в REST API, чтобы ИИ-агенты ходили в сеть без шума
Camoufox хорошо прячет браузер от автоматических проверок, но запускать его руками из агента — постоянная возня с профилями, проксями и разрешениями. Автор репозитория собрал сервер поверх движка: один запрос, и браузер уже открывает страницу, прикинувшись обычным пользователем.
Ещё один плюс: поддержка OpenClaw plugin. То есть к серверу можно подключать внешние расширения и не городить всю логику в одном скрипте. Пригодится для парсинга, тестирования автоматизации и сбора данных без постоянной войны с антиботами.
Репозиторий на GitHub. | 1 564 |
| 19 |  Интерпретатор Wasm, который одновременно доказывает свою правоту
Talos не разделяет код, который запускает WebAssembly, и код, который описывает её правила. В одном репозитории на Lean 4 одни и те же определения выполняют Wasm-инструкции и служат основой для рассуждений о них.
Это значит, что спецификацию не нужно синхронизировать с реализацией отдельно: если интерпретатор что-то проглотил, с ним можно рассуждать формально, не подгоняя спецификационный интерпретатор под код. Пока проект в активной разработке, API доказательств может меняться, но сам подход цепляет.
Код лежит на GitHub. | 1 521 |
| 20 | Homebrew добрался до мажорной версии 6.0 — пакетный менеджер для macOS и Linux, релиз от 11 июня. На GitHub больше 48 тысяч звёзд.
Главная тема релиза — безопасность установки. Homebrew давно ругали за то, что формула при сборке может делать в системе почти что угодно; в шестёрке вокруг этого закрутили песочницу.
Что внутри:
🔘 песочница теперь запрещает чтение домашней директории целиком, кроме каталогов самого Homebrew — формула при сборке не дотянется до ваших ключей и конфигов;
🔘 добавлена команда настройки песочницы, чтобы включить и проверить изоляцию;
🔘 разделение доверия: bundle-формулы и сторонние tap'ы из недоверенных источников обрабатываются строже, с явным подтверждением;
🔘 по умолчанию используется внутренний API для метаданных формул и кэшей — установка стартует быстрее;
🔘 ужесточили работу с редиректами tap'ов и очисткой недоверенных формул.
Пригодится всем, кто живёт на Homebrew: мажорное обновление с упором на изоляцию сборки стоит поставить, особенно если ставите формулы из сторонних tap'ов.
Язык: Ruby. Лицензия: BSD-2-Clause.
@prog_tools | 1 838 |
