Ежедневная подборка Show HN (2025-04-26)

• Я использовал новый API изображений OpenAI для сервиса персонализированных раскрасок
• Формализация Principia Mathematica с использованием Lean
• Magnitude — фреймворк для тестирования веб-приложений с поддержкой ИИ (open-source)
• Современная таблица с интеграцией Python
• BugStalker — современный отладчик для Rust
• RSS Lookup — поиск RSS-лент для любого URL (бесплатно, open-source)
• Faasta — самообслуживаемая Serverless-платформа для WASM-wasi-HTTP на Rust
• StackHound — анализируйте стек технологий репозитория за секунды
• SnipFast — извлечение выделенного текста из бумажных книг
• Интерактивная демонстрация коррекции ошибок в QR-кодах
• Claude Code с GUI и редактором промптов на основе блоков (MIT)
• Loat — увеличивайте MRR с помощью автоматизированных email-кампаний
• MCP-сервер для анализа затрат AWS
• OpenWrt Configurator — простое управление конфигурацией устройств OpenWrt
• Превращение Rails REST API в серверы Model Context Protocol (MCP)
• Pomo — управляйте промокодами Stripe без кода
• Mailfrom.dev — более дешевая альтернатива MailTrap
• Мой текстовый движок для dungeon crawler на Python
• TSCE — "Думай, прежде чем говорить" (двухэтапное контекстное обогащение для LLM)
• Mermaid Open Editor 2.0
• Turbine — скриптовый язык для C/C++ с синтаксисом, похожим на Markdown

Я использовал новый API изображений OpenAI для сервиса персонализированных раскрасок [Изображения]

46 баллов, 26 комментариев

Сервис, который создает персонализированные раскраски из семейных фотографий с помощью API изображений OpenAI.

• Использует API изображений OpenAI для автоматического создания страниц раскрасок из загруженных фото
• Интегрируется с сервисами печати для доставки физических книг
• Подходит как для взрослых, так и для детей
• Предлагает скидку 10% для первых пользователей

Ссылка на обсуждение, Оригинальная ссылка

Формализация Principia Mathematica с использованием Lean [Исследования]

84 балла, 21 комментарий

Проект по формализации Principia Mathematica Бертрана Рассела с использованием доказателя теорем Lean, строго следуя оригинальным доказательствам.

• Формализует первый том Principia Mathematica с помощью Lean4
• Точно воспроизводит доказательства Рассела с минимальными добавлениями
• Цель — высокая точность, приветствуется обратная связь по неточностям
• Вдохновлен существующей формализацией на Coq, но отличается от нее
• Open-source, доступен на GitHub для сотрудничества

Ссылка на обсуждение, Оригинальная ссылка

Magnitude — фреймворк для тестирования веб-приложений с поддержкой ИИ (open-source) [Инструменты для разработчиков]

113 баллов, 30 комментариев

Open-source фреймворк для тестирования веб-приложений с использованием визуальных LLM-агентов для быстрого, дешевого и надежного тестирования.

• Использует чистое визуальное тестирование вместо систем с "метками"
• Применяет компактную VLM (Moondream) для более быстрого и дешевого выполнения, чем OpenAI/Anthropic
• Включает систему из двух агентов: планировщик для адаптации тестов и исполнитель для быстрого запуска
• Сохраняет и повторно использует тест-планы для эффективности
• Полностью open-source, оптимизирован для веб-тестирования

Ссылка на обсуждение, Оригинальная ссылка

Современная таблица с интеграцией Python [Продуктивность]

44 балла, 6 комментариев

Современный табличный инструмент с интеграцией Python для эффективной работы с большими наборами данных.

• Обрабатывает большие наборы данных (4GB+) и загружает файлы с миллионами строк за секунды
• Поддерживает использование до 500GB RAM без сбоев
• Редактирует, разделяет, объединяет и очищает CSV/текстовые файлы с миллионами строк
• Позволяет использовать функции Python как формулы
• Включает статистические функции и решатели без ограничений
• Мгновенно создает графики с миллионами точек данных
• Активно учитывает отзывы пользователей для улучшений

