Hacker News Digest

В работе с monorepo, где ежедневно делаются сотни коммитов, тесты внезапно начали проваливаться. Проблема была в изменении конфигурационного файла, который ссылался на неверный аккаунт, но найти виновника среди множества коммитов вручную было невозможно. Тогда коллега применил git bisect - инструмент, использующий бинарный поиск для локализации проблемного коммита. Это позволило точно определить, где именно был внесен сбойный код, после чего откат этого коммита восстановил работоспособность системы.

В статье приведен наглядный пример репозитория с функцией сложения, где намеренно введена ошибка - преобразование аргументов в строки. Запуск git bisect start, указание "плохого" и "хорошего" коммитов, затем git bisect run ./test_script.sh автоматически проверяет промежуточные версии. Инструмент последовательно тестирует коммиты, сокращая количество проверок вдвое на каждом шаге, и точно находит первый сбойный коммит, где функция add начала возвращать строку вместо числа.

• git bisect is a powerful tool for pinpointing the exact commit that introduced a bug, especially in large or poorly tested codebases.
• Its real value is in narrowing the search space when you lack the tests or architecture to reason about the code, not in replacing proper testing or code review.
• The discussion exposed a cultural divide: some developers see bisect as a last-ditch rescue tool for when tests or architecture have already failed, while others argue that if you need it, your process has already failed.
• Several commenters pointed out that if you have to reach for bisect, you probably lack tests, logging, or a clear commit history, and the real fix is to improve those, not to rely on bisection.
• The thread also surfaced the point that bisection is only useful if you can reliably detect the bug in every commit; if the bug is non-deterministic or only shows up in production, the tool becomes much less useful.

Generally the problem with carpark solar is the mounting solutions are low volume niche products that cost way more than traditional ground mounts. My biggest hope is that this policy creates a marketplace with actual competition that comes up with more cost efficient mounting so

Автор объясняет, что Isabelle сознательно отказалась от объектов доказательств, которые являются неотъемлемой частью обычных теорий типов. Это сделано потому, что объекты доказательств не нужны и занимают много места. Вместо этого Isabelle использует архитектуру LCF, где проверка типов осуществляется в языке реализации, а не в логике, что гарантирует легитимность шагов доказательства. Robin Milner имел это фундаментальное понимание 50 лет назад.

Лоуренс Полсон рассказывает о своем опыте работы с AUTOMATH и Martin-Löf type theory. Первоначально Isabelle была реализацией Martin-Löf type theory, которая до сих пор включена в дистрибутив как Isabelle/CTT. Однако автор переключился на более общий подход, вдохновленный AUTOMATH - "большим рестораном, который обслуживает любую кухню". В итоге Isabelle/HOL стала доминирующей, хотя де Брёйн не одобрял растущую мощь теорий типов и презирал теорию множеств.

• Обсуждение показало, что вопрос не в «плохих» зависимых типах, а в том, что они не нужны для большинства задач и не оправдывают свою сложность.
• Участники обсуждали, что отсутствие зависимых типов не мешает Isabelle/HOL доказать критически важные части математики, и что вместо этого важнее автоматизация и библиотеки.
• Сообщество отметило, что даже в языках без зависимых типов можно выразить «матрица 10×5 из float32», если размеры известны на этапе компиляции, и что это покрывает большинство практических случаев.
• Несколько участников поделились личным опытом, что попытка использовать зависимые типы в продакшене привела к тому, что команды отказались их использовать из-за кривой кривой обучения и отсутствия инструментальной поддержки.
• В итоге автор статьи подытожил, что выбор между зависимыми типами и другими системами типов часто сводится к личным предпочтениям и доступным инструментам, а не к объективным преимуществам.

Проект Open Space разрабатывает открытые аппаратные и программные решения для связи с отражением сигналов от Луны (Earth-Moon-Earth, EME), делая космическую связь доступной для радиолюбителей. Их основное предложение — программно-определяемая фазированная антенная решётка, работающая в C-диапазоне (4.9–6.0 Гц). Проект предлагает три уровня оборудования: Quad — 4-антенный SDR-модуль ($49-99), Mini — компактная фазированная решётка из 18 модулей (72 антенны, $899-$1,499) и Moon — высокоапертурная решётка из 60 модулей (240 антенн, $2,499-$4,999), специально созданная для экспериментов с EME. Ожидается поставка оборудования в марте 2026 года.

