Hacker News Digest

Проект μRepRap — это попытка создать самовоспроизводящийся 3D-принтер, способный печатать с точностью до микрона и меньше, используя только общедоступные материалы. Первоначальная цель — повторяемое позиционирование точнее 3 мкм на площади 10 мм и создание зонда вместо печатающей головки — уже достигнута. Текущая рекомендуемая сборка «PIKA» V0.02 обеспечивает повторяемость около 1 мкм и надёжную точность 10 мкм и лучше в объёме примерно 8 мм³. С её помощью уже наносили капли УФ-смолы размером всего 4 мкм, а оптоволоконным зондом отверждали линии смолы шириной 9 мкм. Для сравнения: тестовая модель «Benchy» высотой 0,5 мм напечатана с толщиной слоя 4 мкм.

Аддитивная печать реализована переносом микроколичеств УФ-геля для ногтей: зонд забирает смолу капиллярным действием и оставляет капли, размер которых может быть меньше 15 мкм. Отверждение выполняет УФ-светодиод в рабочей платформе. Тонкие слои смолы плохо застывают на воздухе, так как кислород нейтрализует фотоинициатор. Можно переносить и другие вещества, если их растворитель не испаряется при нанесении, а также добавлять материалы вроде золотой фольги, прилипающие к частично отверждённой смоле. Для тонкого нанесения рекомендуется электрохимически заточенная проволока; PIKA способна сама вытравливать свои зонды. Впереди много работы: предстоит выяснить, что и какими материалами можно печатать, а для сложных 3D-форм и механизмов понадобятся складные структуры, шарниры и гибкие элементы. Авторы надеются, что μRepRap позволит создавать полезные устройства и экосистему инструментов для ещё меньших масштабов.

Микропринтер μRepRap достигает микронной точности, но масштабирование до полностью самовоспроизводящегося устройства невозможно из-за физических ограничений (закон квадрат‐куб, изменение соотношения силы трения и массы) и отсутствия печатаемых электро‐ и механических компонентов (провода, микросхемы, винты), которые требуют внешней поставки. Сообщество видит перспективные применения в MEMS, микросенсорах, экспериментальном микроманипулировании, печати проводящих смол, небольших динамиков и DIY‐инкжет‐принтера, а также гипотетические идеи вроде микросхем типа core memory. Пьезоэлектрические приводы обеспечивают субмикронную точность, но их стоимость и требуемое напряжение делают их непрактичными для типичного RepRap‐проекта. Для достижения микрометрической точности рекомендуется использовать готовые оптические энкодеры (например, гравированные стеклянные шкалы) вместо печати собственных механизмов. Исторически развитие точных машин шло от крупных к мелким, и сегодня любители могут работать на атомарном уровне — аналогично прорывам XVIII века. Одни считают RepRap устаревшим по сравнению с Bambu‐принтерами, другие подчеркивают ценность открытого подхода и возможностей микроманипуляций.

Пользователи отмечают ухудшение качества ПО Apple: частые сбои аудио, графики и UI, включая регрессию OpenGL в macOS 15.8.2 RC. Многие связывают это с ростом мелких багов в новых версиях macOS и iOS, воспринимая это как ускоряющийся упадок качества. OpenGL давно помечен как deprecated, и его поломка в 15.8.2 RC воспринимается как следствие отсутствия регрессионных тестов для устаревшего API. Часть комментаторов считает, что Apple игнорирует качество и не исправляет баги; другие напоминают, что такие регрессии типичны для релиз‐кандидатов и будут исправлены в финальном релизе. Для обхода проблем с OpenGL рекомендуется переходить на современные API: Vulkan‐on‐Metal от LunarG или напрямую использовать Metal. Если критичны стабильность аудио и графики, советуют откатываться на проверенную версию macOS или рассматривать альтернативные ОС, например Linux. Некоторые подчёркивают, что большинство пользователей не сталкиваются с этими проблемами, и баги затрагивают лишь небольшую часть аудитории.

