Hacker News Digest

В конце Гражданской войны в США до 1950-х годов Великобритания доминировала в мировом судостроении, производя 80% мирового тоннажа к 1890-м. После Второй мировой страны казалась непобедимой, строя больше судов, чем весь остальной мир. Однако к 1957 году её доля упала с 57% до 17%, а к 1990-м - ниже 1%. В 2023 году Великобритания не произвела ни одного коммерческого судна.

Падение стало следствием неспособности адаптироваться к новым технологиям. Британская промышленность полагалась на квалифицированный труд, избегая дорогой инфрактуры, что когда-то давало преимущество. Когда конкуренты, особенно из США, внедрили новые методы строительства, разработанные во время войны, Британия не смогла ответить. Её устаревшая система, эффективная в прошлом, оказалась неспособной к изменениям в быстро меняющемся судоходном рынке.

• Производство кораблей и других тяжёлых отраслей в Великобритании исчезло из-за отсутствия стратегического планирования и инвестиций, а не из-за «неэффективности» рабочих или профсоюзов.
• Соединённые Штаты и Европа добровольно отказались от собственного производства в пользу Китая, и теперь страдают от последствий.
• Попытки объяснить это «неэффективностью» рабочих или профсоюзов игнорируют тот факт, что правительства не инвестировали в инфраструктуру и технологии, и вместо этого позволили отрасли умереть.
• Вопрос о том, что страна должна иметь собственное производство, остаётся открытым, но важно помнить, что в 21-м веке это должно быть основано на инвестициях в технологии и образование, а не на попытках сохранить устаревшие методы.

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

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

• Ситуация с рынком труда для новых выпускников в технологической сфере вызывает тревогу, но неясно, насколько это связано с AI или просто с циклом экономики.
• Постоянный поток H1B-виз в США и отсутствие иммиграционной политики в Великобритании подчеркивают, что рынок труда не локален, а глобален.
• Сообщество Hacker News обсуждает, как выживают выпускники, которые не попали в FAANG, и какие навыки нужны, чтобы выжить в этой ситуации.
• Дискуссия подчеркивает, что важно не только технические навыки, но и умение "продавать" себя и сетевое взаимодействие.
• Некоторые участники подчеркивают, что важно не только найти работу, но и быть готовым к тому, что рынок труда может быть циклическим, и что важно быть гибким и адаптивным.

Архив Эдсгера Дейкстры содержит более тысячи его неопубликованных рукописей, известных как "EWDs", которые он рассылал десяткам получателей на протяжении более 40 лет. Дейкстра, один из основоположников компьютерных наук (1930-2002), внёс фундаментальный вклад в алгоритмы, языки программирования, операционные системы и формальную верификацию, за что получил высшую награду ACM - премию Тьюринга. Большинство его работ остались недоступными для широкой публики, пока не были оцифрованы и представлены на этом сайте в виде PDF-документов.

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

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

Монтана стала первым штатом в США, юридически защитившим право своих граждан на доступ к вычислительным инструментам и технологиям искусственного интеллекта. Губернатор Грег Джанфорте подписал закон Сената 212, официально известный как Акт о праве на вычисления в Монтане (MRTCA). Этот исторический шаг создает правовую основу для использования вычислительных технологий без избыточных ограничений со стороны государства.

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

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

Марк Зукерберг из Индианы - не основатель Facebook, а юрист по банкротствам, чья жизнь осложняется постоянными путаницами с более известным тезкой. Он ежедневно получает сотни запросов в Facebook, письма с жалобами на соцсеть, требования техподдержки и даже угрозы, предназначенные для миллиардера. Его личный аккаунт в Facebook пять раз блокировали за предполагаемое "притворство знаменитостью", а его телефон отключают ночью, чтобы избежать потока уведомлений.

Из-за своей фамилии юрист столкнулся с судебным иском от штата Вашингтон, постоянными взломами аккаунта, удалением из приложения Nextdoor и даже получением платежей через Venmo от незнакомцев. Несмотря на эти неудобства, Марк С. Зукерберг специализируется именно на банкротстве в Индианаполисе, Андерсоне, Блумингтоне и других городах штата, где его имя доминирует в поиске по запросу "Марк Зукерберг банкротство".

