Trump pardons convicted Binance founder 🔥 Горячее 💬 Длинная дискуссия
—
Комментарии (840)
- Трамп помиловал основателя Binance Чжанпенга Чжао, который признал вину в нарушении закона о банковской тайне и отмывании денег, и который уже выплатил штраф в $4.3 млрд и отсидел 4 месяца тюрьмы.
- Подозревается, что это связано с тем, что семья Трампа получила от Binance $5 млрд в виде токенов.
- Это вызвало бурную реакцию в СМИ и общественности, поскольку считается, что Трамп использует свою власть для личной выгоды.
- Это также вызвало обеспокоенность, что Трамп может использовать свою власть для защиты своих друзей и союзников.
- Это также вызвало обеспокоенность, что Трамп может использовать свою власть для защиты своих друзей и союзников.
Комментарии (28)
- @mrasong отметил, что несмотря на отсутствие опыта работы с ассемблером, получил много полезной информации из статьи.
- @jmspring поделился опытом работы с ассемблером в прошлом (включая inline-оптимизации для криптоопераций), но сейчас предпочитает использовать ИИ для решения задач.
- @indyjo привел примеры необычных современных применений ассемблера: программирование для Atari ST в 2025 году и обучение роботов игре в DOOM.
US axes website for reporting human rights abuses by US-armed foreign forces 🔥 Горячее 💬 Длинная дискуссия
—
Комментарии (334)
The Leahy Law requires the U.S. government to facilitate receipt of information about alleged abuses by U.S. supported forces.The State Department confirms it no longer operates the HRG, but says it is still receiving reports through other direct channels.I couldn't find any requ
Context engineering is sleeping on the humble hyperlink
В области контекст-инжиниринга для LLM существует ключевое противоречие: модели должны получать доступ ко всему ценному контексту, но только тогда, когда он актуален для текущей задачи. Автор статьи утверждает, что гиперссылки — это недооцененный инструмент для решения этой проблемы, особенно по сравнению с популярными подходами вроде RAG, сабагентов и get_* инструментов.
Человек, изучая новую тему, следует по ссылкам после первоначального поиска, постепенно собирая релевантную информацию. Аналогично LLM могут использовать гиперссылки для навигации по данным. Концепция HATEOAS (Hypertext as the Engine of Application State) из мира HTTP API обретает новое значение в эпоху агентов — "Hypertext as the Engine of Agent State". Реализация такой системы может быть предельно простой: достаточно инструмента для чтения URI и точки входа в контекст. Кодовый пример демонстрирует, как создать систему, где LLM может динамически запрашивать и обрабатывать связанные ресурсы по URI, эффективно управляя контекстом без перегрузки.
Комментарии (62)
- Обсуждение подтвердило, что Claude Code и другие инструменты уже используют встроенные веб-ссылки и не требуют MCP, что делает концепцию MCP устаревшей.
- Участники отметили, что вместо MCP-архитектуры достаточно иметь инструмент, который может читать веб-страницы в Markdown и предоставлять ссылки на них.
- Была поднята тема, что модели могут обходить блокировки чтения веб-страниц, если пользователь указывает им ссылку.
- Обсуждение также затронуло, что вместо сложных и ненадежных MCP-конфигураций, можно использовать простые инструменты чтения веб-страниц, что делает MCP-конфигурации неактуальными.
- Участники также обсудили, что вместо того, чтобы модели обучались использовать MCP, они могли бы просто читать веб-страницы по URL-ссылкам, что делает MCP-конфигурации неактуальной.
I spent a year making an ASN.1 compiler in D 🔥 Горячее 💬 Длинная дискуссия
Автор посвятил год созданию компилятора ASN.1 на языке D, но проект всё ещё далёк от завершения. Основной мотивацией стала необходимость реализации TLS для фреймворка Juptune, требующей обработки x.509 сертификатов, использующих кодировку ASN.1 DER. Автор описывает ASN.1 как «protobuf на стероидах» — избыточно сложный язык спецификации данных, созданный в конце 80-х годов, который, тем не менее, повсеместно используется в современных технологиях, несмотря на свою сложность.
Компилятор под названием dasn1 уже способен парсить некоторые x.509 сертификаты, но разработка сопряжена с множеством трудностей. ASN.1 имеет «всё или ничего» уровень сложности, требует реализации ограничений трижды разными способами, а его спецификации содержат много устаревших элементов. Язык D, однако, оказался удобным для генерации кода благодаря статическим импортам, метапрограммированию и шаблонам, которые позволяют создавать естественные API с обнаружением ошибок на этапе компиляции.
Комментарии (203)
- ASN.1 и DER/BER, несмотря на свою репутацию, остаются краеугольным камнем для TLS/PKI, но их сложность и отсутствие инструментария вроде protobufs заставляют задуматься, не проще ли было бы начать с нуля сегодняшними средствами.
- Дискуссия подтверждает, что ASN.1 был там раньше SSL и даже формат сертификатов из X.500, и что его унаследовали в HTTPS.
- Подчеркивается, что вместо него могли бы быть JWT или CBOR, но вопрос в том, что ASN.1 остается ввиду отсутствия замены, которая бы обеспечивала каноническое кодирование.
- Поднимается вопрос, почему мы до сих пор используем его, если он такой плохой, и отвечается, что нет никакой альтернативы, которая бы обеспечивала такую же степень взаимодействия с прошлым.
- Участники обсуждения также отмечают, что ASN.1 это не только формат, но и семейство протоколов, и что его сложность часто преувеличена, особенно если ограничиться DER.
US probes Waymo robotaxis over school bus safety 💬 Длинная дискуссия
Служба безопасности дорожного движения США (NHTSA) начала расследование в отношении беспилотных такси Waymo (подразделение Alphabet) после инцидента, когда автомобиль компании остановился перед остановившимся школьным автобусом и не мог продолжить движение. Это первое официальное расследование безопасности, связанное с технологиями Waymo. Компания подтвердила инцидент и сообщила, что приостановила развертывание обновлений программного обеспечения до завершения расследования. Waymo заявила, что работает с NHTSA для улучшения распознавания препятствий и взаимодействия с другими транспортными средствами. Инцидент подчеркивает сложности, с которыми сталкиваются автономные системы при интерпретации сложных дорожных сценариов, особенно involving крупными транспортными средствами, такими как школьные автобусы.
Комментарии (168)
- Обсуждение началось с инцидента, где автомобиль Waymo не остановился перед школьным автобусом, что вызвало обсуждение безопасности и правил дорожного движения.
- Участники обсуждали, что автомобили самоуправления должны соблюдать все правила дорожного движения, включая остановку перед школьным автобусом, даже если это может быть небезопасно.
- Обсуждались вопросы, связанные с безопасностью и ответственностью, включая то, что автомобили самоуправления могут быть более безопасны, чем человеческие водители, но также и то, что они могут быть более опасны в некоторых ситуациях.
- Также обсуждались вопросы, связанные с тем, как автомобили самоуправления могут быть улучшены и как они могут быть обновлены.
- В конце обсуждение перешло к более широкому обсуждению о том, как автомобили самоуправления могут быть использованы в будущем и как они могут быть улучшены.
Комментарии (28)
Leaving the comfort of lisp, I have started to wonder: why are all the looping facilities in other languages so awful?Standing on the shoulders of giants, I made this little abomination: https://rikspucko.koketteriet.se/bjoli/goof-loopIt handles 98% of all loops I write, meaning
Комментарии (35)
It has been wild watching deta over the years.They didn't pivot, they completely reinvented themselves. Twice.I loved their first cloud offering, which they sadly abandoned.Then they launched Space, which was kinda cool, but mostly weird and raised the question "why?". Also cance
Комментарии (121)
Imagine a town with two widget merchants. Customers prefer cheaper widgets, so the merchants must compete to set the lowest price.I always found this statement to be rather wishful. Individual lowering of prices makes sense if and only if your competitor is capable of saturatin
Harder, Better, Faster, Stronger Version of Uber H3 in Rust
Проект h3o представляет собой полную переработку библиотеки Uber H3 на языке Rust, а не просто обертку. Основные цели - упрощение интеграции в Rust проекты (особенно для WASM), создание более безопасного API с использованием строгой типизации, достижение сопоставимой или превосходящей производительности и 100% покрытие API H3 версии 4.0. Для обеспечения качества использовалось дифференциальное тестирование против эталонной реализации, включая 756 тестов, 166 интеграционных тестов, 42 юнит-теста и 15 fuzz-целей.
Бенчмарки, состоящие из 911 тестов, показывают, что в 862 случаях h3o превосходит оригинальный H3 по производительности. В 463 тестах h3o работает в 2-5 раз быстрее, в 117 тестах - в 5-10 раз быстрее, и в 24 тестах - более чем в 10 раз быстрее. Однако в 44 тестах H3 все еще быстрее, особенно при работе с пятиугольными ячейками и преобразованиями координат. Основные оптимизации h3o включают использование предвычисленных таблиц вместо формул на лету и применение битовых операций вместо циклов для достижения постоянного времени выполнения.
Комментарии (31)
-
H3/Hexagonal tiling vs. S2/Square tiling: обсуждение сфокусировалось на том, что H3 обеспечивает равные расстояния между соседними ячейками, что важно для анализа данных и моделирования потоков, в то время как S2 не обеспечивает равные расстояния между соседними ячейками. Однако, S2 имеет преимущество в том, что он может быть более эффективен для запросов, которые включают родительские и дочерние ячейки, тогда как H3 может быть более удобен для визуализации и анализа данных, особенно если важно сохранить равные расстояния между ячейками.
-
Использование H3 в различных контекстах: обсуждение включало примеры использования H3 в различных контекстах, включая Uber, FCC, ClickHouse, Overture Maps и другие. Это показывает, что H3 используется в различных контекстах, включая телематика, анализ данных, визуализация и хранение данных.
-
Сравнение H3 с другими системами: обсуждение также коснулось сравнения H3 с другими системами, включая S2 и другие геометрические системы. Это показывает, что H3 имеет свои уникальные преимущества и недостатки, которые важно учитывать при выборе системы для конкретного применения.
-
Развитие и будущее H3: обсуждение также коснулось будущего развития H3, включая возможность создания новой версии, которая может быть более эффективна и удобна для пользователей.