Появление больших языковых моделей уже приносит реальные математические результаты: построение решения с конечным временем обострения для уравнений Навье–Стокса с вынуждающим членом и предложенное доказательство квази-гипотезы Римана заслуживают самого пристального внимания математиков. Однако их значимость требует постоянной независимой проверки и осмысления сообществом. Особенно хорошо модели работают с доказательствами на языке Lean, но для по-настоящему трудных теорем такие формальные доказательства достигают сотен тысяч строк кода. Тревожная тенденция: чем длиннее Lean-доказательство, тем более запутанным и менее точным оказывается его машинный перевод на естественный язык — и никто не понимает почему. В итоге для важнейших задач мы получаем корректные формальные доказательства, которые невозможно прочесть напрямую, и хаотичные пересказы, требующие огромных усилий для человеческого понимания. Возникает фундаментальный вопрос: без человеческого понимания зачем вообще заниматься математикой и получать доказательства, кроме как для тестирования моделей?

Автор рассматривает два сценария. «Золотой век» — осторожная интеграция моделей в научную экосистему с приоритетом поддержки нового поколения учёных, развития экспертизы и сохранения открытой, коллаборативной и интеллектуально независимой науки. «Тёмный век» — впечатляющий рост научной продукции в краткосрочной перспективе при прогрессирующем ослаблении самостоятельной человеческой научной деятельности: производство знаний сосредоточится в немногих руках, а сами эти руки будут всё хуже понимать созданное. Настоящая тьма — знание, ставшее чуждым человеческому пониманию.

Реальность, вероятно, соединит оба сценария. Конкретные шаги к «золотому веку»: доступ исследователей к передовым моделям, стандарты воспроизводимости и раскрытия для созданной с их помощью науки, ресурсы на осмысление и распространение таких результатов, изучение влияния моделей на научное образование и подготовку кадров, а также устойчивые инвестиции в публично управляемую инфраструктуру. Математикам автор отводит особую ответственность — сохранить математику живой частью человеческой культуры, принимая неопределённость, используя все инструменты для открытия нового и создавая лучшие профессиональные стандарты для следующих поколений.

Главная проблема ИИ в математике — не отсутствие ответов, а отсутствие процесса обучения человека через объяснение и интуицию. Спор: ИИ умеет решать, но не обучать (@ttul, @curt15) vs. если результат достигнут, человеческое понимание становится вторичным (@0c3ca83, @charcircuit). Риск: научные открытия могут превратиться в закрытые проприетарные патенты корпораций (OpenAI, Anthropic), создавая новые «дзайбацу» и ограничивая доступ к знаниям (@jacquesm). Опыт @rustyhancock: «вайб-кодинг» с ИИ лишает разработчика глубокого изучения паттернов и ошибок, degradируя навыки обучения в работе. Спор: ИИ — заслуженный удар по интеллектуальному снобизму и гейткипингу (@augment_me, @hbcdbff) vs. утрата культурного наследия. Будущее науки зависит от выбора между моделью жесткой конкуренции (ведущей к «темным векам» и закрытости) и моделью сотрудничества (@itsalwaysgood, @joe_the_user). ИИ может демократизировать математику, убрав барьеры сложной нотации и иерархической системы именования теорем в честь авторов (@grandpajoey).

DeepSeek предлагает Search и Fetch API по цене $0.75 за 1000 запросов — значительно дешевле конкурентов: Brave ($5), Kagi ($12), Exa (~$4). Это вызывает вопросы о цензуре, лимитах запросов и влиянии на трафик веб-сайтов. Пользователь @nikvdp считает бесплатные self-hosted решения (например, searxng-ai-kit) более выгодными, но @hobofan утверждает, что организациям нужны платные провайдеры для стабильной задержки, гарантий обработки данных и надежности скрапинга при глубоком поиске. Пользователи @xhrpost и @andai предполагают, что рост бот-трафика на сайтах частично вызван агентами LLM, запрашивающими контент напрямую, в отличие от крупных провайдеров (Google, Claude), использующих кэширование. По опыту @czk, поиск DeepSeek подвержен цензуре: политически чувствительные запросы возвращают 0 результатов. Пользователь @suncemoje отмечает, что собственные MCP-инструменты на базе сторонних скраперов в 15-20 раз дешевле интегрированных решений от OpenAI и Anthropic. Технические ограничения: @josteink указывает на низкий лимит (5 запросов в секунду), а @shaunpud заметил, что fetch возвращает только текст без гиперссылок. По мнению @tinyhouse, низкие цены DeepSeek могут поставить под удар оценки компаний-конкурентов (Parallel, Exa, Perplexity), так как спрос есть, но маржинальность падает.

