Hacker News Digest

Автор утверждает, что во многих случаях сложные MCP серверы избыточны, и предлагает использовать простые Bash скрипты и код вместо них. Для работы с браузером он демонстрирует минимальный набор из четырех инструментов: запуск Chrome, навигация, выполнение JavaScript и скриншоты, реализованных через Node.js скрипты с Puppeteer Core. Этот подход избегает проблем с контекстом, которые создают популярные MCP серверы вроде Playwright MCP (21 инструмент, 13.7k токенов) и Chrome DevTools MCP (26 инструментов, 18.0k токенов).

Главное преимущество предложенного подхода — простота и компонуемость. Вместо десятков сложных инструментов с подробными описаниями, которые занимают значительную часть контекста агента, используются легковесные скрипты, которые можно легко расширять или заменять. Автор подчеркивает, что агенты хорошо умеют работать с Bash и писать код, поэтому нет необходимости в дополнительных абстракциях в виде MCP серверов.

• MCP представляется как универсальный способ подключения LLM к внешним инструментам, но на практике он оказывается всего лишь оберткой над REST/CLI, не решая фундаментальные проблемы безопасности и контроля доступа, и в большинстве случаев не более чем JSON-RPC поверх HTTP.

• Критика в основном сводится к тому, что MCP не предоставляет никакой ценности, кроме как способа описать API, и что вместо него можно было бы просто использовать существующие стандарты, такие как OpenAPI или GraphQL.

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

• Некоторые участники также высказывают мнение, что вместо того, чтобы использовать MCP, можно было бы просто использовать уже существующие инструменты, такие как curl или httpie, и что MCP не предоставляет никакой дополнительной ценности.

• В целом, обсуждение показывает, что MCP не решают реальные проблемы, которые он предполагает решать, и что вместо него можно было бы использовать уже существующие и более зрелые технологии.

This is a good resource. But for the computer vision and machine learning practitioner most of the fun can start where this article ends.nvcc from the CUDA toolkit has a compatibility range with the underlying host compilers like gcc. If you install a newer CUDA toolkit on an old

Z3 — высокопроизводительный теоретический доказатель, разработанный в Microsoft Research, с API для Python (Z3Py). Он применяется в верификации ПО/железа, решении ограничений, анализе гибридных систем, безопасности и биологии. Базовый синтаксис позволяет создавать переменные через Int('x') или Real('x'), определять ограничения и решать их с помощью solve(). Z3Py поддерживает упрощение выражений simplify(), работу с рациональными и иррациональными числами, а также логические операции And, Or, Not.

Z3 обрабатывает нелинейные полиномиальные ограничения и точно представляет произвольно большие целые числа, рациональные и алгебраические иррациональные числа. Пример решения системы: solve(x > 2, y < 10, x + 2*y == 7). Для вывода результатов можно настроить точность: set_option(precision=30). Важно различать Python-деление 3/2 и рациональные числа Z3, созданные через Q(1,3) или RealVal(1)/3. Система может быть как выполнимой (satisfiable), так и невыполнимой (unsatisfiable).

• Старые заметки 2012 года о Z3/SMT показывают, что API и примеры устарели; вместо Z3Py используйте pip install z3-solver и Python 3.
• Пользователи делятся ссылками на инструменты и ресурсы: knuckledragger, z4-solver, cvc5, SAT/SMT by Example, и примеры на Hakank.org.
• Обсуждение подчеркивает, что SAT/SMT-решатели остаются мощным, но недооцененным инструментом, особенно в сочетании с интерактивными доказательствами.

Автор после разочарования в Tailscale, который не мог пробивать NAT/фаерволы, перешел на Cloudflare Zero Trust + Warp. Cloudflare позволяет соединять частные сети, публиковать внутренние сервисы в интернете, создавать полностью частные сети с приватными IP-адресами и добавлять детальные политики доступа. В отличие от peer-to-peer Tailscale, весь трафик проходит через сеть Cloudflare, что добавляет задержку, но решает проблемы с NAT.

