Hacker News Digest

Обновлено: 25 октября 2026 г. в 11:29

Постов: 3006 • Страница 34/301

US imposes sanctions on ICC hours after former judge wins Nobel Peace Prize (reuters.com) 🔥 Горячее 💬 Длинная дискуссия

Пересказ статьи недоступен — ниже разбор обсуждения.

by poly2it • 09 октября 2026 г. в 14:31 • 334 points

Оригинал • HN

#international-criminal-court#nobel-peace-prize#sanctions

Комментарии (191)

Санкции США против Международного уголовного суда вызвали широкую критику как проявление американского империализма и двойных стандартов. Их рассматривают как политическое возмездие, отражающее ощущение исключительности США и готовность подавлять институты, воспринимаемые как угроза. Дискуссия о легитимности Суда продолжается: одни видят в нём орган правосудия, другие называют его «кэнгарOO court» — политическим инструментом западных элит. Особое внимание уделяется двойным стандартам: США поддерживают преследование россиян через Суд, но отвергают возможность судебного разбирательства американцев. Это усиливает призывы к технологическому суверенитету — отказу от американских компаний и развитию открытого программного обеспечения как способа снизить уязвимость перед санкциями. Есть опасения, что корпорации могут быть вынуждены отключать сервисы в странах, объявленных США «врагами», что создаст проблемы для пользователей. Некоторые надеются, что санкции ослабят глобальное влияние США и ускорят отказ от их финансовых и технологических сервисов, включая продукты Microsoft. Критики также отмечают, что подписантов Римского статута меньше, чем стран, его не признающих, что ставит под сомнение легитимность обвинений в адрес Суда. Санкции связывают с более широкими обвинениями в нарушениях прав человека со стороны США, включая удары по гражданским объектам. Заявление Марко Рубио о том, что США находятся «выше закона», воспринимается как подтверждение их самоуверенного отношения к международному праву. В целом, меры и сопровождающие их заявления рассматриваются как полностью политизированные и не направленные на справедливость.

Our $445M Series D (oxide.computer) 🔥 Горячее 💬 Длинная дискуссия

Oxide Computer Company объявила о привлечении $445 млн в раунде Series D, что стало возможным благодаря достижению прибыльности: весной компания впервые заплатила налог на прибыль от обычной деятельности — продажи компьютеров — после учёта всех расходов на компоненты, производство, зарплаты и операционные издержки. Это редкое событие для стартапа, поскольку большинство компаний на ранних этапах убыточны, инвестируя в рост задолго до получения дохода. Прибыльность Oxide подтвердила продукт/рынок fit и позволила уверенно планировать дальнейшее расширение, несмотря на историческую осторожность основателей, пережившихDot Com bust.

Ключевым драйвером раунда стал огромный бэклог заказов, превышающий текущие производственные мощности. Хотя существующие инвестиции (Series B и C), долговые инструменты и генерируемый бизнесом денежный поток позволяли закрыть текущий спрос, масштаб спроса требовал дополнительного капитала для закупки компонентов и расширения производства без риска срывов из-за внешних шоков. В раунде участвовали longtime инвесторы — Eclipse (лидер), USIT, Riot Ventures, Jane Street, Friends and Family Capital и Counterpart — а также новые стратегические партнёры: Atreides Management, впечатлённые долгосрочным аналитическим подходом к инвестициям в сложные технологии, и AMD, которая ранее поддерживала технические breakthroughs Oxide и теперь стала акционером, подчёркивая глубокую взаимную веру в долгосрочное партнёрство. Средства направлены на выполнение бэклога, расширение мощностей и укрепление независимости компании на пути к устойчивому росту.

by ahlCVA • 09 октября 2026 г. в 13:12 • 630 points

Оригинал • HN

#amd#atreides-management#counterpart#eclipse#friends-and-family-capital#jane-street#oxide#riot-ventures#usit

Комментарии (289)