Новый документальный фильм «You Can See Everything» об Элизабет Холмс — не столько рассказ об обмане, сколько сам обман зрителя в реальном времени. Автор описывает, как целый зал взрослых людей кричал на экран, а одна женщина выкрикнула «Преступница!» — и это не относилось к Холмс. Фильм заставляет пережить, насколько наше мнение о человеке зависит от того, как нам рассказывают его историю.

Ключевой факт, который часто теряется: Холмс была оправдана по всем четырём пунктам, связанным с обманом пациентов. В тюрьме она оказалась потому, что присяжные признали: она сознательно вводила в заблуждение инвесторов, вложивших в Theranos более 700 миллионов долларов. Но общество не любит нюансов — ему нужно решить, хороший человек или плохой.

Автор вспоминает эксперимент Canon 2015 года: шесть фотографов снимали одного и того же мужчину, но с разными описаниями — миллионер, заключённый, рыбак, алкоголик, экстрасенс, спаситель. Портреты вышли совершенно разными. Мы сначала формируем эмоциональное впечатление, потом строим на нём убеждение, а затем ищем подтверждающие факты. Фильм показывает эту манипуляцию и одновременно заставляет в ней участвовать: крупный план немигающей Холмс — зловещая; она качает ребёнка — уже человек; долгая пауза мужа — может, кукловод он? Психологию этой манипуляции, по мнению автора, стоит изучать.

Обсуждение дополняет статью контекстом о стиле режиссера Натана Филдера, указывая, что обман зрителя является его осознанным художественным методом, а не случайным эффектом, и разделяет мнения о ценности фильма от «интеллектуального аттракциона» до затянутой и пустой работы.

• Спор: Пользователи спорят о ценности фильма: @jdorfman и @nanolith считают его захватывающим исследованием манипуляции, в то время как @why_at называет его утомительным и перегруженным, а @ksymph и @halyconWays критикуют статью за описание очевидных приемов киноязыка как «откровения».

• Многие отмечают, что фильм Натана Филдера по своей сути является мета-комментарием, где Элизабет Холмс служит лишь инструментом (пропом) для демонстрации того, как легко обмануть зрителя (@coldfloor, @trombuance).

• Спор: Возник спор о моральной оценке Холмс: @vvpan считает, что к женщинам-мошенницам закон относится строже, чем к мужчинам (например, Маску), тогда как @nomilk подчеркивает, что главная вина Холмс не в обмане инвесторов, а в создании опасных для жизни пациентов медицинских тестов.

• Зрители рекомендуют фильм «F for Fake» Орсона Уэллса как схожий по формату пример псевдодокументалистики, играющей с истиной и обманом (@keiferski, @prodmod).

• Спор: Пользователь @zug_zug утверждает, что фильм ошибочно занижает значимость прямых улик преступлений Холмс, таких как использование оборудования конкурентов и фальсификация военных контрактов.

You sit there believing you’re watching a documentary about a woman who deceived the world, only to discover that you’re also watching a demonstration of how easy it is to deceive you. — @jdorfman

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

Конгрессмен от 15-го округа Нью-Йорка Ричи Торрес представил законопроект «Power To The Players Act», который обязывает Федеральную торговую комиссию (FTC) установить правила владения играми. Суть инициативы: покупка игры должна давать потребителю право собственности, а не лицензию на игру. Кроме того, игры с онлайн-функциями обязаны предоставлять офлайн-режим до отключения поддерживающих их серверов.

Проблема «срока годности» игр при растущих ценах и агрессивной монетизации давно волнует игроков по всему миру. Торрес не первый, кто встал на их защиту: сенатор Пенсильвании Джон Кейн ранее предложил закон «Protect Our Games Act», требующий от издателей офлайн-режим, независимые серверы или возврат не менее 25% стоимости. Показательна позиция Sony: в защите по коллективному иску юристы компании заявили, что нажатие кнопки «купить» якобы не даёт потребителю понять, что он приобретает долговременное право на игру, а не отзываемую лицензию — по сути, разовый платёж за аренду, который Sony может отобрать в любой момент.

