Ежедневная подборка Show HN (2025-10-23)
- Cuq – Формальная верификация Rust GPU-ядре
- Создание интерактивных диаграмм с всплывающим контентом
- Subway Surfers в вашем терминале
- Возрождение Maktabah Islam ELKIRTASS на Qt6 CMake
- ProxyBridge – перенаправление любого TCP/UDP трафика Windows на HTTP/SOCKS5 прокси
- SerenDB – форк Neon PostgreSQL, оптимизированный для задач ИИ-агентов
- Запуск любых GitHub Actions локально из Cron-заданий – наконец-то!
- Преодоление крайней тревожности – бесплатное руководство на основе ИИ
- AutoLearn Skills для самообучающихся агентов
- Cont3xt.dev – универсальные знания команды для инструментов ИИ-кодинга
- RuleHunt – TikTok для клеточных автоматов
- Инкрементальный JSON-парсер для потоковых вызовов инструментов LLM в Ruby
- UHOP – выход из зависимости от Nvidia с открытым слоем оптимизации железа
- UHOP – открытая платформа оптимизации железа для GPU
- Timeplus Proton 3.0 – первый векторный движок потокового SQL
- caniscrape – анализ защиты от ботов перед скрейпингом (CLI и веб)
- Игра Pong Wars Idle
- Buzzd Chat – проект возрождения Yahoo Messenger
- Мне 13, и я создал ИИ, который запоминает контекст между диалогами
Cuq – Формальная верификация Rust GPU-ядре [Инструменты для разработчиков]
31 баллов, 23 комментария
Инструмент формальной верификации для Rust GPU-ядер.
- Гарантирует корректность Rust GPU-ядер
- Использует методы формальной верификации
- Нацелен на безопасность GPU-программирования
Ссылка на обсуждение, Оригинал
Создание интерактивных диаграмм с всплывающим контентом [Дизайн]
30 баллов, 0 комментариев
Инструмент для создания интерактивных диаграмм с всплывающим контентом для удобного обмена и документирования.
- Создавайте диаграммы с всплывающими окнами по клику/наведению
- Не требует входа для обмена по ссылке
- Полезно для документирования систем, онбординга и презентаций
- Попробуйте без регистрации на app.vexlio.com
Ссылка на обсуждение, Оригинал
Subway Surfers в вашем терминале [Развлечения]
3 балла, 1 комментарий
Игра Subway Surfers, в которую можно играть прямо в терминале.
- Устанавливается через Homebrew
- Разработана для повышения концентрации во время перерывов в работе
- Простое выполнение через командную строку
Ссылка на обсуждение, Оригинал
Возрождение Maktabah Islam ELKIRTASS на Qt6 CMake [Инструменты для разработчиков]
3 балла, 0 комментариев
Возрождение ELKIRTASSE, аналога Maktabah Shamilah, теперь обновлённого до Qt6 и CMake.
- Модернизирован с использованием фреймворка Qt6
- Использует систему сборки CMake
- Открыт для вклада сообщества и улучшений
Ссылка на обсуждение, Оригинал
ProxyBridge – перенаправление любого TCP/UDP трафика Windows на HTTP/SOCKS5 прокси [Инструменты для разработчиков]
3 балла, 0 комментариев
ProxyBridge перенаправляет любой TCP/UDP трафик Windows на HTTP/SOCKS5 прокси.
- Перенаправляет TCP/UDP трафик на Windows
- Поддерживает HTTP и SOCKS5 прокси
- Дополнительных деталей не предоставлено
Ссылка на обсуждение, Оригинал
SerenDB – форк Neon PostgreSQL, оптимизированный для задач ИИ-агентов [Инструменты для разработчиков]
6 баллов, 1 комментарий
Форк PostgreSQL, оптимизированный для задач ИИ с улучшенными функциями безопасности и производительности.
- Запросы "путешествия во времени" для отладки и аудита решений агентов
- Масштабирование до нуля с pgvector для экономии на неактивных базах
- Обнаружение инъекций в промпты для предотвращения атак на ИИ
- Создание веток за 100 мс для быстрого тестирования и отката
- Открытый исходный код с разрабатываемым хостинг-сервисом
Ссылка на обсуждение, Оригинал
Запуск любых GitHub Actions локально из Cron-заданий – наконец-то! [Инструменты для разработчиков]
21 балл, 0 комментариев
Запуск GitHub Actions локально из Cron-заданий.
- Выполнение GitHub Actions локально
- Планирование через Cron-задания
- Не требует облачных раннеров GitHub
Ссылка на обсуждение, Оригинал
Преодоление крайней тревожности – бесплатное руководство на основе ИИ [Здоровье]
3 балла, 1 комментарий
Бесплатное руководство на основе ИИ для управления крайней тревожностью и симптомами отмены.
- Предоставляет рекомендации на основе ИИ для крайней тревожности
- Фокусируется на управлении симптомами отмены
- Бесплатный ресурс для пользователей
Ссылка на обсуждение, Оригинал
AutoLearn Skills для самообучающихся агентов [Помощь в жизни]
27 баллов, 11 комментариев
AutoLearn Skills для самообучающихся агентов.
- Позволяет автономное приобретение навыков
- Разработано для самообучающихся агентов
Ссылка на обсуждение, Оригинал
Cont3xt.dev – универсальные знания команды для инструментов ИИ-кодинга [Инструменты для разработчиков]
3 балла, 3 комментария
Универсальные знания команды для инструментов ИИ-кодинга.
- Централизованная база знаний для инструментов ИИ-кодинга
- Разработана для командной работы
- Повышает эффективность ИИ-инструментов с общим контекстом
Ссылка на обсуждение, Оригинал
RuleHunt – TikTok для клеточных автоматов [Развлечения]
13 баллов, 8 комментариев
Платформа в стиле TikTok для поиска и ранжирования интересных правил клеточных автоматов.
- Исследует пространство из 2^512 возможных правил клеточных автоматов
- Интерфейс в стиле TikTok для случайного поиска правил
- Десктопный интерфейс для целенаправленного поиска
- Пользователи могут отмечать понравившиеся правила, влияя на глобальный рейтинг
- Открытый исходный код с репозиторием на GitHub
Ссылка на обсуждение, Оригинал
Инкрементальный JSON-парсер для потоковых вызовов инструментов LLM в Ruby [Инструменты для разработчиков]
11 баллов, 0 комментариев
Инкрементальный JSON-парсер для потоковых вызовов инструментов LLM в Ruby, оптимизированный для работы в реальном времени.
- Обрабатывает JSON посимвольно для потоковых вызовов ИИ-инструментов
- Сохраняет состояние парсинга для избежания O(n²) сложности, обеспечивая O(n) производительность
- Уменьшает задержки в интерфейсе, обрабатывая только новые символы
- Доступен как Ruby-гем с лицензией MIT
Ссылка на обсуждение, Оригинал
UHOP – выход из зависимости от Nvidia с открытым слоем оптимизации железа [Инструменты для разработчиков]
3 балла, 0 комментариев
UHOP – это открытый слой оптимизации железа, предназначенный для преодоления зависимости от Nvidia путём выполнения кода на GPU разных вендоров с автоматическим выбором и генерацией ядер.
- Определяет железо и выбирает оптимальный бэкенд (CUDA, ROCm, OpenCL и др.)
- Использует генерацию ядер с помощью ИИ для CUDA, OpenCL и Triton
- Поддерживает объединённые операции, такие как conv2d+ReLU и matmul
- Тестирует и кэширует оптимальные ядра для производительности
- Включает CLI и раннюю веб-панель для мониторинга
- Открыт, модифицируем и развивается сообществом для будущих улучшений
Ссылка на обсуждение, Оригинал
UHOP – открытая платформа оптимизации железа для GPU [Инструменты для разработчиков]
3 балла, 0 комментариев
UHOP – это открытый фреймворк для оптимизации задач GPU на разных архитектурах без привязки к вендору, с генерацией ядер с помощью ИИ и определением железа.
- Автоматически определяет бэкенды железа и выбирает оптимальные ядра
- Тестирует объединённые операции, такие как conv+ReLU
- Кэширует и повторно использует настроенные ядра для эффективности
- Динамически генерирует ядра через кодогенерацию (CUDA/OpenCL/Python/Triton)
- Поддерживает генерацию ядер с помощью OpenAI API
- Предоставляет простой CLI для демонстраций и тестирования
- Планы включают лучшую интеграцию бэкендов, распределённую оптимизацию и веб-панель
Ссылка на обсуждение, Оригинал
Timeplus Proton 3.0 – первый векторный движок потокового SQL [Инструменты для разработчиков]
10 баллов, 10 комментариев
Timeplus Proton 3.0 – это векторный движок потокового SQL, предлагающий корпоративные возможности потоковой обработки в одном бинарнике без зависимостей.
- Первый векторный движок потокового SQL на современном C++ с JIT-компиляцией
- Высокая пропускная способность, низкая задержка, поддержка высокой кардинальности
- Полная поддержка потоковой обработки (ETL, соединения, агрегации, алерты, задачи)
- Нативные коннекторы для Kafka, Redpanda, Pulsar, ClickHouse и других
- Поддержка Python UDF/UDAF для задач ИИ/ML
- Корпоративная производительность в community-версии
Ссылка на обсуждение, Оригинал
caniscrape – анализ защиты от ботов перед скрейпингом (CLI и веб) [Инструменты для разработчиков]
3 балла, 2 комментария
Инструмент для анализа защиты от ботов перед скрейпингом, доступный как CLI и веб-версия.
- Обнаруживает активную защиту, такую как WAF, CAPTCHA, лимиты запросов, TLS-фингерпринтинг и ловушки
- Предоставляет оценку сложности скрейпинга (0-10)
- Рекомендует инструменты/подходы для успешного скрейпинга
- CLI устанавливается через pip (
pip install caniscrape) - Веб-версия доступна на caniscrape.org
- В настоящее время ограничен для очень сложных сайтов (например, Amazon, YouTube) из-за скрытой защиты
- Веб-версия использует облачный IP, который может быть заблокирован крупными сайтами (планируется ротация прокси)
Ссылка на обсуждение, Оригинал
Игра Pong Wars Idle [Развлечения]
5 баллов, 1 комментарий
Простая idle-игра, вдохновлённая Pong Wars, созданная всего за 3 часа.
- Быстро разработана за 3 часа как развлекательный проект
- Вдохновлена концепцией Pong Wars
- Сфокусирована на передаче расслабленного, атмосферного подхода к разработке
Ссылка на обсуждение, Оригинал
Buzzd Chat – проект возрождения Yahoo Messenger [Чат-боты]
3 балла, 0 комментариев
Buzzd Chat – это проект возрождения Yahoo Messenger (Y!M), ориентированный на версию V9 с растущим сообществом и богатым функционалом.
- Поддерживает Y!M V9 с планами расширения на другие версии
- Включает аутентификацию, аватарки и управление статусами
- Предоставляет управление контактами (добавление/удаление/группировка/игнор) и настройки видимости
- Позволяет делиться списком контактов и управлять ими
- Поддерживает обмен фото, файлами, звуками и эмотиконами
- Обеспечивает надёжную доставку сообщений с подтверждениями
Ссылка на обсуждение, Оригинал
Мне 13, и я создал ИИ, который запоминает контекст между диалогами [Помощь в жизни]
8 баллов, 8 комментариев
ИИ-ассистент с контекстной памятью и интегрированными сервисами для личного и бизнес-использования.
- Создан 13-летней девочкой и её отцом после нескольких неудачных стартапов
- Объединяет email, помощь в кодинге, исследования и планирование в одном интерфейсе
- Включает генеративный интерфейс Thesys для визуализации данных и режим обучения с сократическим методом
- Поддерживает бизнес-интеграцию через Nityasha Connect
- 500+ активных пользова