Ежедневный дайджест · Hacker News
· 7 Hacker News
Асаф Карагила, специалист по теории множеств, разбирает препринт OpenAI, якобы доказывающий, что Partition Principle не влечёт аксиому выбора. Он находит текст невнятным, терминологию неточной, а ссы…
Jevman — это открытый бенчмарк, который оценивает способность AI-моделей принимать решения в реальном времени, играя в классический Pac-Man. Каждая модель управляет Пакманом на каждом перекрёстке, по…
SVG Spark — это коллекция из десяти быстрых одностраничных инструментов для разработчиков, маркетологов и создателей, которые работают полностью в браузере. В неё входят конвертер SVG в PNG/WebP, виз…
Pocketty — это SSH-терминал для iPhone и iPad, созданный для работы с herdr. Он позволяет удалённо управлять ИИ-агентами (Claude Code, Codex, OpenCode и другими) прямо с телефона. Когда агент блокиру…
Edi Life OS объединяет десять рабочих пространств — привычки, цели, Kanban, финансы и фокус — в одном self-hosted дашборде. Встроенный MCP-сервер с 26 инструментами позволяет Claude и другим AI-ассис…
Spinal — это сверхнизколатентный инструмент для понимания кодовой базы, её эволюции и живых изменений. На тестах с ядром Linux (1,48 млн коммитов, 96 тыс. файлов) движок выдаёт первые результаты поис…
Aria — внутренний message bus Jane Street, обрабатывающий терабайты данных в день. Инженеры переработали механизмы tip recovery и initial recovery: вместо линейного перебора сообщений они применили и…