Hacker News Digest

Knotty — это предметно-ориентированный язык (DSL) для описания вязальных паттернов, реализованный в Racket. Он позволяет программировать схемы вязания, используя код вместо традиционных графических или текстовых инструкций. Основная идея заключается в автоматизации создания сложных узоров, что упрощает работу дизайнеров и энтузиастов.

Язык предоставляет модули для ввода-вывода данных, примеры кода и справочник, облегчая освоение и применение. Knotty демонстрирует, как нишевые DSL могут решать специализированные задачи, сочетая программирование с ремеслом.

• Обсуждение исторических связей между программируемыми ткацкими станками (Жаккардовы машины) и современными компьютерами.
• Восхищение проектом как примером элегантного и практичного инженерного решения, продолжающего исторические традиции.
• Размышления о параллелях между вязанием и функциональным программированием, где физические ограничения сравниваются с системой типов.
• Интерес к современным DIY-станкам для вязания и возможностям автоматизации создания узоров с помощью ИИ.
• Шуточные комментарии об ожиданиях увидеть что-то другое (например, терминальный эмулятор) и отсылки к поп-культуре.

Программа Early Decision от Y Combinator позволяет студентам подать заявку на участие в акселераторе до окончания учёбы, зарезервировав место в одном из будущих наборов. Например, подав заявку осенью текущего года, можно присоединиться к летнему батчу следующего года после выпуска. Приём заявок и интервью идентичны стандартным, но в случае одобрения YC сразу финансирует проект и сохраняет место до завершения учёбы.

Инициатива предназначена для студентов, которые хотят получить диплом перед запуском стартапа, даже если они ещё не уверены в своих планах — подача не имеет негативных последствий. Примером успеха служат основатели Spur (S24), которые подали заявку через Early Decision, выпустились в мае 2024 года, привлекли $4,5 млн и развивают инструменты для QA-тестирования на основе ИИ. Чтобы участвовать, в форме заявки нужно выбрать опцию «A batch after Winter 2026» и указать предпочтительный период.

• Программа YC для студентов рассматривается как возможность получить финансирование, сеть контактов и опыт без необходимости бросать учёбу или отказываться от других предложений, что особенно важно для недостаточно представленных групп.
• Критики выражают обеспокоенность, что такой подход может привлечь недостаточно подготовленных основателей без глубоких знаний индустрии и реального опыта работы, что снижает шансы на успех стартапа.
• Многие комментаторы советуют молодым людям сначала поработать в устоявшихся компаниях, чтобы набраться опыта, построить сеть контактов и понять процессы, прежде чем начинать собственное дело.
• Поднимается вопрос о балансе между обязательствами перед программой и личной жизнью (семья, здоровье), а также о необходимости очного присутствия в Кремниевой долине для успеха.
• Обсуждается сдвиг в философии YC: от совета не начинать дело в 20 лет к поощрению молодых основателей, что некоторые считают predatory или идеологически мотивированным шагом.

Helium — это браузер для десктопа с открытым исходным кодом, ориентированный на приватность и удобство. По умолчанию он блокирует рекламу, трекеры, криптомайнеры и фишинговые сайты благодаря предустановленному uBlock Origin, без исключений и дополнительных настроек. Браузер не содержит собственной аналитики, не делает веб-запросов без явного согласия пользователя и работает на облегчённой версии Chromium, что обеспечивает высокую скорость и энергоэффективность.

Helium включает уникальные функции, такие как нативные !bangs (позволяют быстро переходить на сайты, например, !w для Википедии), разделённый просмотр страниц и поддержку всех Chromium-расширений с анонимизацией запросов к Chrome Web Store. Интерфейс минималистичен, не отвлекает и настраивается под пользователя. Все обновления безопасности выпускаются оперативно, а синхронизация данных через облако отсутствует для максимальной конфиденциальности.

• Скептицизм по поводу использования Chromium в качестве основы для приватного браузера, учитывая контроль Google над экосистемой и необходимость альтернативных движков (WebKit, Gecko).
• Озабоченность отсутствием информации о команде разработчиков, модели монетизации и долгосрочных планах поддержки, что важно для доверия к автоматическим обновлениям.
• Критика и сравнение с другими браузерами (Brave, Firefox, Orion, Zen), где отмечаются недостатки Helium: отсутствие вертикальных вкладок, синхронизации с мобильными устройствами и поддержки MV2-расширений.
• Запросы о технических деталях: механизм автообновлений, поддержка Linux и мобильных ОС, версия uBlock Origin (MV2 или Lite), безопасность расширений.
• Некоторые положительные отзывы о качестве браузера и удобстве использования, но в целом преобладает осторожное или негативное отношение из-за зависимости от Chromium.

