Hacker News Digest

Проект Pico-100BASE-TX представляет собой впечатляющее программное решение для микроконтроллеров Raspberry Pi RP2040 и RP2350, позволяющее им работать как передатчики Fast Ethernet со скоростью 100 Мбит/с. Реализация использует технологию "bit-banging" - программную передачу данных без специализированного оборудования, что является значительным техническим достижением. Проект включает в себя UDP фреймер для обработки сетевых пакетов, что делает его практически полезным для реальных сетевых приложений.

Разработчикам удалось преодолеть ограничения микроконтроллеров, реализовав высокоскоростную Ethernet-связь исключительно программными средствами. Это демонстрирует потенциал современных микроконтроллеров для сложных сетевых задач, открывая возможности для создания сетевого оборудования на базе недорогих плат Raspberry Pi. Проект особенно интересен энтузиастам IoT и разработкам, требующих высокоскоростной сетевой связи в компактном и экономичном исполнении.

• Пользователи жалуются на сложность работы с JSONB в PostgreSQL, особенно при извлечении данных из вложенных структур, требующих сложных запросов.
• Критикуется недостаточная понятность документации PostgreSQL по функциям работы с JSON, что затрудняет освоение для новичков.
• Отмечается, что встроенные функции JSONB в PostgreSQL мощны, но их синтаксис может быть неинтуитивным для простых задач.

• AMD может вернуться к ARM-чипу Sound Wave, но это скорее всего будет заказ Microsoft для Surface, а не массовый продукт.
• Проект K12 был отменён после ухода Keller из AMD, и теперь он называет это «глупым» решением.
• Несмотря на то, что ARM-чипы могли бы быть полезны для облачных провайдеров и ноутбуков, AMD, похоже, не видит в этом коммерческого смысла.
• Пока что не ясно, будет ли чип доступен для покупки вне Microsoft, и будет ли он поддерживать Windows.
• Сторонники ARM-чипов утверждают, что они могли бы быть полезны для серверов и ноутбуков, но AMD, похоже, не видит в этом коммерческого смысла.

Платформа X (бывший Twitter) требует включения JavaScript для корректной работы. При обнаружении отключенного JavaScript пользователи видит сообщение с просьбой включить его или перейти в поддерживаемый браузер. Внизу страницы размещены ссылки на справочный центр с перечнем совместимых браузеров, а также юридические документы: условия использования, политику конфиденциальности, политику cookie, юридические сведения и информацию о рекламе.

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

• Обсуждение вращается вокруг идеи, что по умолчанию всё должно быть неизменяемым, а мутабельность должна быть явно обозначена ключевым словом.
• Участники делятся опытом перехода от Clojure к C/C++ и обратно, подчеркивая, что иммутабельность делает код более читаемым и безопасным.
• Некоторые участники поднимают вопрос о том, что такие вещи как мутабельность по умолчанию и неизменяемость по умолчанию могли бы быть реализованы в современных языках, если бы не обратная совместимость.
• Обсуждается, что такие вещи как мутабельность по умолчанию и неизменяемость по умолчанию могли бы быть реализованы в современных языках, если бы не обратная совместимость.
• Участники также обсуждают, что такие вещи как мутабельность по умолчанию и неизменяемость по умолчанию могли бы быть реализованы в современных языках, если бы не обратная совместимость.

FAA объявила о ground stop в аэропорту JFK из-за проблем с персоналом. Приказ о запрете вылетов действовал с 01:14 до 02:30 UTC 31 октября. Общее количество задержанных рейсов увеличилось с 6,796 до 7,920, максимальная задержка выросла с 549 до 609 минут, а средняя — с 227 до 264 минут. Вероятность продления остановки оценивается как средняя.

Проблемы с персоналом затронули несколько диспетчерских центров: ZTL, ZDC, ZJX, ZMA, ZME и ZID. Накопительная программа задержек действовала с 16:13 UTC 30 октября по 03:59 UTC 31 октября. Приказ был подписан в 01:27 UTC и действовал до 03:30 UTC.

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

Граждане Нью-Йорка активно используют смартфоны для съёмки рейдов ICE, заставляя агентов носить маски из-за страха曝光. Эта документация подчёркивает абсурдность действий властей, породив вирусные мемы и протесты, включая марши в лягушачьих костюмах. Соцсmedia служат инструментом прозрачности, напоминая эпоху Арабской весны, но уже с ощущением отчаяния, а не оптимизма. Губернатор Иллинойса прямо призывал жителей снимать происходящее и выкладывать в сеть.

Однако те же цифровые инструменты используются против активистов. Правые создатели, как YouTuber Nick Shirley, помогли организовать облавы на мигрантов через свои видео. ICE применяет AI-платформу Zignal Labs для мониторинга соцсетей и планирует нанять десятки аналитиков. Агенты reportedly используют технологии Palantir для сканирования соцаккаунтов, правительственных данных и биометрии. Возникает парадокс: соцсети стали паноптиконом, где посты могут быть использованы как против вас, так и в вашу защиту. Появились приложения вроде ICEBlock и Red Dot для противодействия слежке.

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

Команда Swift представляет дорожную карту улучшения проверщика типов, фокусируясь на реализации, а не на видимых пользователем изменениях языка. Основная цель - решить проблему ошибки "компилятор не может проверить тип этого выражения за разумное время", которая возникает как в валидном, так и невалидном коде. Swift использует разрешение перегрузки на основе типов, которое компилятор преобразует в задачу решения ограничений. Процесс включает введение типовых переменных для представления неизвестных типов подвыражений и создание ограничений для описания отношений между ними. Алгоритмическая сложность возникает из-за дискретных ограничений, требующих проверки всех комбинаций вариантов, что похоже на решение судоку с возможным возвратом (бэктрекинг).