Oxide Computer Company привлекает внимание благодаря прибыльности, уникальной корпоративной культуре, прозрачной коммуникации и фокусу на децентрализованном вычислении (sovereign compute), что редко встречается среди стартапов в инфраструктуре. Процесс найма оценивается как один из лучших в индустрии — акцент на качественных сотрудниках, искренне заботящихся о продукте, хотя некоторые кандидаты жалуются на его длительность и отсутствие обратной связи за месяцы. Компания получает высокую оценку за ироничный и честный тон в маркетинге (например, шутка о налогах на фото). Подкаст On the Metal / Oxide and Friends считается одним из лучших источников технических и культурных инсайтов. Oxide отличается от типичных стартапов фокусом на прибыльность и устойчивость, а не только на росте и привлечении капитала; пользователи отмечают, что она платит налог на прибыль, подтверждая устойчивую бизнес-модель. Критика включает отсутствие поддержки GPU — считается критическим ограничением для современных рабочих нагрузок, и отсутствие публичной страницы с ценами, что затрудняет оценку предложения. Некоторые пользователи хотели бы использовать Oxide в домашних лабораториях (homelab), но отмечают отсутствие SOHO-решений. Компания воспринимается как потенциальный альтернативный игрок в инфраструктуре, способный захватить даже 1% расходов на облака AWS, Azure и Google Cloud. Один комментатор предположил, что Oxide могла бы использовать долговое финансирование вместо привлечения новых акционеров для покрытия заказов, но это не подтверждено.

Cloudflare acquires Deno (deno.com) 🔥 Горячее 💬 Длинная дискуссия

Deno команда присоединяется к Cloudflare, чтобы продолжить работу над упрощением создания серверного ПО. Их цель — объединить вычисления, хранение и связь в единую модель, где приложения не собирают инфраструктуру сами. Это логичное продолжение пути от Deno через Deno Deploy к celld — платформе, построенной на Cloudflare Workers и Durable Objects, где масштабирование заложено в саму модель программирования, а не в инфраструктуру каждого приложения. Команда видит в этом способ сделать такую модель стандартной для серверной разработки, независимо от того, где запущено приложение.

В рамках перехода Deno runtime получит поддержку с исправлениями и обновлениями безопасности ещё год, после чего разработка прекратится, но код останется открытым. Deno Deploy будет работать шесть месяцев с поддержкой миграции на Cloudflare Workers для платных клиентов. JSR продолжит работу, перенеся свою инфраструктуру на Cloudflare, а rusty_v8 будет интегрирован в workerd. Команда особенно заинтересована в применении Durable Objects для ИИ-агентов благодаря их дешёвому serverless-исполнению, постоянному состоянию, WebSockets и высокоуровневому JS-интерфейсу. Kenton Varda и Райан Дал подробно описывают это в совместном посте в блоге Cloudflare.

by ilreb • 09 октября 2026 г. в 13:03 • 1265 points

Оригинал • HN

#cloudflare#cloudflare-workers#deno#deno-deploy#deno-runtime#durable-objects#jsr#rusty-v8#serverless#workerd

Комментарии (640)

Сообщество воспринимает поглощение Deno Cloudflare как конец официальной поддержки рантайма, выражая разочарование из‐за утраты уникальных возможностей: безопасности и импорта модулей по URL. Большинство считают это «закрытием» проекта, несмотря на открытый код, и обеспокоены прекращением поддержки через год. Однако открытый исходный код даёт шанс сообществу продолжить развитие, а Cloudflare может интегрировать лучшие идеи Deno в Workers и получить талантливую команду. Ключевые преимущества Deno — простота импорта модулей напрямую из репозиториев и строгая безопасность — делают его уникальным для скриптов и sandbox‐окружений, и их потеря в Node и Bun отмечается как существенный недостаток. Некоторые советуют сообществу взять на себя развитие Deno после ухода Cloudflare. Пользователь @steve_adams_86 рекомендует перенести механизмы безопасности Deno в workerd для улучшения sandbox‐а. @johnbellone планирует продолжать использовать Deno как встроенный рантайм и надеется на сообще‐форк. @sholladay считает, что Deno стал «раздутым» после добавления совместимости с npm, что оттолкнуло их от проекта. О бизнес‐модели Deno многие считают, что отсутствие монетизации (платные планы, донаты) и зависимость от венчурных инвестиций сделали проект уязвимым к поглощению. Приобретение Cloudflare рассматривается как часть более широкой тенденции консолидации инструментов разработки (Bun, Astro, Vite и др.) под крупные облачные компании. @jppope отмечает, что Cloudflare получит талантливую команду, что может улучшить безопасность и стандартную библиотеку Workers.