Похоже, это сообщение о процессоре Snapdragon X2 Elite от Qualcomm, но доступ к полной информации требует включения JavaScript в браузере. Без активации скриптов содержимое страницы, включая технические характеристики, производительность или особенности чипа, недоступно для просмотра.

Рекомендуется разрешить выполнение JavaScript в настройках браузера, чтобы ознакомиться с деталями о процессоре — вероятно, это новые разработки в области мобильных или портативных вычислений.

• Обеспокоенность недостаточной открытостью и документацией для Snapdragon X2, что затрудняет поддержку Linux и разработку драйверов.
• Вопросы о реальной производительности, энергоэффективности и технических деталях (поддержка TSO, пропускная способность памяти, TDP) без предоставления бенчмарков.
• Скептицизм относительно заявлений о многодневной автономности и маркетинговых формулировок ("легендарный скачок").
• Надежды на появление конкурентов Apple Silicon и качественных ARM-ноутбуков с хорошей поддержкой Linux.
• Обсуждение ниши для ARM-чипов и необходимости поддержки со стороны Microsoft и OEM-производителей.

Исследование выявило критические скрытые риски в цепочке поставок литий-ионных аккумуляторов формата 18650. Ключевые дефекты — отрицательный выступ анода (катодный выступ) и смещение краёв электродов — значительно повышают риск внутреннего короткого замыкания и теплового разгона. Низкокачественные и контрафактные элементы демонстрируют в 7 раз хуже качество выступа анода и на 50% хуже выравнивание краёв по сравнению с OEM-продукцией.

Среди 1054 просканированных ячеек 33 (около 8% в сегменте низкокачественных брендов) имели катодный выступ — дефект, напрямую ведущий к отказам. Даже редкие дефекты становятся массовой проблемой при объёмах производства в миллиарды штук, что подтверждается частыми отзывами продукции и предупреждениями регуляторов. Мошенники копируют упаковку reputable брендов, заявляя нереалистичные характеристики (например, 9900 мАч вместо стандартных 3000 мАч), но компьютерная томография объективно выявляет внутренние несоответствия.

• Участники обсуждают проблемы безопасности аккумуляторов, особенно в электровелосипедах, отмечая частые возгорания из-за низкокачественных элементов и сборки.
• Подчеркивается важность использования элементов от проверенных брендов (Samsung, LG, Panasonic, Sony) и качественной сборки батарейных блоков с надежной BMS.
• Критикуется практика переупаковки элементов и завышения производителями заявленной емкости, что вводит потребителей в заблуждение.
• Обсуждаются технические аспекты, такие как методы разрядки для измерения реальной емкости и применение КТ-сканирования для контроля качества.
• Отмечается высокая стоимость услуг Lumafield и эффективность их рекламной стратегии, направленной на технических энтузиастов.

Серверные материнские платы Supermicro уязвимы для удалённой установки вредоносного ПО в прошивку базового контроллера управления (BMC), что делает заражение практически необнаружимым и неустранимым стандартными методами. Уязвимости CVE-2025-7937 и CVE-2025-6198 позволяют обходить проверки цифровых подписей и перезаписывать firmware, которая выполняется ещё до загрузки операционной системы — даже замена дисков или переустановка ОС не очистят систему.

Эксплуатация уязвимостей требует предварительного получения контроля над BMC, что возможно через ранее описанные методы. Подобные атаки могут привести к установке стойких имплантов, аналогичных ILObleed, который безвозвратно уничтожал данные на серверах HP. Особую опасность это представляет для AI-датацентров, где массовое заражение может оставаться незамеченным долгое время.

• Участники обсуждают уязвимости BMC (базовых контроллеров управления) в серверах Supermicro и других производителей, отмечая их низкое качество ПО и наличие неисправленных уязвимостей, позволяющих удалённо прошивать прошивку.
• Подчёркивается, что BMC представляет собой серьёзный вектор атаки и должен быть изолирован в отдельной физической или логической сети без прямого доступа извне.
• Обсуждаются проблемы безопасности на уровне прошивки: отсутствие проверки подписей, возможность перепрошивки из операционной системы и сложность удаления бэкдоров без физического доступа к чипу.
• Высказывается критика в адрес производителей за отсутствие документации, открытых спецификаций и поддержки открытых альтернатив, таких как OpenBMC.
• Упоминается, что проблема не нова и ранее обсуждалась в контексте спорной статьи Bloomberg о предполагаемых аппаратных закладках китайского происхождения в серверах Supermicro.

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

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