Ссылка на обсуждение, Оригинальная ссылка

BugStalker — современный отладчик для Rust [Инструменты для разработчиков]

103 балла, 15 комментариев

Современный отладчик для Rust, написанный на Rust.

• Современный отладчик для Rust
• Написан на Rust
• Предназначен для отладки Rust-приложений

Ссылка на обсуждение, Оригинальная ссылка

RSS Lookup — поиск RSS-лент для любого URL (бесплатно, open-source) [Инструменты для разработчиков]

4 балла, 3 комментария

Бесплатный open-source инструмент для поиска RSS-лент любого сайта через анализ мета-тегов и альтернативных путей.

• Автоматически ищет RSS-ленты по URL сайта
• Использует мета-теги, альтернативные пути и жестко заданные ленты для популярных сайтов
• Open-source, без рекламы и трекинга URL
• Включает Cloudflare Turnstile для защиты от злоупотреблений и Plausible для аналитики

Ссылка на обсуждение, Оригинальная ссылка

Faasta — самообслуживаемая Serverless-платформа для WASM-wasi-HTTP на Rust [Инструменты для разработчиков]

86 баллов, 30 комментариев

Faasta — это самообслуживаемая Serverless-платформа для WASM-wasi-HTTP функций, написанная на Rust, обеспечивающая эффективную мультитенантность и высокую параллельность.

• Open-source, соответствует стандартам WASI-HTTP
• Позволяет тысячи параллельных вызовов функций в одном процессе
• CLI-утилита доступна через cargo install cargo-faasta
• Бесплатный хостинг с развертыванием через GitHub OAuth (лимит 10 функций на аккаунт)
• Эффективнее традиционных Serverless-решений на основе VM, таких как AWS Lambda

Ссылка на обсуждение, Оригинальная ссылка

StackHound — анализируйте стек технологий репозитория за секунды [Инструменты для разработчиков]

5 баллов, 1 комментарий

StackHound анализирует GitHub-репозитории, чтобы определить их стек технологий через сканирование файлов зависимостей.

• Сканирует файлы зависимостей для выявления инструментов, фреймворков и языков
• Работает с React, Next.js, Tailwind, Flask, Spring Boot и другими
• Мгновенный анализ по имени пользователя и репозиторию GitHub
• Предоставляет API для интеграции в кастомные инструменты
• Open-source, включает live-демо

Ссылка на обсуждение, Оригинальная ссылка

SnipFast — извлечение выделенного текста из бумажных книг [Образование]

9 баллов, 0 комментариев

Инструмент для извлечения выделенного текста из бумажных книг через фотографирование страниц.

• Автоматически обнаруживает и извлекает выделенный текст из фото страниц
• Позволяет ручной выбор предложений для точного копирования
• Использует кастомную ML-модель для обнаружения выделений
• Бесплатный пробный период с кредитами, затем небольшая плата для предотвращения злоупотреблений
• Разработан для читателей, студентов и исследователей
• Бэкенд на Kotlin с базой данных Postgres
• Ищет обратную связь по UI и удобству использования

Ссылка на обсуждение, Оригинальная ссылка

Интерактивная демонстрация коррекции ошибок в QR-кодах [Потребительские технологии]

10 баллов, 2 комментария

Интерактивная демонстрация, показывающая устойчивость QR-кодов к повреждениям через рисование на них и анализ в реальном времени.

• Визуализирует устойчивость QR-кодов с "полосками здоровья" и счетчиками повреждений
• Переключение между режимами рисования и анализа
• Использует декодер на WebAssembly для точной обратной связи
• Позволяет проверять QR-коды через сканирование телефоном
• Демонстрирует устойчивость QR-кодов к минимальным повреждениям

Ссылка на обсуждение, Оригинальная ссылка

Claude Code с GUI и редактором промптов на основе блоков (MIT) [Инструменты для разработчиков]

3 балла, 1 комментарий

Claude Code предлагает графический интерфейс и редактор промптов на основе блоков для работы с Claude.