Show HN: Let your AI agents paint big arrows, boxes and text on your screen (github.com) 🔥 Горячее 💬 Длинная дискуссия

bigarrow — это macOS-утилита, позволяющая AI-агентам визуально указывать на элементы интерфейса: рисует стрелку и подпись поверх всех окон, при этом клики проходят сквозь неё к приложению underneath, фокус клавиатуры не меняется, а стрелка исчезает после действия. Работает как одна Swift-бинарка без разрешений, демонов или телеметрии, совместима с Claude Code и Codex через навык в формате Agent Skills.

Основное применение — направление человека в моменты, когда агент не может или не должен действовать самостоятельно: подтверждение разрешений macOS, ввод 2FA-кодов, выбор окна среди множества, голосовое напоминание через --say или пошаговое обучение интерфейсу (например, как разрешить запись экрана). Agent может найти элемент по тексту (--element "Allow"), приложению (--app "System Settings") или окну (--window "Chrome:Pull request"), построить команду и нарисовать указатель. Инструмент проверен на разных конфигурациях: множественные дисплеи, Spaces, отключение монитора во время работы. Лицензия MIT.

by franze • 09 октября 2026 г. в 11:03 • 358 points

Оригинал • HN

#2fa#agent-skills#anthropic#github#llm#macos#mit#openai#screen-overlay#swift

Комментарии (154)

Визуальные подсказки типа bigarrow облегчают обучение, помощь пожилым и отладку агентов, но вызывают вопросы безопасности и злоупотребления. Они могут скрывать кнопки отказа, позволяя злоумышленникам подменять действия пользователя. Полезны для пожилых и тех, кто нуждается в простом визуальном руководстве, особенно в учебных материалах и документации, где скриншоты не показывают, куда кликать. Для повышения доверия рекомендуется добавлять текстовое объяснение действия рядом со стрелкой. Визуальные аннотации упрощают отладку нескольких агентов, заменяя громоздкие логи. Простые стрелки отвечают на «куда кликнуть», но не на «нужно ли это действие» — решение остаётся за пользователем. Для диалоговых окон согласия следует сочетать визуальное указание с описанием последствий нажатия. Некоторые сравнивают bigarrow с лазерными указками в телеприсутствии — механизм давно востребован. Текущие стрелки выглядят неестественно и могут раздражать — нужен учёт эстетики. Инструмент работает без дополнительных разрешений macOS, что привлекательно для разработчиков. Для надёжного применения рекомендуется добавить отключение кликов‐сквозь. Визуальные подсказки могут стать стандартом в будущих UI, заменяя сложные меню, но требуют совместимости с языками и платформами — иначе полезность ограничена macOS. Общее настроение: интерес к идее, но нужны доработки для практичности и безопасности.

Nobel Peace Prize for 2026 to Navanethem Pillay (nobelprize.org) 🔥 Горячее 💬 Длинная дискуссия

Наватанем «Нави» Пиллей, юрист индийско-тамильского происхождения из ЮАР, стала лауреатом Нобелевской премии мира 2026 года за многолетнюю борьбу за укрепление международного права и привлечение к ответственности за военные преступления, геноцид и преступления против человечности. Её карьера началась с защиты Нельсона Манделы во времена апартеида, продолжилась должностями судьи в Высоком суде ЮАР, Международном уголовном трибунале по Руанде и Международном уголовном суде, а также постом Верховного комиссара ООН по правам человека. Сейчас она служит в Международном суде ООН по делу о геноциде в Мьянме.

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

by Anon84 • 09 октября 2026 г. в 10:12 • 414 points

Оригинал • HN

