Справочник Программиста

💻 CrossHair — это инструмент для статического анализа и проверки Python-кода, который использует символическое исполнение и SMT-решатели для поиска ошибок в функциях с аннотациями типов и контрактами. Автоматически исследует возможные входные данные и пути выполнения программы, чтобы выявить случаи нарушения условий (например, предусловий, постусловий или инвариантов), которые обычное тестирование может пропустить. Основные особенности: 🔵Проверка Python-кода с помощью контрактов и аннотаций типов 🔵Символическое исполнение с использованием SMT-решателя 🔵Поддержка стандартной библиотеки и пользовательских классов 🔵Интеграции с IDE (VS Code, PyCharm и др.) 🔵Работа как backend для Hypothesis 🔵Генерация unit-тестов 🔵Поиск поведенческих различий между функциями 🔵Инспекция и сравнение контрактов ➡️Установка: pip install crosshair-tool 📱 Репозиторий ⚙️ Документация ➡️Справочник Программиста. Подписаться

Не дайте хакерам использовать утечки против вас Преступники активно используют слитые данные компаний, чтобы получить несанкционированный доступ. А объем таких утечек за 2024 год вырос на 64%. На вебинаре расскажем, как действовать на опережение и не допустить масштабных взломов с крупными финансовыми потерями. Подключайтесь 7 октября, чтобы узнать: Как утечки открывают хакерам двери в инфраструктуру; Как отслеживать сливы с помощью сервиса мониторинга Solar AURA; Как базы утечек могут быть использованы для пентестов. Присоединяйтесь, чтобы научиться закрывать уязвимости раньше, чем их используют хакеры. К тому же мы разыграем три билета на SOC Forum 2025 — главное событие этой осени в российском ИБ-мире. Зарегистрироваться #реклама 16+ rt-solar.ru О рекламодателе

📚 abogen — это инструмент, позволяющий генерировать аудиокниги из файлов форматов EPUB, PDF, текстовых и markdown-файлов, при том с синхронизированными субтитрами/титрами. Основные особенности: ⏺Поддержка форматов EPUB, PDF, TXT, Markdown ⏺Генерация аудио с настройкой голоса и скорости речи ⏺Синхронизация субтитров разными стилями (по словам, предложениям и др.) ⏺Поддержка глав с сохранением в отдельные файлы или объединением ⏺Экспорт в форматы WAV, FLAC, MP3, OPUS, M4B ⏺Графический интерфейс и командная строка ➡️ Установка: pip install abogen 📱 Репозиторий ➡️Справочник Программиста. Подписаться

Открой мощь новых MSI с GeForce RTX 50 Серия NVIDIA GeForce RTX 50 в ноутбуках MSI — это квантовый скачок в мире мощности. Игры на максималках, 3D-рендер без ожиданий, монтаж видео в реальном времени и искусственный интеллект, работающий с небывалой скоростью. Эта техника создана не просто для задач — она их уничтожает. Будь в центре производительности нового поколения. MSI с RTX 50 — когда ты не хочешь ждать, а действуешь. Узнать больше #реклама msi.gm О рекламодателе

🔍 Код для поиска заданных строк по текстовым файлам на Python

Данный код рекурсивно проходит по всем .txt файлам в указанной папке и ищет в них заданное слово. Если слово найдено — выводится путь к файлу, где оно встречается. При ошибках чтения (например, из-за кодировки) программа их обрабатывает и продолжает работу.

from pathlib import Path


def search_in_files(query: str, directory: str = ".") -> None:
    """Ищет строки с заданным словом во всех .txt файлах внутри каталога."""
    base_path = Path(directory)

    for file in base_path.rglob("*.txt"):
        try:
            text = file.read_text(encoding="utf-8", errors="ignore")
        except (OSError, UnicodeDecodeError) as e:
            print(f"Не удалось прочитать файл {file}: {e}")
            continue

        if query in text:
            print(f"Найдено в: {file}")


if __name__ == "__main__":
    search_in_files("важное_слово")

➡️Справочник Программиста. Подписаться

Дарим подписку на Яндекс Музыку Ответьте на 1 вопрос и Яндекс Музыка ваша для вас и 3-х ваших близких. Кинопоиск и Яндекс Книги тоже в подписке. Попробуйте бесплатно❤️ Попробовать #реклама 18+ music.yandex.ru О рекламодателе Реклама на Яндексе