Обсуждение дополняет статью скепсисом о реальности принятия закона и опасениями, что он ускорит переход индустрии на модель SaaS или навредит инди-разработчикам. Пользователи спорят о влиянии на инди-студии: @bob1029 и @herbst считают требования непосильными для малых команд, @aaomidi полагает, что инди-разработчики в целом поддержат инициативу. Существует спор о последствиях: @pembrook и @SlightlyLeftPad предупреждают, что закон вынудит издателей полностью перейти на модель SaaS, чтобы избежать обязательств по передаче прав собственности. Техническая реализация офлайн-режима и поддержки сообщества считается простой: достаточно выпустить исполняемый файл сервера, который у студий обычно есть для разработки (@anonymous908213, @Shank). Обсуждается правовая база: @Buttons840 предлагает расширить Fair Use для эмуляции, @modeless и @999900000999 считают, что нужно радикально сократить срок действия авторского права (например, до 20 лет). Пользователи @JumpCrisscross и @dabinat уточняют, что это федеральный законопроект, а не закон штата Нью-Йорк; @JumpCrisscross подчеркивает, что текст документа до сих пор не представлен. Экономический риск: @somenameforme утверждает, что закон уничтожит бизнес-модели из-за возвращения доктрины первой продажи, позволяющей бесконечно перепродавать цифровые копии. В качестве альтернативы законодательству @m463 рекомендует поддерживать GOG за предоставление DRM-free игр, хотя @Fire-Dragon-DoL отмечает, что это всё ещё покупка лицензии, а не владение. По мнению @kmeisthax, главной проблемой для сохранения игр является раздел 1201 закона DMCA, который делает создание кастомных серверов юридически опасным.

Энтузиаст домашней физики повторил эксперимент из научной работы, где живые ткани делают прозрачными с помощью тартразина — ярко-жёлтого красителя, который содержится в чипсах «Доритос». Идею подсказала подруга автора Адаоби Адибе. В оригинальной статье исследователи добивались прозрачности куриной грудки, замачивая её в растворе тартразина. Автор взял ломтик сырой куриной грудки толщиной около 2 мм, вырезанный из куска в 5 мм, и выдержал его 6 часов при комнатной температуре в растворе концентрацией примерно 0,19 моль. Результат — частичная прозрачность: сквозь образец видны линии сетки снизу, а сама курица на вид напоминает мармеладных мишек, хотя на ощупь остаётся прежней. В качестве контроля другой образец вымачивался в воде.

Оригинальный протокол был жёстче: 0,62 моль, 40 °C и механический шейкер, но автор не нашёл безопасного способа и нужного оборудования, поэтому изменил условия. Механизм, по текущей модели, таков: тартразин смещает показатель преломления воды к значениям, близким к показателям преломления белков и липидов, за счёт чего ткань становится прозрачнее. В статье также приведён вывод волнового уравнения и связь диэлектрической проницаемости с комплексным показателем преломления. Автор обещает вскоре провести более амбициозное повторение.

Обсуждение дополняет статью советами по подготовке образцов, объяснением эффекта прозрачности и дискуссией о безопасности пищевых красителей. Для тонких и ровных срезов сырой курицы @masfuerte рекомендует слегка подморозить мясо, @Balgair — использовать вибротом. Автор статьи (@casualphysics) принял предложение @ricardobeat использовать ванну су-вид для обработки образцов. Эффект прозрачности достигается за счёт изменения показателя преломления воды в мясе, а не за счёт заполнения воздушных зазоров, как в случае с маслом и бумагой (@balou23). @JSR_FDED выразил обеспокоенность «химической природой» красителей, но @sam1714 и @augment_me возразили, что натуральное мясо содержит патогены (например, Salmonella), а аргумент о «натуральности» — логическая ошибка. В Европе тартразин (E102) не запрещён, но продукты с ним должны содержать предупреждение о возможном негативном влиянии на активность и внимание детей (@layer8). Для улучшения прозрачности @_Microft предлагает уменьшить шероховатость поверхности образца, добавив воду между сеткой и мясом или проводя эксперимент полностью под водой.