#genocide#high-court-of-south-africa#icc#international-law#navanethem-pillay#nobel-prize#peace-prize#un

Комментарии (216)

Тред критически рассматривает процесс выбора лауреата Нобелевской премии мира, отмечая возможные политические влияния и конфликт между США и МУС. Подчеркивается роль Пилей в международном праве как фигуры, выступающей против авторитаризма. Утверждается, что в Polymarket не обнаружено инсайдерского трейдинга, что опровергает предвзятость выбора. Уточняется, что премия мира присуждается Норвежским комитетом, а не шведским, и существуют обвинения в утечках, аналогичные случаю с литературной премией. Пилей поддерживается как борющаяся с авторитаризмом, что укрепляет её позицию в международном праве. Указывается на связь между санкциями США против МУС и её победой, а также на кампанию администрации США по ослаблению МУС из-за схожих выводов, сделанных Пилей в ООН. Отмечается, что ордера МУС — первый шаг, а не доказательство вины, что часто недопонимается. Пилей была назначена ад-хок судьёй в МСС по делу о геноциде в Мьянме, подтверждая её активную роль. Обсуждается, что премия должна присуждаться только за уже совершённые действия, а не за будущие, что вызывает спор о критериях. Упоминается публикация о комиссии Пилей, признавшей Израиль ответственным за геноцид, усиливающую политическую напряжённость. Также отмечается, что выбор лауреатов часто требует близости к преступлениям, создавая риск обвинений в коллику. Пилей имеет опыт борьбы с апартеидом и работы в суде ЮАР, подтверждающий её квалификацию.

Sorry, I'm in a meeting (iminafleeting.com) 🔥 Горячее 💬 Длинная дискуссия

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

Сервис позволяет добавлять фейковые встречи в календарь (Google Calendar, Outlook) с автоматической ссылкой на сайт, а также включать режим «back-to-back», когда одна встреча плавно сменяется другой. Каждая запись длится около 12 минут и начинается с рандомной точки, чтобы избежать повторяющихся фраз. При выходе вы нажимаете «Leave» — участники прощаются, и звук завершается естественно. На телефоне можно добавить сайт на главный экран для полноэкранного режима. Всё работает локально: календарные приглашения генерируются в браузере, данные не отправляются на сервер.

by splintersio • 09 октября 2026 г. в 09:21 • 693 points

Оригинал • HN

#fleeting#google-calendar#outlook

Комментарии (219)

Сервис может служить инструментом для создания «зоны фокуса», но пользователи сталкиваются с техническими проблемами аудио, блокировкой со стороны ИТ и разными реакциями на уровень отвлечения. Многие используют фейковые встречи, чтобы визуально занять время и защитить часы продуктивной работы — например, еженедельное пятничное собрание помогает коллегам не планировать другие встречи. Для минимизации шума в офисе рекомендуется включать звук через наушники, а не через динамики компьютера. Значительная часть комментариев указывает на частые сбои аудио: 404‐ошибки, отсутствие звука для американского и международного вариантов, что ставит под вопрос надёжность сервиса. Одни считают звук слишком отвлекающим и мешающим сосредоточиться (bartread, spuz), тогда как другие используют его как успокаивающий фон‐шум, сравнивая с ASMR (tiborsaas). Для повышения правдоподобия рекомендуется добавить наложенные реплики («хм», «ээ») и более естественные паузы (karim79, micromacrofoot). Корпоративные сети часто блокируют доступ к сервису (arjonagelhout, DharmaPolice), ограничивая доступность в корпоративных средах. Пользователи просят добавить визуальный интерфейс, имитирующий Teams/Zoom с аватарами, чтобы «маскировать» отсутствие реального видеосигнала (TrackerFF, pentakkusu). Сервис воспринимается как современный аналог старых «фейковых индикаторов прогресса» и «boss key», отражая культурную привычку к имитации занятости. Для расширения аудитории стоит добавить поддержку разных языков (wkumfer), чтобы пользователи из неанглоязычных стран могли пользоваться сервисом. Некоторые видят в проекте чисто шутливый элемент, используемый для развлечения и саркастических комментариев, а не как серьёзный инструмент продуктивности (frangonf, mellosouls).

