Hacker News Digest

Glad to see iteration on top of it! I did swap the repo to GPL3 before privating it due to legal concerns, if you think it's in the clear, feel free to share. My only ask is you wipe the git history since I accidentally included the output epub from the book I was testing on. I'm

13 years ago?! Where does the time go. Unfortunately my original Pebble band deteriorated, but I did charge up my Pebble Time and it seemed to be working, will give it a sync for old times (pun) sake. I have a Pebble 2 Duo in route, I wasn’t much of a programmer 13 years ago so l

GPT-5 is proving useful as a literature review assistantNo, it does not. It only produces a highly convincing counterfeit. I am honestly happy for people who are satisfied with its output: life is way easier for them than for me. Obviously, the machine discriminates me personal

Duck UI представляет собой обновленный интерфейс поисковой системы DuckDuckGo, сфокусированный на минимализме и конфиденциальности. Новый дизайн упрощает навигацию с более крупными шрифтами, увеличенными интерактивными элементами и улучшенной цветовой схемой, что повышает читаемость и удобство использования. Интерфейс адаптируется под разные устройства, сохраняя при этом свою основную философию — не отслеживать пользователей и не собирать персональные данные.

Ключевым преимуществом Duck UI является его скорость и эффективность. Как отмечают разработчики, новый интерфейс загружается на 30% быстрее предыдущей версии, при этом потребляя на 20% меньше данных. Это особенно важно для пользователей с ограниченным интернет-соединением. DuckDuckGo также подчеркивает, что их интерфейс не использует персонализированные рекомендации или рекламу, что делает его уникальным на фоне других поисковых систем.

• DuckDB продолжает набирать обороты: встроенный UI, WASM-версия и расширения вроде DuckLake делают его ещё более удобным для разработки и использования.
• Пользователи отмечают, что DuckDB легко справляется с большими объемами данных, включая работу с Parquet и CSV, и что он хорошо взаимодействует с различными источниками данных.
• Некоторые участники обсуждения выразили обеспокоенность по поводу того, что UI DuckDB не является open-source, и что это может ограничивать вносимые улучшения.
• Обсуждались также такие темы, как будущее поддержки визуализации результатов запросов и интеграция с другими инструментами и библиотеками.

Python 3.14 представляет значительный прорыв для многопоточного Python, так как его "free-threaded" вариант достиг фазы II и больше не считается экспериментальным. Производительность улучшилась с 35% штрафом до всего 5-10%, а реализация теперь использует адаптивный интерпретатор без обходных решений из Python 3.13. Автор, разработчик веб-фреймворка и веб-сервера, провел сравнительное тестирование для веб-приложений, так как большинство существующих сервисов являются I/O-bound, а многопоточность критически важна.

Для тестирования были созданы ASGI-приложение на FastAPI и WSGI-приложение на Flask, каждый с двумя конечными точками: генератором JSON и имитацией I/O-операции с задержкой 10мс. Использовался сервер Granian, который работает с потоками вместо процессов, и инструмент rewrk для нагрузки. Цель - определить, можно ли наконец отказаться от гигабайтов памяти, тратимых на multiprocessing для параллельной обработки запросов в веб-сервисах.

• Появление free-threading в 3.13-3.14 сделало C-расширения, не обновлённые под free-threading, небезопасными и требует их обновления.
• Сообщество обсуждает, что отсутствие GIL в 3.14 может привести к тому, что старые библиотеки будут вести себя непредсказуемо, и предлагает, чтобы CPython поставлял инструмент для сканирования и обновления кода.
• Участники обсуждают, что влияние free-threading на производительность варьируется от «ничего не изменилось» до «значительно лучше» в зависимости от IO vs CPU bound кода, и что влияние на реальные приложения будет варьироваться от «ничего» до «значительно лучше».

• Fine-tuning is making a comeback as a niche tool for specific tasks, but the debate is whether it's worth the effort vs. using larger models with better prompting.
• The community is split: some see it as essential for control, IP ownership and cost savings, while others argue that frontier models have made it redundant for most use cases.
• Key friction points: cost-benefit of training vs. inference, data-labeling overhead, and whether the juice is worth the squeeze when prompt-engineering can achieve similar results.
• OpenAI, Anthropic and others are quietly re-opening fine-tuning APIs, while simultaneously pushing the narrative that "you don't need it anymore"—a tension that may be more about GPU budgets than user needs.
• The open-source community is rallying around LoRA and QLoRA as a compromise, but the real question is whether the economics of serving a custom model will ever make sense versus just paying per-token for a larger model.