Конгрессмен Ричи Торрес (Нью-Йорк, 15-й округ) объявил о внесении законопроекта «Power To The Players Act», который обяжет Федеральную торговую комиссию разработать правила, защищающие право покупателей владеть и играть в приобретённые видеоигры. Причина — переход индустрии на цифровые версии без физических носителей: такие игры продаются как отзываемые лицензии, а не как собственность, и игрок зависит от дальнейшей поддержки компании.

Яркий пример — «NBA 2K25»: стандартное издание стоило 69,99 доллара, издание All-Star — 99,99 доллара, но игру уберут из цифровых магазинов 30 октября, а онлайн-серверы отключат 31 декабря — всего через два года после выхода. Торрес заявил: «Когда вы платите за игру, вы должны ею владеть». По его словам, игра, которую могут отнять в момент отключения серверов, — «не покупка, а аренда, замаскированная под продажу».

Законопроект предлагает: покупка игры даёт потребителю право собственности, а не лицензию; игры с онлайн-функциями обязаны предоставить офлайн-режим до отключения серверов. Сохраняя возможность владеть и перепродавать игры, закон позволит игрокам годами играть с друзьями и семьёй.

Законопроект сталкивается с практическими и юридическими проблемами: требование офлайн‐режима и публикации серверных бинарников нереально для большинства MMO, а компании вряд ли раскроют исходный код из‐за лицензий и коммерческих интересов. Участники скептически относятся к реальному статусу проекта, считая его PR‐ходом, так как в официальных источниках нет текста проекта и он ещё не попал в хоппер Конгресса. Предлагаются технические обходные пути: публикация серверных бинарников или хотя бы спецификаций API, позволяющих создать независимый сервер, а также требование документации и возможностей для самостоятельного хостинга вместо офлайн‐режима. Это позволило бы сообществу поддерживать игры после закрытия официальных серверов. Также обсуждается необходимость расширения защиты прав владельцев: добавление возможности передачи игр после смерти владельца (наследование библиотеки Steam) и учёт уязвимости подписных MMO, где клиент бесплатен, а плата — за доступ к сервису, что снижает эффективность законопроекта в таких случаях. Инди‐разработчики менее уязвимы из‐за простых DRM‐систем и большей адаптивности к требованиям. Есть опасения, что раскрытие серверных компонентов конфликтует с существующими лицензиями и DMCA. При этом рост возможностей ИИ делает обратную инженерию доступнее, что может ослабить традиционную защиту интеллектуальной собственности.

Бенчмарк StarSkirmish v0.2 проверяет, насколько сильного бота для StarCraft: Brood War напишет языковая модель за один час — на C++ и за протоссов. Затем бот играет против ботов других моделей и против написанных людьми. Оценка — средняя доля побед по пяти запускам, от 0 до 100.

Лидирует GPT-6 Astra, за ним GPT-6.1 Sol; Gemini 4 Argon, Claude Opus 5.5 и Claude Fable 5.1 практически вровень (37–39). Лучшее соотношение цены и качества у GPT-6.1 Sol — единственной модели в привлекательном квадранте, чуть дороже десятой доли цены лидера.

Насыщения не видно: против сильнейших человеческих ботов Stardust, PurpleWave и BananaBrain лучшая модель выигрывает лишь 7% игр. Сильнее всего счёт предсказывает объём практики против семи сильнейших ботов ростера: GPT-6 Astra, GPT-6.1 Sol и Gemini 4 Argon начинают играть с ними рано, ещё проигрывая. Fable 5.1 — исключение: 37 очков, тренируясь почти только на слабых. Разброс между запусками велик у Gemini 4 Argon (18 очков против 9 и 8 у конкурентов). Бенчмарк больше не коррелирует с Artificial Analysis Intelligence Index (ρ 0,26) и отошёл от Terminal-Bench 4.0, но по-прежнему связан с Vals IOI и WeirdML.

