Hacker News Digest

Автор столкнулся с загадкой в Nix: имея бинарник Ruby, он не мог найти соответствующий .drv файл, хотя база данных и кэш NixOS указывали на его существование. Команда nix-store --query выдавала ошибку, а файл отсутствовал в системе, хотя nix derivation show находил совершенно другой .drv файл для того же бинарника. Это противоречило его пониманию работы Nix.

Ключ к разгадке — "fixed-output derivations" (FOD). Автор демонстрирует, что изменения в FOD (даже добавление мусорных атрибутов) изменяют путь самого .drv файла, но не затрагивают выходной путь (/nix/store/...). Это свойство "modulo" означает, что выходные пути зависят только от содержимого, а не от метаданных. В результате для одного бинарника может существовать несколько .drv файлов с разными хэшами, что объясняет парадокс: кэш NixOS указывает на один .drv, а nix derivation show находит другой, но оба ведут к одному и тому же выходному пути.

• Проблема deriver в Nix — это давняя проблема, которая не решается, потому что она не может обеспечить трассируемость от вывода к исходному выражению, что и было первоначальной целью.
• Пользователи сталкиваются с путаницей, когда кэш бинарников не совпадает с локальной оценкой, что приводит к непониманию и неэффективному использованию кэша.
• Появление CA-derivations и фиксированных выводов (fixed-output derivations) усугубляет ситуацию, делая проблему более заметной, но не решает ее.
• Сообщество обсуждает, что необходимо переписать Nix с нуля, чтобы устранить такие архитектурные проблемы, включая проблему deriver.
• Некоторые участники обсуждения подчеркивают, что Guix может быть альтернативой, но его недостаток в количестве пакетов делает его менее привлекательным.

Thank you for working on the Nim Compiler. This is great. Another great release. The Nim Compiler continues to move forward.Thank you very much to everyone who has contributed to the development of this superior language. Nim Compiler continues to be one of the most wonderful lan

My instant reaction was: "Wait?! They weren't immutable before?"I'm glad they're doing this, and it's an unpleasant surprise that they didn't already work this way. I don't understand why they allow mutable releases. > When you enable immutable releases, the following protections

Ollama, 16-CPU Xenon E6320 (old), 1.9Ghz, 120GB DDRAM4, 240TB RAID5 SSDs, on Dell Precision T710 ("The Beast"). NO GPU. 20b (n oooooot f aah st at all). Pure CPU bound. Tweaked for 256KB chunking into RAG.Ingested election laws of 50 states, territories and Federal.Goal. Mapping

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

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

• Грибные мемристоры уже демонстрируют работоспособность до 5,85 кГц и сохраняются при обезвоживании, что делает их пригодными для космоса.
• Идея «леса как мозг» и «грибные сети» как инфраструктура вычислений становится менее фантастической.
• Появляется ирония в том, что грибные мемристоры могут быть более жизнеспособны, чем транзисторы, и что это может быть первым примером «живой» электроники.
• Возможно, что мы движемся к «естественному» будущему, где вычисления могут быть «выращены» вместо того, чтобы их «собирать».

Исследование MIT показало, что провалы внимания из-за недосыпа совпадают с выбросом спинномозговой жидкости из мозга — процессом, который обычно происходит во время сна. Ученые обнаружили, что во время этих провалов происходит волнообразный отток ликвора, помогающего выводить отходы, накопленные за день. Когда человек не высыпается, организм пытается наверстать этот очищающий процесс, запуская импульсы оттока ликвора, что приводит к значительному ухудшению внимания.

«Если вы не спите, волны ликвора начинают проникать в бодрствование, где их обычно не наблюдают. Однако они сопровождаются компромиссом в отношении внимания: внимание отключается в моменты, когда происходит эта волна оттока жидкости», — объясняет Лора Льюис, ведущий автор исследования. В эксперименте участвовало 26 добровольцев, которых тестировали дважды: после бессонной ночи и после полноценного отдыха.

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

These kinds of deals were very much a la mode just prior to the .com crash. Companies would buy advertising, then the websites and ad agencies would buy their services and they'd spend it again on advertising. The end result is immense revenues without profits. Relatedhttps://www

Статья представляет собой руководство по созданию минимальной библиотеки компьютерного зрения Grayskull, использующей только 8-битные изображения в градациях серого, обычный C и простые структуры данных. Автор демонстрирует базовые операции с пикселями: инвертирование, зеркалирование, копирование, обрезку и изменение размера. Особое внимание уделено двум методам масштабирования - ближайшего соседа (быстрый, но с блоками) и билинейной интерполяции (медленнее, но качественнее).

Библиотека реализует свёрточные фильтры для обработки изображений, где новое значение пикселя вычисляется как взвешенная сумма соседних пикселей с использованием ядра фильтра. Приведены примеры распространённых ядер: размытие по ящику (box blur), гауссово размытие, повышение резкости и тиснение (emboss). Статья подчёркивает, что изображение по сути является прямоугольником чисел, и даже с минимальными инструментами можно реализовать мощные алгоритмы компьютерного зрения.

• Обсуждение охватило от основ компьютерного зрения до практических примеров и ссылок на ресурсы, включая MIT-2024 книгу и репозиторий GitHub.
• Участники обменялись опытом в индустрии машинного зрения, обсуждая такие темы как цвет против grayscale, промышленные применения и библиотеки вроде Halcon и MVTec.
• Были упомянуты такие инструменты как customFilter и примеры кода, а также ссылки на полезные ресурсы.
• В комментариях также поднимались вопросы о балансе между стоимостью, скоростью и качеством изображения в промышленных системах.
• В целом, обсуждение было наполнено практическими советами и ссылками на открытые исходники и учебные материалы.

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

Современные электронные паспорта представляют собой встроенные устройства с файловой системой, контролем доступа и криптографической защитой, соответствующие стандартам ICAO Doc 9303. Их файловая структура включает три типа файлов: основные (MF) как корневой каталог, специализированные (DF) как приложения и элементарные (EF) с данными. Основное приложение eMRTD содержит персональные данные (DG1) и биометрическую информацию (DG2 с фотографией), а также дополнительные опциональные группы данных для цифровых штампов и виз.

Эти документы используют короткодействующий RFID (ISO 14443) и защищены от несанкционированного чтения, прослушки, подделки и копирования. Модель угроз разделяет атакующих по физическому доступу: без паспорта нельзя прочитать данные или отследить его перемещения, а с паспортом - скопировать цифровую копию или получить доступ к биометрическим данным (отпечатки пальцев DG3, радужка DG4). Несмотря на современные протоколы, поддержка устаревших механизмов создает дополнительные риски для владельцев.

• Вашингтонский "Enhanced ID" стал первым документом, одобренным DHS в 2005 году, но уже тогда исследователи нашли уязвимости, включая возможность удалённого клонирования и отключения чипа, а ведь с тех пор технологию так и не обновили.
• Паспорт как технология контроля движения людей: от крепостных до наших дней.
• Электронные паспорта и ID-карты не решают проблему подделки документов, а лишь переносят доверие с бумаги на криптографию, что в условиях коррупции в гос. органах не имеет значения.
• Почему в 2024 году нельзя сделать паспорт, который нельзя было бы подделать? Потому что это не позволит контролировать потоки мигрантов.
• Паспортизация как способ контроля миграции.