Hacker News Digest

Google must have some awful PMs and designers. The worst UX decision I have seen recently is AI auto-dubbing all youtube videos by default with no way to disable this behavior globally. How could you miss that people can be fluent in multiple languages and if I click on a video i

I recently moved to a Dutch municipality that runs its own non-profit ISP. They installed a symmetric 1 Gbps fiber connection with a static IP at my house for 40 euros per month.The service is solid, there’s no upselling or throttling, and hosting things from home just works. I b

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

Cadillac Desert, Marc Reisner, worth a read!Salton sea features heavily, and you’ll learn the whole American West is on as fragile a water setup with similar health, civil and economic problems to follow as what this Salton sea example, but imagine it applying LA-wide, central Or

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

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

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

I'm in a local facebook group for my town where people post hiking pics, bird pics, local business updates, contractor recommendations etc. I am annoyed to see "brain rot" videos starting to take over the page.There is one dude promoting his succulent repotting/resale business an

Автор делится своим опытом работы с различными языками программирования, объясняя, почему OCaml стал его любимым языком. Он начал с Haskell, который оценил за функциональное программирование и статическую типизацию, но столкнулся с его сложностью и медленной компиляцией. Позже он попробовал Go, который понравился своей простотой, скоростью компиляции и хорошими инструментами, но разочаровал многословностью обработки ошибок и отсутствием функциональных возможностей. OCaml, по мнению автора, сочетает в себе лучшее из обоих миров: функциональные конструкции, статические гарантии, быструю компиляцию, простую семантику выполнения и отличную документацию. Особо отмечается, что OCaml компилируется в один статический бинарный файл, как Go, но при этом имеет более мощную систему типов и REPL. Автор считает, что создатели OCaml обладают хорошим вкусом, а язык представляет собой идеальный баланс между простотой и выразительностью.

• OCaml не стал мейнстримом из-за синтаксиса, отсутствия нативных библиотек и слабой экосистемы, но его идеи (pattern-matching, type inference, algebraic data types) уже давно живут в Rust, Swift, TypeScript и даже Go.
• Фактически OCaml — это «нативный» вариант F#, но без .NET-экосистемы, а F# — это OCaml без его синтаксиса и с .NET вместо OCaml-стандартной библиотеки.
• Попытка ReasonML привнести более C-подобный синтаксис вместо ужасающего синтаксиса OCaml закончилась тем, что Facebook забросил проект, а вся индустрия JS-инструментов осталась без единого стандарта.
• Попытка Facebook-а внедрить Reason вместо TypeScript внутри Facebook показала, что даже если синтаксис и не является проблемой, то отсутствие единого стандарта для сборки и пакетов в JS-мире оставляет язык без шанса.
• Несмотря на то, что OCaml — это язык с 25-летней историей, он не имеет ни мультиплатформенной сборки, ни нормального менеджера пакетов, ни нормального REPL, что делает его неподготовленным к работе вне Unix-подобных систем.

Вышел OpenMW 0.50.0 — крупное обновление с переработкой геймпада, первыми шагами по дехардкодингу боя, расширением Lua API и долгожданной функцией быстрого переноса предметов. Разработчики улучшили поведение ИИ: кэширование проверки скрытности теперь длится 5 секунд, а NPC игнорируют недостижимые точки пути, что делает игру более предсказуемой. Сохранения совместимы с предыдущей версией 0.49.0, а настройки теперь сохраняются при выходе из окна, а не только из игры.

Известные проблемы включают возможные зависания на Windows при долгой загрузке, баги с рендерингом на Apple Silicon (решается включениемPerPixelLighting), случайные сбои OpenMW-CS на Linux/macOS и проблемы с аппаратным сглаживанием на AMD RX 6000/7000 из-за ошибки драйверов.

• OpenMW и другие проекты-ремейки продолжают развивать классические игры, сохраняя их дух и предоставляя им новую жизнь.
• Сообщество моддеров и разработчиков вносят вклад в такие проекты как OpenMW, OpenRA и CorsixTH.
• Проекты-ремейки, такие как OpenMW, предоставляют возможность играть в классические игры на современных системах и с улучшенной производительностью.
• Проекты-ремейки и их сообщество продолжают развивать и поддерживать эти игры, которые иначе были бы потеряны в истории.
• Проекты-ремейки, такие как OpenMW, являются примером того, как сообщество может сохранить и продолжать развивать классические игры, которые иначе были бы потеряны.

Разработчики Stategraph выбрали OCaml для управления состоянием Terraform, поскольку корректность здесь критически важна. Система хранит состояние как граф зависимостей в PostgreSQL с блокировкой на уровне ресурсов. OCaml позволяет улавливать целые категории ошибок на этапе компиляции, что невозможно в других языках. Сильная типизация данных предотвращает доступ к несуществующим полям, а неизменяемые структуры по умолчанию исключают условия гонки.

Типобезопасные SQL-записи предотвращают дрейф схемы до развертывания, а PPX автоматически генерирует корректную сериализацию JSON. Как отмечают разработчики: "Мы строим инфраструктуру, которая управляет инфраструктурой других людей. Повреждение состояния не может быть 'редким'. Оно должно быть невозможным". Компилятор OCaml обеспечивает безопасность на уровне типов, проверяя все переходы состояний и записи в базе данных, что значительно снижает количество ошибок по сравнению с традиционным подходом, основанным на тестировании.

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

Разработка ПО отстает от других инженерных дисциплин в вопросах стандартов доказательств, подобно уфологии. После слушаний в Конгрессе США о НЛО в 2023 году, где военные давали показания под присягой, не появилось никаких физических доказательств в поддержку заявлений о "нечеловеческих" технологиях. Существующие видео, подтвержденные военными, сами по себе не демонстрируют ничего сверхъестественного, а лишь показывают аномальные объекты без объяснения их природы. Официальные исследования, включая британский проект Condign, сходятся во мнении: НЛО реальны, но мы не знаем, что это такое.

Уфологи, как и разработчики ПО, часто ищут документальные подтверждения своих теорий вместо физических доказательств. Stanton Friedman, ядро уфологии, утверждал, что "доказательства overwhelming", но присланные им документы лишь подтверждают, что кто-то что-то записал. В отличие от науки, где требуются проверяемые данные, обе области страдают от избытка свидетельств при дефиците фактов, что позволяет сохранять теории без реальной проверки.

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