Hacker News Digest

В предоставленном фрагменте отсутствует конкретное описание продукта HP SitePrint. Текст содержит только навигационное меню официального сайта HP, перечисляющее категории товаров (ноутбуки, настольные ПК, принтеры, аксессуары) и их подкатегории, но не содержит информации о самом решении SitePrint или его функционале.

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

• HP SitePrint — это робот-плоттер, который рисует на полу, но не может печатать на стенах.
• Он требует подготовки поверхности, как и любой другой строительный инструмент, и не может работать в дождь или снег.
• Он не может работать без подключения к облаку HP, даже если вы купили устройство.
• HP требует подписки на их облачный сервис, чтобы использовать его.
• HP требует использования их маркеров, которые стоят в 10 раз дороже, чем обычные маркеры.

To be sure, a browser that retains a representation of every word you read on it, constantly synthesizing a profile on your preferences, using that profile to filter everything you see through a lens that consistently enforces and limits the worldview of a snapshot-of-you - all w

While on the topic, I'm looking for some AR / VR platform to help with my child (11 yo) severe flight anxiety.Does anyone have any recommendations on the matter ? would be super helpful as we have a flight coming soon (2 months) and I can already see her anxiety levels rising. Ki

Because the AI works so well, or because it doesn't?> ”By reducing the size of our team, fewer conversations will be required to make a decision, and each person will be more load-bearing and have more scope and impact,” Wang writes in a memo seen by Axios.That's kinda wild. I'm

Ученые из Стэнфорда разработали первую в мире глазную протезную систему PRIMA, которая восстанавливает зрение при возрастной макулярной дегенерации. В клинических испытаниях 27 из 32 пациентов через год после имплантации смогли читать книги и понимать указатели метро. С цифровыми улучшениями, такими как увеличение контрастности и масштабирование, некоторые участники достигали остроты зрения 20/42. Результаты исследования опубликованы в New England Journal of Medicine.

Протез состоит из миниатюрного чипа размером 2×2 мм, имплантируемого в заднюю часть глаза, и специальных очков с камерой. Чип преобразует инфракрасное изображение в электрические импульсы, заменяя поврежденные фоторецепторы. В отличие от предыдущих устройств, которые обеспечивали лишь светочувствительность, PRIMA восстанавливает формовое зрение — способность различать формы и контуры. Разработка велась на протяжении двух десятилетий, и, по словам Даниэла Паланкера, создателя протеза: "Устройство, которое мы представили в 2005 году, теперь работает у пациентов удивительно хорошо".

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

Wren — это маленький, быстрый, объектно-ориентированный скриптовый язык с поддержкой concurrency. Его реализация занимает менее 4000 строк кода, что позволяет изучить весь код за один день. Язык сочетает в себе идеи Smalltalk, Lua и Erlang, предлагая современный и понятный синтаксис. Wren использует быстрые однопроходный компилятор в байт-код и компактное представление объектов, что позволяет ему конкурировать с другими динамическими языками.

Особенностью Wren является акцент на классах как основной парадигме и встроенная поддержка легковесных волокон (fibers) для организации программы в набор взаимодействующих корутин. Язык создан для встраивания в приложения — он не имеет зависимостей, имеет небольшую стандартную библиотеку и простой C API. Wren компилируется как C99, C++98 или более новые версии, доступен для запуска в браузере и открыт на GitHub под руководством Боба Нистрома.

• Wren — язык, который сочетает в себе лаконичность Lua и объектно-ориентированный синтаксис, но при этом остаётся компактным и легко встраиваемым.
• Пользователи отмечают, что Wren легко встраивается в C/C++ проекты, но при этом не требует сложных зависимостей, что делает его привлекательным для встраиваемых скриптовых языков.
• Некоторые участники обсуждения упоминают, что Wren может быть использован как альтернатива Lua, особенно в контексте встраивания в игровые движки и другие приложения.
• Обсуждается также, что Wren имеет активное и дружелюбное сообщество, что способствует его развитию и поддержке.

SAT-солверы — это программы, решающие задачу выполнимости булевых формул (SAT), которая является NP-полной. Это означает, что любые NP-полные задачи, такие как задача коммивояжера, раскраска графа или Судоку, могут быть сведены к SAT и решены с помощью этих инструментов. SAT-солверы находят значения переменных, при которых булева формула становится истинной, предоставляя эффективный способ решения сложных задач, которые иначе требовали бы экспоненциального времени.

На примере Судоку автор демонстрирует, как преобразовать правила игры в систему булевых ограничений. Для каждой клетки (i,j) и цифры k вводится переменная x_{i,j,k}, где true означает, что клетка содержит цифру k. Правила игры переводятся в ограничения: каждая клетка должна содержать ровно одну цифку (x_{i,j,1} ∨ x_{i,j,2} ∨ ... ∨ x_{i,j,9} и ¬x_{i,j,k} ∨ ¬x_{i,j,l} для k≠l), каждая цифра должна встречаться ровно один раз в строке, столбце и под-сетке. SAT-солвер находит удовлетворяющее всем этим ограничениям присвоение значений переменным, решая головоломку.

• SAT и MILP-солверы недооценены: первые хорошо знакомы инженерам, вторые — нет, хотя MILP позволяет естественно выразить оптимизацию и ограничения.
• Исторически открытые MILP-солверы отставали от коммерческих, что сдерживало их использование.
• SAT-солверы и MILP-солверы дополняют друг друга: SAT хорошо для задач «есть/нет», MILP — для задач оптимизации.
• Практически любую задачу можно выразить как MILP, и SAT-солверы могут быть использованы для решения MILP.

Google представила алгоритм Quantum Echoes, который знаменует значительный прогресс в практическом применении квантовых вычислений. Этот прорыв открывает путь к беспрецедентным научным открытиям и анализу данных, переводя квантовые вычисления из теоретической области в практическую плоскость. Алгоритм позволяет эффективно обрабатывать сложные вычислительные задачи, которые ранее были недоступны для классических компьютеров.

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

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

• Разработчики делятся полезными скриптами и алиасами, которые экономят им время и упрощают работу.
• Скрипты варьируются от простых алиасов до сложных инструментов, таких как f для быстрого поиска по истории или fzf для интерактивного выбора файлов.
• Некоторые участники обсуждения поделились своими собственными инструментами, включая posh для сокращения путей и memo для кеширования результатов команд.
• Обсуждались такие темы как использование fzf для поиска по истории команд, trash-cli для безопасного удаления файлов и tmux для управления сессиями.
• Участники также обсуждали, как эти инструменты могут быть использованы для упрощения повседневных задач, таких как поиск по истории команд, выбор файлов и управление сессиями.

В начале 2025 года исследователи обнаружили криптографические уязвимости в реализации FourQ от Cloudflare в библиотеке CIRCL. Проблемы были сообщены через HackerOne в марте и напрямую в Cloudflare после слабого ответа команды. FourQ — эллиптическая кривая с 128-битной безопасностью от Microsoft Research, работающая над расширением простого поля и подходящая для систем с ограниченными ресурсами.

Уязвимость связана с атаками на недействительные точки, когда сервер выполняет вычисления без проверки валидности точек на кривой. В протоколе ECDH это позволяет атакующему использовать точки с гладким порядком подгруппы, значительно упрощая восстановление секретного ключа. Cloudflare признала проблемы и исправила их после уведомления.

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