Cloudflare предлагает два инструмента: Warp Client для подключения устройств к сети и enforcement политик, и Cloudflared для создания туннелей. Ключевые концепции — Tunnels (туннели), Routes (маршруты) и Targets (цели) — работают вместе для безопасного доступа к ресурсам. Система позволяет аутентифицироваться на SSH-серверах без ключей, полностью закрывать публичные порты и получать преимущества маршрутизации на edge-серверах Cloudflare.

• Обсуждение вращается вокруг того, что Cloudflare требует проксирования всего трафика через их сеть, в то время как Tailscale оставляет TLS-конечные точки на стороне пользователя.
• Участники обсуждают, что Cloudflare требует проксирования всего трафика через их сеть, в то время как Tailscale оставляет TLS-конечные точки на стороне пользователя.
• Участники обсуждают, что Cloudflare требует проксирования всего трафика через их сеть, в то время как Tailscale оставляет TLS-конечные точки на стороне пользователя.

This seems to be biased heavily towards products that look like an LLM. And yes, only a small number of those work. But that's because if your product is a thing I chat with, it immediately is in competition with ChatGPT/Claude/Grok/etc, leading to everything the article expresse

This map of Flock cameras[0] is pretty neat. It actually utilizes OpenStreetMap data. It was controversial but at some point in the last decade OSM decided to allow annotating surveillance cameras. You can add all sorts of characteristics including what they're mounted to and whi

Автор создал FPGA-версию IBM PC-XT 1980-х годов с целью запуска EGA-версии Monkey Island 1 со всеми функциями. Проект использует низковольтный NEC V20 CPU (совместимый с Intel 8088) и 1MB SRAM для 640KB памяти. Система включает FPGA board (icesugar-pro с Lattice LFE5U-25F), PS/2 разъемы для клавиатуры и мыши, Micro SD в качестве жесткого диска, YM3014B аудио-конвертер и пьезодинамик. Компоненты спроектированы в EasyEDA и собраны с использованием JLCPCB.

Разработка началась с создания контроллера шины для процессора, который распознает типы циклов и управляет данными. Первым тестом была простая программа мигания светодиода, загруженная в FPGA. Позже автор установил виртуальную копию BIOS и создал базовый CGA адаптер для видео, что позволило протестировать SRAM интерфейс и периферийные устройства. Текущая реализация поддерживает чтение и запись в память, с видео-паменью, доступной одновременно для CPU и VGA генератора.

• Проект представляет собой FPGA-реализацию чипсета IBM PC/XT, использующего подлинные чипы V20, 1 МБ SRAM и контроллер флоппи-дисковода, что делает его уникальной вещью в контексте эмуляторов на FPGA.
• Участники обсуждали, что отсутствие звука винта в современных эмуляторах упускает важную часть ностальгического опыта, и что этот проект воплощает в себе идею "железного" подхода к эмуляции старых систем.
• Обсуждались вопросы лицензирования и открытости проекта, и автор выразил желание сделать его как можно более открытым.
• Участники делились воспоминаниями о своем первом ПК и обсуждали влияние проекта на сообщество.
• Было отмечено, что проект в целом является результатом итеративного улучшения и вдохновлен множеством других проектов в открытом доступе.

Проект Heretic представляет собой инструмент для полностью автоматического удаления цензуры в языковых моделях. Разработанный пользователем p-e-w, этот проект нацелен на преодоление ограничений, которые разработчики искусственного интеллекта накладывают на свои модели для предотвращения генерации вредоносного или нежелательного контента.

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

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

My team and I built stagex as the first software build toolchain that internally mandates 100% determinism and full source bootstrapping. It is explicitly designed for supply chain security to trust no single human or computer.Also container native and soon to be LLVM native.It i

Why are we using "arabnews.com" as a source? It's owned by the Saudi government isn't it? This topic is hitting the front-page of more reputable news sources.BBC: https://www.bbc.com/news/articles/cj4172yl0l1oReuters: https://www.reuters.com/pictures/iranians-pray-rain-drought-..