• Упадок малых организаций и локальных сообществ из-за экономических изменений, включая рост двухдоходных семей и снижение волонтерства.
• Консолидация рынков в пользу крупных корпораций, подкрепленная регуляторными рамками и финансовыми стимулами, ограничивающими малый бизнес.
• Технологии и интернет одновременно упростили создание онлайн-сообществ, но также способствовали росту крупных платформ и снижению локальной активности.
• Социальные последствия: потеря чувства общности, статуса в сообществе и роста ощущения изоляции и бессмысленности у индивидуумов.
• Возможности для возрождения малых организаций через низкие барьеры входа в цифровую эпоху и осознание их ценности для общества.

Zed переходит с помесячных лимитов на промпты на токен-ориентированную модель оплаты для использования ИИ-функций. Базовая подписка Pro теперь стоит $10 вместо $20 и включает $5 кредита на токены, а дополнительное использование тарифицируется по цене API-провайдеров плюс 10% надбавки. Также добавлены новые модели: GPT-5, Gemini 2.5 и Grok 4.

Это изменение отражает реальные затраты на запуск ИИ и устраняет несоответствие, когда простой запрос стоил столько же, сколько сложная задача. Пользователи получают больше гибкости и прозрачности, а Zed может устойчиво развивать редактор. Текущим клиентам даётся три месяца на переход, предлагаются альтернативы вроде своих API-ключей или локальных моделей.

• Пользователи выражают разочарование переходом Zed на токенную модель ценообразования, считая её сложной для прогнозирования затрат и неудобной по сравнению с фиксированной подпиской.
• Многие отмечают, что встроенные AI-функции Zed, особенно предсказание правок, уступают конкурентам (Cursor, Claude Code), и предпочитают использовать внешние сервисы со своими API-ключами.
• Поднимаются вопросы доступности редактора (отсутствие поддержки скринридеров) и его стабильности (баги, зависания при работе с большими файлами или проектами).
• Высказываются опасения, что токенная модель создаёт неверные стимулы для разработчиков и неустойчива как бизнес-модель для посредников между пользователем и провайдерами LLM.
• Часть пользователей положительно оценивает снижение стоимости базовой подписки и возможность поддержать разработку Zed, не переплачивая за неиспользуемые AI-функции.

Команда Wasmer анонсировала бета-поддержку Python в своей edge-платформе на базе WebAssembly. Это позволяет запускать популярные фреймворки вроде FastAPI, Django и Streamlit, а также библиотеки типа numpy и pandas — всё в песочнице с почти нативной производительностью. Ключевые улучшения включают динамическую линковку, поддержку сокетов, потоков и собственный индекс пакетов.

Производительность впечатляет: тесты показывают, что Python на Wasmer работает всего на 5% медленнее нативного, при этом обеспечивая изоляцию и портативность. Платформа уже обгоняет Cloudflare по поддержке мультитрединга и нативных модулей, а вскоре добавит полную поддержку PyTorch и других тяжёлых библиотек.

• Запуск Python в WebAssembly через Wasmer предлагает производительность, близкую к нативной, и обеспечивает надежную песочницу для выполнения кода.
• Обсуждаются практические применения: встраивание скриптов в приложения, серверные API (FastAPI, Django) и выполнение пользовательского кода в изоляции.
• Поднимаются вопросы о поддержке ключевых библиотек (numpy), асинхронности (asyncio) и межъязыкового взаимодействия (Python-JS).
• Отмечаются существующие альтернативы (Pyodide, контейнеры) и сложности с зависимостями, имеющими нативные расширения.
• WASM рассматривается как более простая и легковесная альтернатива виртуальным машинам и контейнерам для развертывания.

Технологическая индустрия столкнулась с кризисом доверия: массовые увольнения, возвращение в офисы и страх перед ИИ создали токсичную атмосферу. Лидеры не могут игнорировать тревогу команды, но и открыто противостоять решениям руководства — рискованно.

Ключевая тактика — деликатное балансирование. Публично поддерживайте корпоративные решения, но в приватных беседах признавайте их недостатки и проявляйте эмпатию. Важно дать команде понять, что вы разделяете их переживания, но не давайте невыполнимых обещаний. Честность в рамках доверительного общения сохраняет лояльность, даже когда «вибрации сбиты».

• Критика стиля руководства как лицемерного и способствующего выгоранию, с акцентом на разрыв между ожиданиями высшего руководства и реальными возможностями сотрудников.
• Обсуждение негативного влияния удалённой работы и аутсорсинга на условия труда, включая усиление контроля и потерю гибкости.
• Дебаты о роли среднего менеджмента как буфера между руководством и сотрудниками, с упрёками в сикофантстве и отсутствии Integrity.
• Упоминание факторов давления на компании: высокая стоимость заёмных средств, конкуренция на основе ИИ, снижение доходности.
• Скептицизм относительно эффективности предложенных стратегий и призывы к более активному сопротивлению или смене работы.