Ключевые характеристики включают полную дуплексную работу, пропускную способность 40 МГц на антенну, мощность передачи 1 Вт на антенну и коэффициент шума приёмника ~1.2 дБ. Решётки обеспечивают низкую задержку лучеобразования (<1 мс) и когерентное распределение времени. Для эксплуатации требуется любительская радиолицензия уровня Technician+. Проект не только упрощает сложную ранее задачу EME-связи, но и открывает возможности для радиоастрономии, сканирования неба и атмосферных исследований.

• Проект использует "Quad" SDR (4Tx×4Rx) для отражения сигналов от Луны (EME), совместимый с Raspberry Pi, первые поставки ожидаемы в конце года.
• Технические параметры: мощность 1W на антенну, усиление ~39.3 dBi, суммарная EIRP ~63.1 dBW, потери в канале ~283 dB.
• Споры о реалистичности: одни считают проект из-за огромных потерь и сложности неосуществимым, другие приводят расчеты, показывающие возможность приема при правильной модуляции и кодировании.
• Альтернативы: для глобальной связи можно использовать более простую HF-ионосферную связь, а EME рассматривается как уникальный, но сложный подход.
• Особенности связи: задержка ~2 секунды из-за расстояния до Луны, битрейт зависит от модуляции (теоретически до 250 Mbps для наземных линий, но для EME требует особой схемы).

Представлено руководство "Writing FreeDOS Programs in C" от Джима Холла, которое учит создавать программы для FreeDOS на языке C. Книга состоит из 9 частей, охватывающих основы программирования, синтаксис C, управление потоком, функции, массивы, работу с файлами и консольное программирование, завершаясь созданием пошаговой игры.

Проект изначально стартовал как видеосериал на YouTube с поддержкой через Patreon, где спонсоры получали ранний доступ к материалам и эксклюзивные ресурсы. После завершения видео серии руководство было отредактировано в книгу через издателя Lulu. Книга опубликована под лицензией CC BY 4.0 и скоро будет перемещена в обновленную Wiki FreeDOS.

• Обсуждение охватывает вопросы от выбора компилятора до лицензий, где упоминается как компиляторы с открытым исходным кодом, так и старые компиляторы вроде Turbo C, и при этом подчеркивается, что важно, чтобы компилятор мог породить код, который будет работать в DOS или FreeDOS без необходимости кросс-компиляции.
• Участники обсуждают, что важно иметь компилятор, который может породить код, который будет работать в DOS или FreeDOS, и что это может быть важно для сохранения старого кода, который может быть важен для поддержания старого оборудования.
• Также обсуждается, что FreeDOS может быть полезен для обновления BIOS и для запуска старого кода, который может быть важен для поддержания старого оборудования.
• Участники также обсуждают, что важно иметь компилятор, который может породить код, который будет работать в DOS или FreeDOS, и что это может быть важно для сохранения старого кода, который может быть важен для поддержания старого оборудования.
• Также упоминается, что FreeDOS может быть полезен для обновления BIOS и для запуска старого кода, который может быть важен для поддержания старого оборудования.

Выпущены исправления для трех критических уязвимостей в X.Org X server и Xwayland. Обновления xorg-server-21.1.19 и xwayland-24.1.9 исправляют проблемы, существовавшие в предыдущих версиях. Все три уязвимости (CVE-2025-62229, CVE-2025-62230 и CVE-2025-62231) были обнаружены Jan-Niklas Sohn при сотрудничестве с Trend Micro Zero Day Initiative.

Первая уязвимость связана с use-after-free при создании XPresentNotify структур, вторая - с некорректным удалением Xkb клиентских ресурсов, а третья - с переполнением значения в XkbSetCompatMap(). Две из этих проблем существуют с версии X11R6, что подчеркивает их серьезность. Все исправления уже доступны в репозиториях, и пользователям рекомендуется немедленно обновить системы для предотвращения потенциальных атак.