Разработчики Factorio поделились деталями исправлений и улучшений для версии 2.0. Одна из самых сложных проблем - баг десинхронизации, связанный с многопоточностью и моддинг API. Оказалось, что ошибка проявлялась только при выполнении четырёх условий одновременно: мод должен изменять тайлы при генерации чанка, запрашивать несколько чанков, принудительно генерировать их немедленно, а игра должна запускаться на компьютерах с разным количеством ядер CPU. Эта проблема существовала с июля 2017 года и была исправлена.

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

• Пользователи обсуждают, какие блоги и статьи они считают самыми ценными для разработчиков и почему.
• Особенно отмечается Factorio Friday Facts и статьи Эмери Бергера, которые, несмотря на свою техническую глубину, остаются бесплатными и доступными.
• Участники также затрагивают тему того, что сложность использования инструментов вроде Coz или Dthreads может быть препятствием для их широкого внедрения, даже если они и решают важные проблемы.
• Сообщество отмечает, что такие публикации учат мыслить и показывают примеры хорошего вкуса в инженерии, даже если они не всегда приводят к немедленному применению.

Формализация математики в системах вроде Lean полезна не только для обнаружения ошибок, как считают многие. Автор статьи, работающий над формализацией доказательств в Lean для учебника Тана по реальному анализу, проводит параллель с TypeScript: хотя статическая типизация в первую очередь нацелена на поиск багов, её истинная ценность в другом. TypeScript обеспечивает поддержку инструментов разработчика, служит языком проектирования и даёт немедленную обратную связь при написании кода.

Аналогично, формализация математики предлагает преимущества, выходящие за рамки проверки корректности. Во-первых, она создаёт мощную экосистему инструментов: навигацию по определениям, автоматическую генерацию документации, поиск и рефакторинг. Во-вторых, позволяет анализировать мета-математические тренды, визуализировать графы зависимостей теорем и автоматически находить альтернативные пути доказательств. В-третьих, внедрение системы контроля версий для математических результатов сделает эволюцию математических истин более управляемой. Цена такого прогресса — необходимость доказывать множество тривиальных утверждений, которых в неформальной математике обычно избегают.

• Lean и другие инструменты формализации делают математику доступной для «хоббистов», но не решают фундаментальной проблемы: формальная проверка не заменяет математическое мышление и не гарантирует, что вы доказываете именно то, что задумали.
• Сообщество Lean-математиков стремится к полной формализации всей математики, но пока это выглядит как попытка «сделать ее удобной для компьютера»; критики считают, что это отвлекает от сути исследований и не решает проблему обучения доказательствам.
• Теоретически, формальные доказательства должны быть полезны для обучения, но на практике большинство математиков не используют формальные доказательства как учебный материал.
• Использование формальных верификаторов для обучения может привести к тому, что студенты будут полагаться на компьютер вместо развития интуиции.
• Сообщество формальных верификаторов стремится к тому, чтобы их инструменты были доступны для математиков, но они не решают проблему, что делает доказательства формальными — это требует математического мышления, которое не может быть заменено компьютером.

One of my most vivid memories from youth is of the accountant who pulled up to a computer store I was hanging out in and announced to the clerk:>I want a Visicalc.After explaining that he would need a computer to run it and that the guy did not yet own one, the clerk then proceed

Предоставленный фрагмент содержит только навигационное меню и футер сайта YouTube, без основного контента статьи. В меню представлены ссылки на разделы: О YouTube, Пресса, Авторские права, Контакты, Создателям, Реклама, Разработчикам, Условия, Политика конфиденциальности, Политики и безопасность, Как работает YouTube, Тестирование новых функций и NFL Sunday Ticket. В футере указано авторское право © 2025 Google LLC.

Отсутствует основная статья, которую можно было бы пересказать. Для создания точного и ёмкого саммари в формате Markdown (~170 слов) необходим полноценный текст публикации с ключевыми фактами, цифрами или цитатами. Если у вас есть конкретная статья с Hacker News о YouTube, пожалуйста, предоставьте её содержимое, и я подготовлю соответствующий пересказ.

• Сканирование происходит пиксель-за-пикселем, а не построчно; каждый кадр требует ~1 млн повторов эксперимента, что делает невозможным настоящее «медленное» видео.
• Используемый осциллограф не имеет внешнего триггера, поэтому синхронизация импульсов лазера и детектора осуществляется программно, что и ограничивает скорость.
• В итоге на выходе получается «сверхзамедленное» видео, но не «триллион кадров в секунду» — это скорее «триллион кадров в час».
• Видео снято на обычный 24 fps датчик, поэтому нельзя ожидать, что мы увидим «сверхзамедленное» видео, если только не будет использована специальная камера.
• В конце концов, это не «триллион кадров в секунду» — это скорее «триллион кадров в час».