Show HN: Quake ported to safe Rust, playable in browser (quake-srp.pages.dev)

Quake-SRP — это браузерный порт оригинального Quake 1996 года, написанный на Rust и полностью программно отрисованный без использования GPU или внешних зависимостей. Игра запускается прямо в окне браузера, поддерживает полноэкранный режим, звук, управление клавиатурой, мышью и геймпадом, а также сохранение прогресса в локальном хранилище. Включена shareware-версия эпизода 1 (quake106.zip, 9,1 МБ), а пользователи могут загружать свои собственные файлы — pak1.pak для эпизодов 2–4, mission pack’и (hipnotic/pak0.pak, rouge/pak0.pak) и CD-музыку в формате OGG — которые сохраняются в браузере и не требуют повторной загрузки.

Управление гибкое: по умолчанию используется WASD + мouselook (с возможностью блокировки мыши кликом), но можно переключиться на оригинальные управления id Software через консольную команду idcontrols (стрелки для движения и взгляда, без мouselook и геймпада). Доступны пресеты classic (точное воспроизведение WinQuake) и slop (настройки порта), переключаемые через консоль (preset classic / preset slop) или параметры URL (?classic, ?slop). Игровой процесс дополняют консольные команды вроде god, noclip, give, map e1m2, impulse 9 и т.д., а также быстрые сохранения/загрузки по F6/F9. Меню вызывается клавишей Esc или любой клавишей во время демо, а F12 делает скриншот в формате PCX, сохраняемый в хранилище страницы. Поддержка миссий, кастомных контролей, видеоопций и сброса настроек делает Quake-SRP удобным и аутентичным способом пережить классику прямо в браузере.

by ilreb • 09 октября 2026 г. в 05:22 • 149 points

Оригинал • HN

#browser#id-software#ogg#quake#rust

Комментарии (118)

Порт Quake в безопасный Rust продемонстрировал мощный метод визуального сравнения пикселей, но вызвал споры о ценности LLM‐ассистированных Rust‐портов, ограничениях браузерных игр, недопонимании «safe Rust» и необходимости значительных усилий, а также поднял вопросы о потенциальных злоупотреблениях такой техникой в критических системах. Визуальный diff‐harness позволяет точно сравнивать каждый пиксель с оригиналом, упрощая поиск и устранение графических багов. Спор: Некоторые считают, что LLM‐ассистированные порты в Rust заполнят репозитории тривиальными проектами; другие видят реальную ценность демонстрации, но полагают, что подход быстро утратит актуальность. Совет: Для сложных игр браузерный подход часто неэффективен; лучше разрабатывать десктопные версии, чтобы избежать проблем с производительностью. Совет: Термин «safe Rust» часто путают с полным отсутствием unsafe‐кода; на практике могут использоваться обходные пути, обходящие проверку заимствований. Портировать игру в браузер требует значительных усилий и опыта, как подтверждает пятилетний труд автора над Neverball. Совет: Отсутствие мультиплеера в текущем порте воспринимается как существенный недостаток, который пользователи хотели бы увидеть реализованным. Проект иллюстрирует синергию технологий: WASM, Rust и LLM, построенную на десятилетиях человеческого вклада в графику и эмуляцию. Спор: Некоторые опасаются, что метод визуального сравнения может быть использован для обратного инжиниринга критически важных систем, таких как банковские бэкенды, что вызывает тревогу о безопасности.

Keyboard differences between Windows and Macs (unsung.aresluna.org) 🔥 Горячее 💬 Длинная дискуссия

На Mac и Windows клавиши имеют разные названия и функции, что важно учитывать в кроссплатформенных веб-приложениях. На Windows клавиша Backspace удаляет символ слева, а Delete — справа; на Mac это наоборот: Delete работает как Backspace, а Forward Delete (Fn+Delete) — как Delete на Windows. Клавиша Enter на Windows соответствует Return на Mac, хотя на полноразмерных клавиатурах Mac есть отдельная клавиша Enter (⌤), обычно на цифровой панели, которую можно эмулировать Fn+Return. В большинстве приложений Enter и Return на Mac ведут себя одинаково, но есть исключения, например в Photoshop, где Return добавляет перенос строки, а Enter подтверждает ввод.