• В обсуждении поднимается вопрос о том, что X11/X.Org уязвим к трем недавно обнаруженным уязвимостям, и что это может быть последней каплей, которая убедит окончательно перейти на Wayland.
• Участники обсуждают, что X11 не имеет никаких механизмов безопасности, и что это не может быть исправлено без полной переработки.
• Некоторые участники высказывают мнение, что X11 устарел и что усилия по его поддержке были бы лучше направлены на другие проекты.
• Также обсуждается, что X11 не может быть защищен от вредоносного клиента, и что это не может быть исправлено без полной переработки.

stickertop.art — это онлайн-галерея, собирающая уникальные фотографии ноутбуков, украшенных креативными наклейками со всего мира. Проект позиционирует персонализацию техники как форму самовыражения и искусства, где каждая наклейка рассказывает историю владельца и отражает его интересы и личность. На сайте представлены десятки изображений устройств с самыми разнообразными стилями — от минималистичных до "стикербомб" с плотным покрытием всего корпуса.

Пользователи могут загрузить фото своего ноутбука через специальную форму, пополняя коллекцию новыми историями. Галерея демонстрирует, как наклейки превращают стандартные устройства в персональные арт-объекты, отражающие субкультуры, хобби и жизненный опыт владельцев. Визуальная часть проекта подчеркивает разнообразие подходов к персонализации техники.

• Пользователи обсуждают, что ноутбуки с наклейками встречаются в основном у разработчиков, киберспециалистов и участников конференций.
• Некоторые вспоминают, что наклейки на ноутбуке могут быть использованы для социальной инженерии, и некоторые компании запрещают их.
• Обсуждается, что наклейки могут быть использованы для самовыражения, но также могут быть использованы для показа того, что ты работаешь в определенной компании или используешь определенные технологии.
• Некоторые пользователи делятся своими историями о наклейках, которые они получили на конференциях, и о том, как они используют их.
• Также обсуждается, что наклейки могут быть использованы для показа того, что ты посещал определенные конференции или используешь определенные технологии.

Tongyi DeepResearch — первый полностью открытый веб-агент, демонстрирующий производительность на уровне DeepAI OpenAI. Модель достигает передовых результатов: 32.9 на тесте академического рассуждения Humanity's Last Exam, 43.4 на BrowseComp и 46.7 на BrowseComp-ZH в сложных задачах поиска информации, а также 75 на пользовательском бенчмарке xbench-DeepSearch, превосходя все существующие проприетарные и открытые агенты глубоких исследований. Авторы делятся полной методологией создания таких агентов, включая инновационное решение для синтеза данных на всем конвейере обучения.

В основе обучения лежит Agentic Continual Pre-training (CPT) с использованием системы AgentFounder для масштабного синтеза данных. Разработчики создают цикл данных, перегруппируя различные источники в привязанную к сущностям открытую мировую память знаний. Для сложных вопросов с высокой неопределенностью они синтезируют веб-данные через высокосвязанный граф знаний с помощью случайных обходов. Модель демонстрирует мощные возможности в режиме ReAct без инженерии промптов, а продвинутый Heavy Mode раскрывает верхний предел ее потенциала сложного рассуждения и планирования.

• Обсуждение в основном вращается вокруг трёх тем: «Deep Research» как продукт vs. обычный поиск, практичность мелких моделей, и то, что большие модели всё ещё уступают специализированным инструментам в конкретных задачах.
• Участники обмениваются опытом, что мелкие модели (Qwen 3 4B и т.п.) уже способны обеспечить приемлемое качество при минимальных затратах, особенно если квантовать и/или запустить их на Apple Silicon.
• Обсуждается, что влияние этих моделей на рынок: будут ли они заменять крупные модели в нишевых задачах или же будут использованы как основа для дальнейшей настройки.
• Также поднимается вопрос о том, что, возможно, в будущем мы увидим взрыв специализированных моделей, обученных под конкретные задачи, и что это может быть следующим шагом после исчерпания выгод от предобучения.

HyperRogue is specifically hyperbolic (and very cool! See also RogueVis), but of course there are a number of non-Euclidean roguelikes. One of my favourites is Smart Kobold [1], which really amazed me at the time, particularly as it was made in just 7 days for the 7DRL! It's so c

Interesting, a few questions: 1. How hard/easy is it to make responses dynamic, i.e. to use something from the request data like query/path param or a body to execute function instead of hardcoding the response 2. What's the main motivation for creating this tool? I feel like eve