🔧 shed-skin — это экспериментальный компилятор/транспайлер, который переводит на C++ фрагменты кода на Python, с определёнными ограничениями. Основные особенности: 🔵Транспайлер Python в C++ 🔵Работает только с подмножеством Python (статическая типизация, вывод типов) 🔵Позволяет собирать как отдельные программы, так и модули для импорта в Python 🔵Поддерживает ограниченное число стандартных модулей (~25) 🔵Не поддерживает динамические фичи Python (например, вложенные функции, переменное число аргументов) 🔵Достигает ускорения от 1 до 100 раз по сравнению с CPython 🔵Требует установленного C++ компилятора и зависимостей ➡️Установка: pip install shed-skin 📱 Репозиторий ⚙️ Документация ➡️Справочник Программиста. Подписаться

🖱 tkinterdnd2 — это Python-пакет, который добавляет нативную поддержку перетаскивания в приложениях на основе Tkinter для Windows, Unix и macOS. Основные возможности: 🔵Поддержка перетаскивания файлов 🔵Регистрация Tkinter-виджетов как областей для приёма данных 🔵Обработка события <<Drop>> для получения перетаскиваемых данных 🔵Кроссплатформенная работа на Windows, macOS и Unix 🔵Интеграция с PyInstaller через готовый hook-файл ✅ Пример кода:

import tkinter as tk

from tkinterdnd2 import DND_FILES, TkinterDnD

root = TkinterDnD.Tk()  # notice - use this instead of tk.Tk()

lb = tk.Listbox(root)
lb.insert(1, "drag files to here")

# register the listbox as a drop target
lb.drop_target_register(DND_FILES)
lb.dnd_bind('<<Drop>>', lambda e: lb.insert(tk.END, e.data))

lb.pack()
root.mainloop()

➡️Установка: pip install tkinterdnd2 📱 Репозиторий ➡️Справочник Программиста. Подписаться

Дарим подписку на Яндекс Музыку Ответьте на 1 вопрос и Яндекс Музыка ваша для вас и 3-х ваших близких. Кинопоиск и Яндекс Книги тоже в подписке. Попробуйте бесплатно❤️ Попробовать #реклама 18+ music.yandex.ru О рекламодателе Реклама на Яндексе

💻 copyparty — это портативный файловый сервер на Python, с очень богатыми возможностями, одна программа, минимум зависимостей. Основные возможности: 🔵загрузка и скачивание файлов через браузер 🔵возобновляемые загрузки 🔵устранение дубликатов файлов 🔵поддержка протоколов HTTP, WebDAV, FTP, TFTP, SMB/CIFS 🔵архивация папок на лету (zip/tar) 🔵предпросмотр и миниатюры для изображений, видео и аудио 🔵индексация и поиск по именам, тегам и метаданным 🔵гибкая система прав доступа и пользователей 🔵работа без зависимостей, кроссплатформенность 🔵обнаружение в локальной сети 📱 Репозиторий ➡️Справочник Программиста. Подписаться

📹 GameFactory — это фреймворк для генерации игровых видео с управляемыми действиями, рассчитанный на создание новых игр и сцен, а не только имитацию уже существующих. Основные возможности: ⏺Генерация игровых видео с управляемыми действиями (мышь + клавиатура) ⏺Использование предобученных видео-диффузионных моделей как основы ⏺Разделение визуального стиля и управления действиями ⏺Обучение на специализированном датасете GF-Minecraft с разнообразными сценами ⏺Модуль управления дискретными и непрерывными действиями ⏺Многофазная стратегия тренировки для сохранения обобщаемости ⏺Авторегрессионная генерация длинных видеороликов ⏺Поддержка разнообразных игровых стилей и открытых сцен ⏺Реакция модели на ввод пользователя в реальном времени ⏺Возможность работы как генеративный игровой движок 📱 Репозиторий ➡️Справочник Программиста. Подписаться

Бесплатный курс по дизайну: веб, графический и UX/UI Получи востребованные навыки: - создание дизайна сайтов и приложений - создание инфографики и карточек для маркетплейсов - работа в графическом редакторе Figma и др. Студенты курса в среднем зарабатывают от 68 000 ₽ уже во время обучения💰 Зарегистрироваться #реклама 16+ yudaevschool24.online О рекламодателе

✨Rustworkx — это высокопроизводительная библиотека для работы с графами на Python, реализованная на языке Rust. Основные особенности: 🔵Высокая производительность за счёт реализации на Rust 🔵Полноценный Python-интерфейс через PyO3 🔵Поддержка направленных, ненаправленных графов и DAG 🔵Большой набор графовых алгоритмов (например, поиск кратчайшего пути) 🔵Возможность визуализации графов через Matplotlib и Graphviz ➡️Установка: pip install rustworkx 📱 Репозиторий ⚙️ Документация ➡️Справочник Программиста. Подписаться