Модификаторные клавиши также различаются: на Windows основные — Ctrl, Alt, Shift; на Mac — ⌘ Command (аналог Ctrl в Windows для команд вроде копирования/вставки), ⌥ Option (аналог Alt), ⌃ Control (используется реже, часто как дополнительный модификатор) и ⇧ Shift. Mac использует больше символов на клавишах (например, ⌘, ⌥, ⌃), тогда как Windows полагается на текстовые подписи. На Mac отсутствуют клавиши Insert, Print Screen, Scroll Lock и Pause/Break, присутствующие на Windows-клавиатурах, но есть Help, ≣ Contextual Menu (аналог правой кнопки мыши) и ⌧ Clear (редко используемая функция, похожая на Backspace). Некоторые старые клавиатуры Apple даже содержали PC-легенды (Insert, Num Lock и т.д.) для совместимости. Стрелки на современных Mac-клавиатурах переопределены: ↑ и ↓ используются для Page Up/Down, а ⤒ и ⤓ — для Home/End, что может вызывать путаницу. Эти различия критичны для разработчиков, стремящихся к единому поведению интерфейса на обеих платформах.

by sohkamyung • 09 октября 2026 г. в 03:08 • 253 points

Оригинал • HN

#cross-platform#keyboard#mac#photoshop#windows

Комментарии (203)