• Люди сталкиваются с бытовыми сложностями из-за совпадающих имён: получение чужой почты, проблемы с документами (например, DMV путает с преступником), невозможность регистрации в соцсетях.
• Имена, совпадающие с известными личностями, создают дополнительные проблемы: ненавистные сообщения в соцсетях, юридические сложности, трудности с поиском информации в интернете.
• Предлагаются решения: замена имён на UUID, использование уникальных идентификаторов (как OIB), изменение системы передачи фамилий (например, по материнской линии), создание групп для однофамильцев.

Airbus стал редким примером успешного европейского промышленного проекта, в отличие от множества провалов вроде Concorde или Quaero. Пока Boeing сталкивается с кризисом после катастроф 737 MAX (346 погибших в 2018-2019 гг.) и инцидента с Alaska Airlines в 2024 году, Airbus избегает негативных заголовков. Ключ к успеху Airbus - его "наименее европейский" подход: компания ставила клиентов на первое место, не акцентировала европейскую идентичность и имела руководство, готовое рисковать ради качественного продукта.

В начале коммерческой авиации американские компании доминировали благодаря закону "Buy America Act 1933" и военным заказам. Boeing B-47 с 35-градусными крыльями и Boeing 707 заложили основу для современных лайнеров. Airbus же преуспел, потому что уникально сочетал европейские ресурсы с рыночным подходом, создав продукт, превосходящий американского конкурента.

• Франко-немецкое культурное взаимодействие было ключевым для создания Airbus, что невозможно было бы в рамках одной страны.
• Консервативный европейский подход с приоритетом безопасности над скоростью вывода на рынок дал Airbus преимущество перед американской моделью.
• Airbus успешно фокусировался на клиентах и лоббировании, минимизируя акцент на европейской идентичности.
• Ошибки Boeing, включая задержки с разработкой и финансовые манипуляции, способствовали доминированию Airbus.
• Государственная поддержка сыграла важную роль как для Airbus, так и для Boeing, но стратегические решения Airbus оказались эффективнее.

Ironclad — это формально верифицируемый, реального времени, UNIX-подобный ядро операционной системы общего назначения и встраиваемых систем, написанное на SPARK и Ada. Проект полностью свободный и распространяется под лицензией GPLv3. Ключевые особенности включают POSIX-совместимый интерфейс, одновременное вытесняющее многозадачность, обязательный контроль доступа (MAC) и поддержку жёсткого реального времени.

Главное преимущество Ironclad — формальная верификация с помощью SPARK для критических компонентов, таких как криптография и MAC. Система полностью портативна и зависит только от GNU toolchain, что упрощает кросс-компиляцию. Проект поддерживает дистрибутивы для всех доступных архитектур, наиболее заметный из которых — Gloire. Ironclad всегда будет бесплатным для использования, изучения и модификации, а финансируется за счёт пожертвований и грантов от NLnet и Европейской комиссии.

• Участники сомневаются в степени формальной верификации Ironclad, сравнивая его с более строгими аналогами вроде seL4 и Tock, и указывают на отсутствие доказательства ключевых свойств ядра.
• Проект написан на SPARK и Ada, поддерживает x86_64 и RISC-V, но не ARM64; его лицензия включает бесплатную версию с возможностью коммерческого использования.
• Основные альтернативы: seL4 (быстрый и строго верифицируемый), Genode (POSIX-совместимый слой), Asterinas и Redox (Linux-совместимые ядра), а также ReactOS и SerenityOS.
• Критика включает медленную производительность по сравнению с seL4, отсутствие capability-based безопасности и потенциальные проблемы на уровне прошивки.
• Уточнено, что формальная верификация — это не тестирование, а математическое доказательство соответствия спецификации, а "бесплатность" ПО может относиться только к лицензии.

