Hacker News Digest

Предоставленный текст не содержит статьи Кена Томпсона о происхождении Unix, а представляет собой форму подписки на рассылку The New Stack. В тексте отсутствует само содержание статьи, которое предполагалось пересказать. Вместо этого представлена регистрационная форма с полями для ввода имени, фамилии, компании, страны, почтового индекса и профессиональной информации. Форма также содержит информацию о политике конфиденциальности и условиях использования платформы. Для получения пересказа статьи о происхождении Unix необходимо предоставить сам текст статьи.

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

Why not just say movie posters from Ghana? What is connection between these and the concept of African, I wonder?Anyway, I'm Ghanaian, and you can AMA. There's a lot of such art, many on walls of the erstwhile movie houses. Most of them are very realistic and collectible, but I g

Отношение 987654321/123456789 удивительно близко к 8 (8.0000000729), но это не случайность. Автор исследовал, является ли это свойство специфичным для десятичной системы, и обнаружил, что в других системах счисления наблюдается схожая закономерность. В шестнадцатеричной системе 0xFEDCBA987654321/0x123456789ABCDEF ≈ 14, а в общем виде для основания b отношение числа из цифр в порядке убывания к числу из цифр в порядке возрастания всегда близко к b-2.

Математически это выражается формулой: num(b)/denom(b) = b - 2 + (b-1)/denom(b), где num(b) и denom(b) — числа, составленные из цифр в порядке убывания и возрастания соответственно. Проверка для оснований до 1000 подтверждает это соотношение. Более точная аппроксимация, предложенная в комментариях, выглядит как (b-2) + (b-1)^3 / b^b, что объясняет, почему в шестнадцатеричной системе результат настолько близок к целому числу 14.

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

This is a great interactive article about what it's like to be kidnapped and forced to work in these scam centers on the Myanmar border, lured by promise of jobs people are trapped, passports confiscated, phones stolen, 16-hour workdays spent defrauding victims online, cultivatin

The prompt used to create the code should also be provided. The LLM-generated code should be clearly marked.I have a feeling the people who write these haven't really used LLMs for programming because even just playing around with them will make it obvious that this makes no se

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

NetBSD has some goodies, too, by the way!proplib (property list library for kernel-userspace communication), RUMP (Rump Kernel - anykernel framework allowing kernel code to run in userspace), Veriexec (verified exec integrity subsystem using cryptographic fingerprints), LFS (Log-

Автор столкнулся с проблемой агрессивных ботов, собирающих данные для обучения LLM, которые составили 99% трафика на его сервере. В отличие от поисковых роботов, эти боты игнорируют robots.txt, постоянно меняют IP-адреса и отправляют множество запросов в секунду. Попытки блокировать их через IP-списки, ограничения по скорости или защитные стены (CAPTCHA, paywall) оказались неэффективными, так как боты просто находили обходные пути, а защитные меры мешали обычным пользователям.

Самым эффективным решением оказалось создание динамического генератора бессмысленного контента — "Markov babbler", который потребляет всего около 60 микросекунд процессорного времени на запрос и использует 1.2 МБ памяти. Этот подход не требует поддержки черных списков и позволяет эффективно "кормить" ботов, не тратя ресурсы на передачу реальных данных. Автор подчеркивает, что его контент лицензирован CC BY-NC-SA 4.0, но явно не разрешен для использования в обучении ML/LLM.

• Основной метод борьбы с AI-скраперами — генерация бессмысленного контента через Markov-цепи или gzip-бомбы, чтобы увеличить затраты скраперов на обработку данных.
• Этические риски: загрязнение обучающих данных LLM может привести к непредсказуемым последствиям и нарушению доверия к системам ИИ.
• Технические альтернативы: использование Basic Auth с публичными учётными данными или редирект на специализированные сервисы вроде "Markov Babbler".
• Проблема масштабирования: массовое применение методов защиты может привести к блокировке легитимного трафика и снижению репутации сайта.
• Эффективность сомнительна: современные LLM могут детектировать мусорный контент, а скраперы легко обходят простые защиты (например, через браузерные прокси).

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

Accessors.jl построен вокруг концепции линз, позволяющих получать доступ или заменять глубоко вложенные части сложных объектов. Линзы создаются с помощью макроса @optic или напрямую, а затем комбинируются операторами opcompose, ⨟ или ∘. Важная особенность — неизменяемость: при изменении создается новая копия объекта, а не мутируется оригинал.

Для реализации линз требуется определить всего две функции: set(obj, lens, val) и вызов lens(obj), которые должны удовлетворять трем законам линз. Первый закон гарантирует, что полученное значение совпадает с установленным; второй — что установка существующего значения не изменяет объект; третий — что последнее изменение имеет приоритет. Для сравнения значений вместо == могут использоваться isequal или ≈, особенно для типов с особыми правилами сравнения, таких как Float64.

• Обсуждение показало, что линзы (lenses) в Julia позволяют удобно работать с неизменяемыми структурами, но их синтаксис и отсутствие встроенной поддержки вызывают вопросы о целесообразности их использования вместо обычных функций доступа.
• Участники обсуждали, что Julia — это язык общего назначения, но с фокусом на научные вычисления, и что его ниша пересекается с Python в области дата-саенса, хотя Julia предлагает преимущества в виде производительности и параллелизма.
• Некоторые участники поделились личным опытом, что Julia может быть нестабилен и что сообщество и экосистема языка меньше, чем у Python, что делает его менее привлекательным для некоторых проектов.
• Также обсуждались преимущества Julia в виде легкости написания многопоточного кода и встроенного JIT компилятора, что делает его хорошим выбором для вычислительно-интенсивных задач.
• В обсуждении также поднимался вопрос о том, что Julia не так зрел как Python, и что это может влиять на выбор языка для проекта, особенно если учитывать размер сообщества и доступные библиотеки.