Различия в клавишах между Mac и Windows влияют на продуктивность и комфорт, особенно при переключении между платформами, вызывая реальные боли при настройке и адаптации. Пользователи, переключающиеся между Mac и Windows, рекомендуют использовать Karabiner-Elements для переопределения клавиш Mac под Windows-раскладку, чтобы снизить когнитивную нагрузку. Для пользователей, живущих в двух мирах, лучше полностью принять Mac-логику, а не пытаться её подменить — иначе возникает «утечка абстракции» и постоянная путаница при чтении сочетаний клавиш в меню. Разница в поведении клавиш Delete/Backspace обусловлена моделью курсора: в DOS/Windows курсор находится на символе, в Mac — между символами, что определило эргономику удаления. Пользователи с опытом работы в 70–90-х отмечают, что нестандартность интерфейсов была нормой, и современные разногласия между платформами — продолжение исторической фрагментации. Спор: некоторые считают, что Mac правильно использует Return для перевода строки и Enter для отправки данных, другие утверждают, что термин «Enter» на Windows — устаревшая маркировка, а функционально клавиши идентичны. Пользователи с раскладками, требующими диакритических знаков (польская, болгарская, португальская), сталкиваются с критическими проблемами из-за различий в позициях символов и вынуждены переключать раскладку на PC-совместимую. Клавиши Ctrl+C/V/X на Windows неудобны из-за расположения Ctrl у мизинца, тогда как Cmd на Mac позволяет использовать большой палец — что делает их более эргономичными для частого использования. Пользователи, перешедшие с Mac на Linux, отмечают, что readline-поведение (Ctrl+A/E, Ctrl+K/U и т.д.) в текстовых полях — стандарт, который Linux должен включать по умолчанию во всех средах. Различия в позициях скобок [ ] и символов вроде ` на клавиатурах Mac и Windows вызывают постоянные ошибки у пользователей, даже после длительного опыта, и требуют переобучения моторной памяти. Спор: некоторые считают, что Mac-раскладка с Fn/Globe слева — ошибка, и требуют возврата Ctrl на это место; другие утверждают, что это логично для ноутбуков с тачбаром и улучшает доступ к функциям. Пользователи с Linux-десктопом на Mac-аппаратном обеспечении жалуются на отсутствие полноценной поддержки и призывают разработчиков GNOME и Asahi реализовать режим совместимости с Mac-вводом. Сочетания клавиш в Emacs и Unix-оболочках (Ctrl+A, Ctrl+E, Ctrl+K) стали стандартом в Mac и Linux, но Windows их игнорирует, создавая разрыв в ожиданиях пользователей, привыкших к Unix-средам. Пользователи, использующие Sublime Text, отмечают, что поведение клавиш на Mac не совпадает с Windows-версией, что делает невозможным переключение между платформами без потери продуктивности — привело к отказу от Mac. Клавиша Command на Mac воспринимается как более логичный модификатор для команд, чем Ctrl, потому что он не конфликтует с системными сочетаниями вроде Ctrl+Alt+Del и не требует напряжения мизинца. Пользователи с немецкой раскладкой отмечают, что стандарт DIN 2137-01:2023-08 (E1) в Windows 11 и Debian позволяет вводить все европейские символы и рекомендуют его как решение для кроссплатформенной совместимости.

OpenAI, the Partition Principle, and Mathematics (karagila.org) 💬 Длинная дискуссия

OpenAI выпустил препринт, в котором утверждается, что принцип разбиения не влечёт аксиому выбора — задача, открытая более века. Автор, специалист по теории множеств и аксиоме выбора, внимательно ознакомился с работой и пришёл к выводу, что её качество крайне низко: текст запутан, терминология неточна, структура странная, а леммы, такие как 7.4 и 8.1, выглядят неуместно и непонятно. Список литературы вызывает серьёзные сомнения: в нём цитируются unpublished лекционные заметки, включая собственные материалы автора, вместо признанных источников, что неприемлемо для серьёзного математического труда.

Автор подчёркивает, что даже без глубокого знания ниши любой математический препринт по теории множеств должен позволять понять общую стратегию и идею — здесь этого нет. Если бы такая работа была отправлена в журнал, её следовало бы отклонить на этапе desk review из-за неприемлемого уровня изложения. Он сравнивает ситуацию с подачей статьи на шведском в PAMS: ответственность за доступность лежит на авторе, и OpenAI её не несёт. Хотя автор не против ИИ как инструмента, он считает, что компании вроде OpenAI стремятся навязать свои стандарты научному сообществу, а не адаптироваться к ним. Это создаёт опасную иллюзию, что машины могут заменить математиков, тогда как на самом деле требуется глубокое экспертное понимание, которое ИИ пока не демонстрирует. В связи с этим он отказывается выполнять своё шутливое обещание отправить Саму Алтману виски и призывает сообщество критически относиться к подобным заявлениям.

by md224 • 08 октября 2026 г. в 23:29 • 113 points

Оригинал • HN

#axiom-of-choice#llm#mathematics#openai#partition-principle#preprint#set-theory

Комментарии (162)

Обсуждение раскрывает конфликт между академическими нормами и ИИ-результатами, генерируемыми без учёта этики. Эксперты тратят ресурсы на анализ непонятных работ, несмотря на отсутствие обязательств. Спор: Некоторые считают, что математики обязаны разбираться с ИИ-результатами из-за общественного давления и сотен запросов — это вынужденная реакция. Другие возражают: у них есть свои исследования, студенты и ограниченные ресурсы — требование разбираться с такими работами нереалистично и несправедливо. Многие отмечают: плохое качество написания ИИ — не уникальная проблема. Академические статьи также часто плохо написаны, но их игнорируют из-за авторитета авторов. ИИ-работы вызывают ярость из-за отсутствия статуса автора. Согласие: ИИ-результаты создают «сервисную нагрузку» — эксперты вынуждены тратить время на проверку, интерпретацию и восстановление смысла, что не было частью традиционной практики. Спор: Одни считают, что ИИ должен улучшать качество через итерации и обратную связь, как программисты с кодом. Другие утверждают: ИИ не может заменить научную ответственность за ясность и структуру. Совет: Публиковать ИИ-результаты в отдельных журналах с собственными редакторами и рецензентами — чтобы не перегружать академическое сообщество и создать отдельную экосистему для машинных открытий. Совет: Молодым математикам использовать ИИ как инструмент анализа (консолидация информации, визуализация, редактирование), но не как источник фундаментальных результатов — чтобы не заменять глубокое понимание. Опыт комментаторов: «Голодные» молодые исследователи заняты поиском работы на худшем за десятилетие рынке труда — у них нет времени и желания разбираться с непонятными ИИ-работами. Спор: Если бы OpenAI написал понятные доказательства, математики были бы ещё злее — это сделало бы ИИ-открытия неотъемлемой частью академического дискурса, угрожая статусу и идентичности исследователей. Сравнение с ранними днями ИИ в программировании: сначала возмущения, потом адаптация — текущий кризис — переходный этап, а не конец математики. Использование Lean для формальной верификации повышает надёжность, но снижает доступность — доказательства становятся корректнее, но понятнее только для немногих специалистов по формальным системам. Совет: Использовать потребительские модели ИИ (например, GPT) для переписывания и улучшения структуры ИИ-работ — чтобы снизить барьер для понимания, даже если исходный текст создан другим ИИ. Согласие: OpenAI не «снабжает» математиков результатами, а «сбрасывает» их — без контекста, без объяснений, без ответственности — что нарушает принципы научного обмена знаниями. Спор: Некоторые считают, что сопротивление ИИ связано с потерей статуса и идентичности — математики не против знаний, а против того, что они приходят от машины. Другие утверждают: это не о статусе, а о научной этике. Сравнение с «крэнками»: ИИ-работы теперь занимают место непроверенных заявлений от аутсайдеров в академическом потоке — но с масштабом и ресурсами корпорации.

Yes, and (htmx.org) 🔥 Горячее 💬 Длинная дискуссия

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

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

by Michelangelo11 • 08 октября 2026 г. в 09:48 • 724 points

Оригинал • HN

#code-generation#fundamentals#junior-developers#llm#programming

Комментарии (285)

Ценность программиста смещается от написания кода к пониманию систем, управлению сложностью и способности направлять ИИ. Спор: ИИ уже превосходит людей в написании кода при правильном использовании, но большинство не умеет эффективно им управлять — это делает навыки разработчика ещё более ценными. Спор: Один участник не пишет и не читает код, строя системы через ИИ; другие настаивают, что без понимания кода невозможно отлаживать и контролировать сложность. Спор: Сравнение ИИ с компиляторами оспаривается: ИИ недетерминирован, но и компиляторы C++ могут вести себя непредсказуемо из-за undefined behaviour и оптимизаций. Многие согласны: знание фундаментальных принципов позволяет использовать ИИ как инструмент, а не замену — как опытный гитарист, вспоминающий базовые навыки. Совет: Не становиться программистом ради программирования, а освоить программирование как инструмент для решения задач в другой области (бухгалтерия, биология). ИИ повышает производительность: компании сообщают о росте скорости разработки на 30%, снижая потребность в количестве разработчиков, но не в качестве. Спор: ИИ сможет генерировать машинный код, сделав языки устаревшими — против: абстракции останутся необходимыми для управления сложностью. Совет: Использовать ИИ как наставника для понимания концепций, а не как генератор кода — это ускоряет обучение и развивает глубокое понимание. Способность чётко формулировать запросы и мыслить структурированно становится важнее навыков написания кода — это определяет качество взаимодействия с ИИ. Спор: В корпоративной среде всё сводится к скорости и KPI — ИИ заменит людей, потому что дешевле — против: качество и контроль сложности останутся критичными. Совет: Изучать программирование через простой редактор, а не IDE — убирает подсказки, заставляет мыслить самостоятельно. Программирование как навык моделирования внешних систем (бизнес-процессы, биологические явления) остаётся ключевым — ИИ не заменяет понимание предметной области. Спор: ИИ сможет полностью заменить разработчиков, включая архитектурные решения — против: человеческий контроль над архитектурой останется необходимым. Совет: Новичкам использовать ИИ как интерактивного наставника, задающего вопросы и помогающего думать шаг за шагом, а не выдающего готовый код. Способность читать и понимать код остаётся критичной — ИИ генерирует ошибки, исправить которые можно только при глубоком понимании системы.