Preston Byrne представляет 4chan и другие американские сайты в судебных разбирательствах против британского регулятора Ofcom, защищая их от Закона об онлайн-безопасности. Автор бесплатно защищает все американские веб-сайты, работающие законно в США, от попыток Великобритании нарушить Первую поправку Конституции. Он подчеркивает, что даже самые спорные платформы, такие как SaSu, 4chan, Gab и Kiwi Farms, заслуживают защиты.

В случае с SaSu, который заблокировал доступ для пользователей из Великобритании, Ofcom продолжает преследование, утверждая, что геоблокировка не работает. Однако автор демонстрирует обратное с помощью теста через VPN, показав, что блокировка функционирует. Он объясняет, что геоблокировка ненадежна из-за неточностей в базах данных геолокации, где IP-адреса могут быть некорректно привязаны к регионам. Byrne считает, что стратегия Ofcom заключается в выборе самых "радиоактивных" целей для публичного унижения, и единственный способ противостоять этому — защищать каждый сайт, как указал судья Брандейс: "солнечный свет — лучший антисептик".

• UK-регулятор Ofcom требует от американского сайта блокировать доступ для британских пользователей, что вызывает споры о суверенитете и свободе слова.
• Сторонники свободы слова утверждают, что это является экстерриториальным применением закона, что противоречит принципу, что сайт не обязан соблюдать законы страны, в которой он не базируется.
• Обсуждение также затрагивает вопрос о том, кто должен решать, какие сайты доступны в стране, и кто должен нести ответственность за блокировку контента.
• Некоторые участники обсуждения поднимают вопрос о том, что если страна может требовать от иностранной компании соблюдать её законы, то почему она не может требовать того же от физических лиц, и что это может означать для свободы передвижения и частной жизни.
• В конце концов, обсуждение подводит к тому, что вопрос о том, кто имеет право регулировать интернет, и какие законы применимы к глобальной сети, остаётся нерешённым.

Самый большой грузовой парусник в мире, Neoliner Origin, длиной 136 метров успешно завершил первое трансатлантическое плавание 30 октября, несмотря на повреждение кормового паруса во время шторма. Судно пришлось частично использовать вспомогательный двигатель и оставшийся парус, сделав остановку в Сен-Пьер и Микелон перед продолжением пути в Балтимор. По словам CEO компании Neoline Жана Зануттини, переход стал ценным опытом в управлении большими парусными поверхностями в Северной Атлантике.

Судно с двумя полужесткими парусами показало устойчивость, достигнув пункта назначения с минимальной задержкой. Neoliner Origin разработан для снижения выбросов парниковых газов на 80-90% по сравнению с традиционными дизельными судами. В то время как глобальное морское судоходство производит около 3% мировых выбросов, этот переход демонстрирует потенциал парусных технологий для экологичной транспортировки грузов.

• Проект «Neoliner Origin» демонстрирует возможность полностью парусного трансатлантического рейса, но повреждение паруса показало, что даже в 2024 году не обеспечивается достаточная надежность для полного перехода на паруса.
• Контейнеровозы перевозят до 200 000 тонн, тогда как парусное судно — 5300 тонн; масштабирование парусов под большие грузы остаётся вопросом.
• Пока нет ясности, будут ли ядерные суда экономически эффективны, но они уже строятся в Китае.
• Стоимость перевозки в обратном направлении — 3200 евро за 13-дневный рейс, что сопоставимо с авиаперелетом.
• Проект пока не решает, как обеспечить комфорт пассажиров при 11-узловой скорости через 2-3 недели путешествия.

writerdeckOS - это минималистичная ОС, превращающая ноутбуки и Chromebook в устройства для чистого письма без отвлекающих факторов. Основанная на Debian Linux, она загружается напрямую в текстовый редактор Tilde, предлагая только необходимое для написания текстов. ОС легковесна и позволяет превратить старые или недорогие ноутбуки в специализированные машины для писателей.

Установка writerdeckOS полностью удаляет предыдущую операционную систему и все данные, поэтому перед началом процесса рекомендуется создать резервные копии. После загрузки система автоматически запускает текстовый редактор Tilde, где для сохранения документа необходимо использовать сочетание клавиш Ctrl+S, так как автосохранение отсутствует.

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