Уже реализованные улучшения включены в Swift 6.2, а текущая работа ведется над веткой main. Команда планирует дальнейшие оптимизации, чтобы уменьшить время компиляции и улучшить диагностику ошибок. В долгосрочной перспективе рассматриваются потенциальные изменения языка, которые могут упростить проверку типов. Цель - сделать процесс компиляции более предсказуемым и менее требовательным к ресурсам, особенно для сложных выражений с множественной перегрузкой.

• Пользователи жалуются на крайне медленную проверку типов в Swift, что ставит под сомнение целесообразность инвестиций в экосистему Apple.
• Сообщество отмечает, что даже простые выражения могут занимать десятки секунд на компиляцию, что несовместимо с продуктивностью.
• Обсуждение выявило, что чистый синтаксис и вывод типов в Swift вступают в конфликт, и кажется, что Apple не рассматривает это как приоритет.
• Некоторые разработчики заявляют, что они рассматривают переход на Flutter или другие альтернативы, и что это может быть одной из причин, почему 1/3 приложений в App Store уже написаны на Flutter.

Инженер с опытом работы в Intel и Sun развенчивает популярные мифы о CPU-кэшах. Многие разработчики ошибочно полагают, что разные ядра могут иметь устаревшие значения в своих кэшах, а ключевое слово volatile в Java заставляет читать/писать данные напрямую в оперативную память. На самом деле, даже одноядерные системы подвержены проблемам конкурентности без правильных синхронизационных конструкций, а volatile-операции могут быть такими же быстрыми, как доступ к L1-кэшу (в 200 раз быстрее, чем к оперативной памяти), а не к основной памяти.

Современные CPU x86 поддерживают когерентность кэшей на аппаратном уровне через сложные протоколы, такие как MESI. Каждая строка данных в кэше помечается одним из состояний: Modified (измененные данные, источник правды), Exclusive (синхронизированные данные, нет копий в других кэшах) или Shared (синхронизированные данные, присутствуют в других кэшах). Понимание этих механизмов помогает лучше проектировать распределенные системы и избегать ложных представлений о производительности и конкурентности.

Here's my favorite practically applicable cache-related fact: even on x86 on recent server CPUs, cache-coherency protocols may be operating at a different granularity than the cache line size. A typical case with new Intel server CPUs is operating at the granularity of 2 consecut

Предоставленный текст содержит только навигационное меню GitHub без основной информации о проекте quibbler от fulcrumresearch. Для создания содержательного пересказа необходимо описание самого проекта, его функциональности, целей и особенностей.

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

• Quibler — инструмент для контроля за действиями агента, который может быть использован для предотвращения фальсификации результатов и обеспечения прозрачности.
• Видео-демо не работает, но есть альтернативное видео в Twitter/X.
• Требуется ключ API Anthropic, что может быть барьером для новых пользователей.
• Возможность стекинга нескольких Quibler'ов для формирования "совета" или "совета" из критиков.
• Вопрос о том, кто будет контролировать самого контролёра, вызвал целую волну мета-обсуждений.

Извините, но предоставленный вами код содержит только навигационные элементы и общую структуру GitHub, но не основное содержимое репозитория MoonshotAI/Kimi-Linear. Для создания точного пересказа мне нужна информация о самом репозитории: его описании, файлах, README или других ключевых элементах. Пожалуйста, предоставьте более конкретную информацию о содержимом этого репозитория.

• Гибридная линейная внимательность (HLA) — это комбинация линейной и квадратичной внимательности, где 75% слоёв используют линейную внимательность, а остальные 25% — квадратичную внимательность.
• Модель требует 98 ГБ видеопамяти, что делает её практически недоступной для большинства пользователей.
• Пользователи жалуются на то, что они не могут запустить модель на своих ПК из-за огромных требований к памяти и отсутствия кода.
• Некоторые комментаторы подозревают, что модель может быть не полностью обучена из-за отсутствия кода и инфраструктуры.
• Обсуждение выявило, что сообщество сталкивается с барьером входа в экосистему ИИ из-за высоких требований к оборудованию и отсутствия прозрачности.

Анонимный пользователь rogueFed получил доступ к закрытому брифингу Cellebrite и опубликовал скриншоты, показывающие, что большинство смартфонов Pixel уязвимы для взлома этой компанией. Уязвимы модели Pixel 6, 7, 8 и 9 серии, в то время как недавно выпущенный Pixel 10 в списке отсутствует. Cellebrite может извлекать данные из этих устройств в трех состояниях: до первого разблокировки (BFU), после первого разблокировки (AFU) и в полностью разблокированном режиме. Интересно, что компания отмечает, что не может взломать графенос с последних версиями ПО, даже если устройство разблокировано.

На стандартном Android Cellebrite может извлекать данные из Pixel 6-9 во всех состояниях, но не может brute-force пароли для полного контроля над устройством. Для GrapheneOS ситуация иная: только версии ПО до конца 2022 года уязвимы, а более новые защищены даже в BFU и AFU состояниях. Полиция до сих пор не может копировать eSIM с Pixel устройств, хотя Pixel 10 уже переходит на использование только eSIM.

• GrapheneOS признан более устойчивым к взлому, чем стандартный Android, что подтверждается упоминанием в документах Cellebrite.
• Google criticized for weaker security compared to volunteer-developed custom ROMs, with questions about why official Pixel OS is less secure.
• Debate over eSIM vs physical SIM cards: users value physical SIMs for convenience and flexibility, while eSIMs seen as increasing corporate control.
• Cellebrite's hacking tools revealed as vulnerable themselves, with past leaks and physical devices potentially compromised.
• GrapheneOS offers enhanced security but involves trade-offs like reduced compatibility with services (e.g., Google Pay, emergency services).