• Включает графический интерфейс (GUI)
• Редактор промптов на основе блоков
• Open-source под лицензией MIT

Ссылка на обсуждение, Оригинальная ссылка

Loat — увеличивайте MRR с помощью автоматизированных email-кампаний [Маркетинг]

4 балла, 2 комментария

Loat — платформа для автоматизации email-кампаний для роста и онбординга без необходимости в CRM.

• Автоматизирует последовательности писем для разных продуктов
• Поддерживает обучающие кампании и рассылки
• Разработана для небольших команд, чтобы максимизировать email как канал роста
• Создана на основе внутренних инструментов для продукта с высокой доверием

Ссылка на обсуждение, Оригинальная ссылка

MCP-сервер для анализа затрат AWS [Финансы]

14 баллов, 3 комментария

MCP-сервер, который подключает LLM (Claude, Cursor) к данным о затратах AWS через API Vantage для управления облачными расходами с помощью ИИ.

• Интегрируется с LLM (Claude, Cursor, скоро ChatGPT и Gemini)
• Поддерживает 20+ облачных провайдеров (AWS, Datadog, MongoDB и др.)
• Позволяет ad-hoc запросы, планы действий и мультитул-воркфлоу
• Требуется аккаунт Vantage для доступа к API
• Open-source (репозиторий на GitHub)

Ссылка на обсуждение

OpenWrt Configurator — простое управление конфигурацией устройств OpenWrt [Инструменты для разработчиков]

3 балла, 0 комментариев

CLI-инструмент для простого управления конфигурацией устройств OpenWrt с планами на веб-интерфейс и альтернативу UniFi Controller.

• Упрощает настройку конфигураций для множества устройств OpenWrt
• CLI-версия для быстрого и скриптуемого управления
• В планах — веб-интерфейс для удобства
• Цель — open-source альтернатива UniFi Controller

Ссылка на обсуждение, Оригинальная ссылка

Превращение Rails REST API в серверы Model Context Protocol (MCP) [Инструменты для разработчиков]

3 балла, 0 комментариев

Превращает Rails REST API в серверы Model Context Protocol (MCP).

• Конвертирует Rails REST API в MCP-серверы
• Улучшает функциональность API с помощью протокола контекста модели

Ссылка на обсуждение, Оригинальная ссылка

Pomo — управляйте промокодами Stripe без кода [Бизнес]

4 балла, 6 комментариев

Бесплатный инструмент для массового создания и управления промокодами Stripe без программирования.

• No-code решение для создания уникальных промокодов в Stripe
• Генерация партий с настраиваемыми префиксами
• Простая настройка с помощью API-ключей Stripe
• Экспорт промокодов для маркетинговых кампаний

Ссылка на обсуждение, Оригинальная ссылка

Mailfrom.dev — более дешевая альтернатива MailTrap [Инструменты для разработчиков]

3 балла, 2 комментария

Простой и доступный SMTP-сервер для тестирования email-потоков в dev/staging средах без отправки реальных писем.

• Более дешевая альтернатива MailTrap
• Простая настройка и совместное использование с командой/клиентами
• Поддерживает тестирование email-потоков (сбросы, онбординг, верификации)
• Разработан на Laravel, Vue 3, shadcn, хостится на k3s (Hetzner)
• Использует AWS S3 и SES для хранения и обработки писем

Ссылка на обсуждение, Оригинальная ссылка

Мой текстовый движок для dungeon crawler на Python [Развлечения]

3 балла, 0 комментариев

Текстовый движок для dungeon crawler на Python, созданный во время восстановления после операции.

• Миры игры определяются в JSON
• Включает комнаты, лут и монстров
• Open-source на GitHub

Ссылка на обсуждение

TSCE — "Думай, прежде чем говорить" (двухэтапное контекстное обогащение для LLM) [Инструменты для разработчиков]

3 балла, 0 комментариев

TSCE — это Python-библиотека, которая улучшает точность следования инструкциям у небольших языковых моделей без тонкой настройки.

• Не требует тонкой настройки, работает с существующими моделями (GPT-3.5, GPT-4)
• Улучшает наде