Как зарабатывать удаленно с нейросетями? Присоединяйся! Подпишись прямо сейчас, чтобы не потерять: Свежие обзоры нейросетей, которые реально работают — без лишнего хайпа и воды, только проверенная информация, которую можно использовать для заработка. Пошаговые видео-уроки, после которых всё станет понятно — научитесь быстро осваивать новые профессии и автоматизировать рутинные задачи. Как находить клиентов, готовых платить дорого — секреты эффективного поиска заказов и построения стабильного потока заказов. Автоматизация работы — научитесь выполнять 2-часовую работу за 20 минут без выгорания, автоматизируя рутину с помощью нейросетей. Дополнительный доход — узнаете, как зарабатывать в свободное время, не уходя с основной работы или учебы. Подписаться #реклама 16+ О рекламодателе

🔥 PyUIBuilder — это кросс-платформенный визуальный конструктор графических интерфейсов (GUI) для Python, ориентированный на упрощение разработки приложений с использованием популярных библиотек, таких как Tkinter, CustomTkinter, Kivy и PySide (в разработке). Основные особенности: ⏺Кросс-фреймовая совместимость с Tkinter, CustomTkinter, Kivy и PySide (в разработке) ⏺Генерация чистого Python-кода ⏺Поддержка сторонних UI-библиотек ⏺Веб-редактор и локальная версия приложения 📱 Репозиторий ⚙️ Документация 💬 Онлайн-конструктор ➡️Справочник Программиста. Подписаться

Перестаньте терять кандидатов! «Поток Рекрутмент» — система автоматизации массового и точечного подбора с ИИ для HR-менеджеров и специалистов по персоналу✨ Поток Рекрутмент это: - Публикация вакансий и сбор откликов с работных сайтов - Добавление резюме с 11 площадок в 1 клик - Быстрая работа с базой кандидатов через поиск и фильтры - Интеграция с почтой и мессенджерами - Гибкая аналитика и интеграция с Data Lens - Шаблоны писем и офферов - Генерация текстов вакансий и сообщений с помощью ИИ - Модуль массового подбора - Единое пространство для рекрутера и заказчика - Автопроверка службой безопасности И многое другое! ⚡ Получите бесплатный демо-доступ на 14 дней, чтобы протестировать «Поток Рекрутмент» прямо сейчас Перейти на сайт #реклама 16+ potok.io О рекламодателе

🌐 grafana-client — это Python-библиотека-SDK для работы с HTTP API Grafana. Основные возможности: 🔵Подключение к Grafana через HTTP API (синхронно и асинхронно) 🔵Управление пользователями и организациями 🔵Создание, обновление и удаление дашбордов 🔵Поиск дашбордов и панелей по параметрам 🔵Управление командами и правами доступа 🔵Поддержка нескольких способов аутентификации (анонимный доступ, токен, basic auth, заголовки) 🔵Работа с административными API Grafana ➡️Установка: pip install grafana-client 📱 Репозиторий ⚙️ Документация ➡️Справочник Программиста. Подписаться

REKONFA Live 6 ноября приглашаем рекламодателей, агентства и рекламные площадки обсудить технологии, маркетинговые инструменты и актуальные новинки. Ключевые участники рынка поделятся опытом и расскажут: — О ситуации на рынке рекламы — Как продвигать и продавать в интернете в 2025 году — Как бизнесу адаптироваться к меняющимся условиям Вас ждут доклады на актуальные темы, классный нетворкинг, вдохновляющая атмосфера для творчества и креатива. Встречаемся 6 ноября в Москве. Для тех, кто не сможет приехать, организуем интерактивное digital-шоу. Мероприятие бесплатное, нужно только зарегистрироваться. Зарегистрироваться #реклама 18+ ya.rekonfa.ru О рекламодателе

🚀 Sulguk — это инструмент для преобразования HTML-контента в формат Telegram-сообщений. Предназначен для разработчиков ботов, которым необходимо отправлять красиво отформатированные сообщения, сохраняя при этом совместимость с ограничениями Telegram. ➡️Установка: pip install sulguk 📱 Репозиторий ➡️Справочник Программиста. Подписаться

📝 sympy — это Python-библиотека для символьных вычислений, позволяющая работать с математикой на уровне формул, а не только чисел. Используется для алгебры, анализа, теории чисел, геометрии и многих других областей. Основные возможности: 🔵Поддержка символьных выражений, упрощений и алгебраических преобразований. 🔵Решение уравнений и систем уравнений. 🔵Дифференцирование, интегрирование, пределы, ряды. 🔵Работа с матрицами и линейной алгеброй. 🔵Символьное вычисление производных, уравнений дифференциальных систем. 🔵Поддержка LaTeX-вывода и красивого отображения формул. ➡️Установка: pip install sympy 📱 Репозиторий ⚙️ Документация ➡️Справочник Программиста. Подписаться