Обсуждение дополняет статью скепсисом относительно чистоты бенчмарка из-за возможного запоминания кода ботов из обучающей выборки и подчеркивает критическую роль «обвязки» (harness) в производительности моделей. Пользователи @gritzko и @donutdonot полагают, что бенчмарк проверяет скорее способность к воспроизведению кода из обучающей выборки (recall), так как в сети много реализаций ботов для StarCraft, в то время как @gritzko отмечает, что в играх с меньшим количеством открытого кода LLM демонстрируют иные аспекты рассуждений. По опыту @djoldman, выбор интерфейса взаимодействия (harness), доступные инструменты (например, веб-поиск) и уровни «мышления» (thinking levels) оказывают огромное влияние на итоговый результат одной и той же модели. В то время как бенчмарк ставит GPT-6 Astra на первое место, @t1amat по своему опыту при создании ботов для ModernUO обнаружил, что Claude Opus 5.5 значительно лучше справляется с пониманием и построением системы, чем модели GPT-6. По мнению @GodelNumbering, результаты StarSkirmish v0.2 точно коррелируют с рейтингами GoBench (бенчмарк по игре Го), что указывает на общую иерархию способностей моделей в сложных стратегических задачах. Для более объективной оценки @BeaverGoose предлагает протестировать LLM-ботов против Pluto — нейросетевого бота, способного побеждать лучших игроков в Brood War. Пользователи @iugtmkbdfil834 и @carychang отмечают, что текущий метод оценки не разделяет навыки генерации кода, логический анализ, знание платформы C++ и умение разрабатывать тактики.

BetterWispr — открытая программа для диктовки на macOS: удерживайте ⌥ Space в любом приложении, говорите, отпускаете — и в поле ввода появляется чистый текст. Всё распознавание идёт локально, без аккаунта и облака: девять встроенных моделей (Apple speech, Parakeet, Whisper) скачиваются один раз и работают офлайн. Parakeet покрывает английский, японский и 25 европейских языков, Whisper — больше. Можно подключить собственный API Sarvam AI, Smallest AI или совместимый с OpenAI.

Настраивается почти всё: горячая клавиша (удержание или переключение), стиль для каждого приложения (неформальный убирает точку в конце, очень неформальный — ещё и заглавные), уровень чистки (Light убирает «э-э» и оговорки, Medium правит на ясность через Apple Intelligence или Ollama, None сохраняет всё). Голосовые команды вроде «запятая» или «удали последнее предложение» работают на английском. Есть встроенный Notetaker: он пишет вашу речь как «Me», звук других приложений как «Them» и затем формирует резюме, решения и задачи. Словарь запоминает имена и термины, история хранит исходный и исправленный текст с возможностью вернуть оригинал. Лицензия Apache 2.0, обновления приходят с GitHub Releases и ставятся только при совпадении подписи EdDSA.

Локальная диктовка на macOS с моделями Parakeet v3 и Whisper работает эффективно, обеспечивая высокую точность и низкую задержку. Whisper остается основным универсальным решением, в то время как Parakeet v3 поддерживает только европейские языки; для CJK-языков используют Whisper. Некоторые пользователи считают достаточным встроенный API SpeechAnalyzer. Для управления без рук применяют Bluetooth-пульты и педали с переназначением клавиш через Karabiner. Чтобы сделать процесс полностью бесконтактным, предлагают внедрить активацию по ключевому слову (wake-word) и автоматическое завершение по тишине. Для улучшения качества рекомендуют пост-транскрипционную очистку через LLM-промпты или словари. Один разработчик создал CLI-утилиту, параллельно комбинирующую три модели, что снизило задержку и повысило точность. Также запросили интеграцию с IDE для автоматической отправки сообщений при завершении диктовки. Мнения о продуктивности разделились: одни считают метод революционным, другие жалуются на усталость и отмечают, что при быстром наборе текста диктовка становится нишевым решением. Спрос на локальные и веб-версии без облачной передачи данных привел к обилию схожих OSS-проектов (Handy, VoiceInk, Wispr Flow, Biscotti). В связи с этим предлагают расширить поддержку на Windows и Linux. Отдельно обсуждаются возможные юридические риски, связанные с товарным знаком Wispr.