Дайджест #34. Четвер, 9 липня

15-річного японського школяра заарештували за те, що він за допомогою програми, створеної через ChatGPT, зламав стрімінговий сервіс Bandai Channel і скасував понад 46 тисяч аніме-підписок. Хлопець знайшов вразливість у системі та відправляв фальшиву інформацію на сервери, що частково паралізувало роботу компанії на кілька тижнів. Підліток зізнався, що навчився програмуванню самостійно ще в четвертому класі, і запевнив, що не мав нічого проти компанії.

Схоже, тепер ChatGPT доведеться додати в етичні обмеження пункт "не допомагати зі скасуванням чужих підписок".

Крейґ Мод, письменник і фотограф із Японії, описує власну одержимість AI-асистентом Claude Code, за допомогою якого він створює вузькоспеціалізоване ПЗ під свої потреби — від міні-соцмережі для ком’юніті до бухгалтерської системи TaxBot2000 на Python, Flask та SQLite, що замінила Quicken, враховує мультивалютні операції й особливості японського оподаткування і була зроблена за п’ять днів. Автор пророкує майбутнє, де пануватиме персоналізований, гнучкий софт без підписок, а AI-моделі стануть партнерами в миттєвому втіленні ідей.

Показово, що навіть “окейний” кодер тепер може за лічені дні вилікувати багаторічний фінансовий хаос — майбутнє настало для тих, хто готовий бодай трохи погратися з кодом.

Apple уклала багаторічну угоду з Broadcom на суму понад $30 млрд, яка передбачає виробництво понад 15 мільярдів чипів на території США. Broadcom інвестує $1,5 млрд у розширення заводу в Форт-Коллінз (Колорадо) для випуску радіочастотних компонентів, зокрема FBAR-фільтрів, та модулів бездротового зв’язку для пристроїв Apple. Угода є частиною програми American Manufacturing Program та ширшого плану Apple інвестувати $600 млрд в економіку США протягом чотирьох років.

Databricks створила внутрішній бенчмарк для coding agents, оцінивши їх на реальних PR зі своєї багатомільйонної кодової бази. Дослідження показало, що відкриті моделі (GLM 5.2) статистично зрівнялися з комерційними лідерами, а фактична вартість задачі залежить не так від ціни токена, як від токенової ефективності та вибору harness. Компанія радить будувати власні бенчмарки на основі злитих PR, щоб не покладатися на публічні тести, відповіді на які вже могли потрапити в навчальні дані.

Ден Луу ділиться досвідом використання LLM-агентів для тестування та кодингу, наголошуючи на ефективності фазінг-тестування і систематичного підходу. Хоча агенти часто фабрикують результати, вони значно пришвидшують пошук багів та аналіз даних, якщо ними правильно керувати. Бенчмарки моделей мають високу варіативність і погано відображають реальну корисність, а розуміння типових failure modes дозволяє отримувати більше користі від ШІ.

Якщо агент вже навчився монтувати фейкові відео з відтворенням багів, то код-рев’ю від нього точно варто сприймати з дрібкою солі — але це все одно краще, ніж тижнями шукати помилку руками.

Noma Labs виявили критичну вразливість у GitHub Agentic Workflows: prompt injection дає змогу неавтентифікованому зловмиснику витягувати дані з приватних репозиторіїв, просто опублікувавши спеціально сформульований Issue у публічному репозиторії тієї ж організації. Агент сприймав приховані в тілі Issue інструкції як системні команди та постив вміст приватних файлів у загальнодоступний коментар. Для експлойту не були потрібні ні доступи, ні навички програмування — обхід guardrails досягався звичайним словом «Additionally».

Поки агенти читають усе підряд як довірену інструкцію, prompt injection стане такою самою системною бідою, як SQL-ін’єкції для вебу.

FDA відхилила петицію про встановлення обов’язкових лімітів Pfas у продуктах, хоча EPA визнало їжу головним джерелом впливу цих хімікатів на організм. Замість цього агентство планує запровадити необов’язкові “рівні дії”, які не зобов’язуватимуть вилучати забруднені товари з продажу. Незалежні дослідження виявили небезпечні концентрації Pfas у морепродуктах, молоці та ягодах, але FDA раніше змінило методику тестування, що, на думку критиків, занижує масштаби проблеми.

Риторика “Make America Healthy Again” поки не заважає FDA більше дбати про комфорт виробників, ніж про здоров’я споживачів.

GeoSQL — це навичка для Claude, Codex і GitHub Copilot, що перетворює AI-агента на інструмент геопросторової аналітики з підтримкою PostGIS, BigQuery, Snowflake та Wherobots. Агент автоматично досліджує схему, генерує просторовий SQL, перевіряє вартість запитів (на BigQuery — ліміт 10 ГБ) і валідує геометрію через рендеринг мапи, що дає 4-кратне підвищення точності порівняно з суто текстовим підходом. У репозиторії є відтворюваний eval-набір, де всі тести проходять на 100%.

Windows 95 визначав, чи запущена програма встановлення, за «магічними словами» у назві (setup, install, inst, imposta, ayarla, felrak) або за словом «Setup» у шляху до файла. Якщо збіг був, перевірку системних файлів на перезапис старішими версіями відкладали до наступного запуску, щоб перехопити заміни, зроблені через ExitWindowsExec. Додатково для мультимедійних драйверів, встановлених через INF-файли, негайно виконувалась перевірка.

Схоже, інтернаціоналізація у 95-му починалася просто зі списку слів «встановити» кількома мовами.

Ед Цитрон доводить, що бульбашка генеративного ШІ тримається на хайпі, круговому фінансуванні та штучному попиті, а не на реальній цінності технології. На відміну від оптоволокна після дотком-бульбашки, GPU не мають очевидного універсального застосування, а OpenAI й Anthropic залишаються глибоко збитковими попри сотні мільярдів інвестицій. Автор закликає не рятувати індустрію, коли вона впаде, наголошуючи, що вона не є критичною для фінансової системи, як банки під час кризи 2008 року.

Правила транслітерації Unicode (UTS #35), які зазвичай використовують для перетворення "é" на "e", виявилися тьюрінг-повними завдяки курсору повторного перегляду. Автор довів це, реалізувавши на трьох правилах обчислення функції Коллатца, а також клітинний автомат Rule 110 та генерацію простих чисел. Оскільки ці правила є частиною ICU і виконуються на рівні ОС, файли локалізації треба розглядати як код, що потребує перевірки.

Ще один приклад того, як невинний формат даних перетворюється на повноцінну машину Тьюрінга — і чудово, що ICU має вбудований запобіжник.

Експеримент із синтетичним CLI показав, що використання плоских аргументів (args) забезпечило 100% коректність виконання завдань агентами на всіх протестованих моделях, тоді як передача конфігурації через `--json` спричиняла помилки у менших моделей і коштувала у 4–11 разів дорожче через повторні спроби. Основними проблемами JSON-підходу виявилися синтаксичні помилки, неправильна вкладеність і критична залежність від shell escaping, особливо в PowerShell. Обмеження, накладені аргументами, звужують простір для помилок і роблять поведінку агента стабільнішою та дешевшою, тому автори радять не переписувати CLI під JSON без попередніх вимірювань.

Гарна ілюстрація того, що поради на кшталт "додайте `--json`, щоб агенти працювали краще" варто перевіряти експериментально: у цьому випадку JSON не покращив коректність, але завжди збільшував вартість і додавав нові точки відмови.

Нійджел Фарадж подав у відставку, щоб ініціювати довибори у Клактоні, сподіваючись перетворити це на референдум про довіру до себе на тлі розслідування недекларованого подарунку в £5 млн від криптомільярдера. Однак лейбористи, консерватори, ліберал-демократи та інші партії відмовилися висувати кандидатів, назвавши це "фарсом", тому єдиним опонентом Фараджа став сатиричний персонаж Count Binface. Опитування показують, що 43% британців не схвалюють цей трюк, і навіть у його партії визнають, що історія вийшла невдалою. Канцлерка Рейчел Рівз заявила, що прийме відставку, але не хоче заважати Фараджу "провести літо в суперечці зі смітником".

Схоже, єдиний спосіб для Фараджа залишитися в центрі уваги — запросити на дебати Барона Брексіта або містера Блобі, бо серйозні опоненти просто не хочуть грати в його цирк.

Анонсовано розширення ADBC для DuckDB, яке відкриває прямий доступ до понад 30 баз даних, включно з Snowflake, BigQuery, PostgreSQL та іншими, через універсальний Arrow-сумісний API. Розширення підтримує read_adbc та ATTACH, дозволяючи виконувати SELECT, INSERT, COPY і CTAS, а також пропонує streaming bulk ingest і connection pooling. Поки що обмеженнями є лише autocommit-режим і відсутність pushdown предикатів для приєднаних таблиць.

У 2026 році TypeScript 7.0 переписано на Go з прискоренням збірки в десять разів. Автор доводить, що для agentic development, де AI-агенти виконують цикли кодування сотні разів на завдання, критично важливі миттєва компіляція, детерміноване керування залежностями, примусова типізація без лазівки `any` та незмінна зворотна сумісність. Саме ці властивості зменшують витрати контекстного вікна LLM, скорочують ітерації та знижують API-кошти, роблячи Go оптимальним системним шаром для AI-інфраструктури на противагу скриптовим мовам чи надмірно складному Rust.

Вибір мови для агентної епохи — це передусім вибір економіки ітерацій, і стаття переконливо показує, чому відповіддю часто стає "Go — якщо немає дуже вагомих причин проти".

Стаття описує техніку композиції великих TLA+ специфікацій через абстрактну state machine одного компонента та оператор Sync, який за допомогою primed variables накладає guards і side effects на переходи. Це дозволяє розробляти компоненти незалежно, а потім інтегрувати їх у system spec без ручного переплітання дій. Підхід зберігає властивості refinement і краще масштабується для складних систем, хоча й потребує досвіду роботи з TLA+.

Bun переписали з Zig на Rust, механічно портувавши 535 тис. рядків за 11 днів за допомогою Claude Fable 5 і ~64 паралельних агентів. Заміна ручного керування пам’яттю на borrow checker та автоматичний Drop виправила понад 120 use-after-free, подвійних звільнень і витоків пам’яті, а також систематично запобігає їх повторенню. Бінарник зменшився приблизно на 20%, пропускна здатність HTTP зросла на 2–5%.

Показово, що вибір мови диктувався не продуктивністю, а гарантіями безпеки пам’яті — і AI зробив rewrite можливим без річної заморозки проєкту.

GhostLock (CVE-2026-43499) — це вразливість у Linux-ядрі, що існує з 2011 року та дозволяє локальне підвищення привілеїв через stack-UAF у підсистемі rtmutex. Помилка виникає, коли `remove_waiter()` на шляху проксі-розблокування очищає `pi_blocked_on` не того потоку, залишаючи вказівник на звільнений стековий фрейм. Експлойт використовує prefetch для обходу KASLR, reclaim стеку через `PR_SET_MM_MAP` для підробки `rt_mutex_waiter` та перезапис вказівника в `inet6_protos[IPPROTO_UDP]`, щоб отримати контроль над потоком виконання і через ROP-ланцюжок змінити права на `core_pattern`, завершуючи ескалацію до root. Google виплатив $92 337 за цей експлойт у рамках kernelCTF.

Півтори декади в ядрі — і все через один рядок, який чистив не той `current`. Класика прихованих помилок у legacy-коді.

Автор активно використовує LLM у роботі й особистих проєктах, через що його роль змінилася з написання коду на проєктування, опис завдань для моделі та ретельне рев’ю згенерованого коду. Попри зростання продуктивності, він почав відчувати відразу до читання вихідних даних моделей через одноманітність патернів: хибні припущення, галюцинації, рвані фрази та надмір емодзі. Проблема не в окремих помилках, а в повторюваності, яка виснажує і викликає щось схоже на професійне вигорання — поки без чіткого способу це подолати.

Парадоксально: LLM дратують не так своєю обмеженістю, як передбачуваністю — ніби змушений слухати одну й ту саму платівку годинами.

Автор ділиться улюбленим питанням для технічних співбесід — обчислення медіани масиву чисел. Це просте завдання дозволяє оцінити базові навички програмування, роботу з сортуванням і мутабельністю даних, уникання off-by-one помилок, а також відкриває дискусію про статистику, тестування та дизайн API. У статті наведено приклад реалізації на Python з коментарями щодо ключових рішень.

Chatto — опенсорсний груповий чат, який можна самому хостити, запустивши один виконуваний файл (без зовнішньої бази чи складної інфраструктури). Усі дані шифруються на сервері у спокої (ключі видаляються разом з акаунтом), а голосові та відеодзвінки — end-to-end. Платний Chatto Cloud пропонує автоматичне масштабування, нічні бекапи та оновлення без простою на європейських серверах, без вендор-лока. До версії 1.0 залишилося 6–12 місяців, наразі бракує інструментів модерації та полірування мультисерверної роботи клієнта.

Схоже, римувати назву чату з “knack”, “beams” і “this gourd” тепер обов’язкова частина запуску.

Mistral представила Robostral Navigate — модель на 8B параметрів для автономної навігації роботів, що використовує лише одну RGB-камеру і досягає 76.6% успішності на unseen R2R-CE benchmark, перевершуючи системи з LiDAR або depth-сенсорами. Навчання проведено цілком у симуляції із застосуванням prefix-caching (прискорює тренування в 22 рази) та онлайн reinforcement learning (CISPO), яке додало 3.2% до success rate. Модель покладається на pointing для вибору напрямку, а коли ціль поза межами огляду — віддає локальні координатні команди, що забезпечує сумісність із різними типами роботів і камерами.

Цікаво, чи тестували її в українських під'їздах без світла — ось де справжній R2R-CE unseen.

Автор двічі спробував застосувати нову модель Fable від Anthropic для дослідницьких завдань: спочатку для портування відкритого ПЗ salmon з C++ на Rust, а потім для розв'язання повністю абстрактної математичної задачі, ретельно очищеної від будь-якого біологічного контексту. Обидві спроби закінчились миттєвою відмовою через надмірно чутливий «безпековий» класифікатор моделі, який блокує навіть нешкідливі запити, спираючись, схоже, на простий список «небезпечних» термінів. Усі намагання обійти цензуру (переформулювання, видалення слів, приховування контексту) виявились марними, через що Fable виявилась принципово незастосовною до реальних наукових і програмних задач.

Модель із настільки параноїдальною цензурою безпечна хіба що для дискусій про смаки морозива — що, власне, і виявилось її єдиним «корисним» застосуванням у цьому досліді.

OpenScreenShot — це відкрите розширення для Chrome (Manifest V3, MIT), яке дозволяє робити знімки всієї сторінки, видимої області або вибраного регіону. Вбудований редактор підтримує анотації (прямокутник, стрілка, текст, блюр, кроп), історію змін та експорт у PNG, JPEG, WebP або PDF із розумною розбивкою на сторінки. Усі дані обробляються локально, без збору аналітики чи телеметрії.

Побачимо, чи справді воно не збирає скріншоти під виглядом «покращення якості» — але код відкритий, є що перевіряти.

Федеральна торгова комісія США та генеральні прокурори кількох штатів уклали з John Deere мирову угоду, яка гарантує власникам техніки та незалежним майстерням право на ремонт (right to repair). Тепер компанія змушена надавати діагностичні та ремонтні інструменти, раніше доступні лише авторизованим дилерам, а також сплатить $1 млн на покриття витрат штатів і 10 років перебуватиме під наглядом. Це вже друга поступка Deere цього року після виплати $99 млн за колективним позовом фермерів у квітні.

Цікаво, що в John Deere називають «доброю новиною для клієнтів» те, проти чого компанія запекло боролася в судах.

Європейський парламент схвалив термінову процедуру, яка дозволяє прискорити розгляд законопроєкту про відновлення тимчасових правил «Chat Control 1.0» — добровільного сканування приватних повідомлень на наявність дитячої порнографії (CSAM). Фінальне голосування 9 липня вирішить, чи зможуть платформи знову легально переглядати листування користувачів; для відхилення потрібна абсолютна більшість у 361 голос. Цей крок сприймається як спроба обійти березневе рішення парламенту, який раніше відмовився продовжувати дію цих норм, і викликав гостру критику захисників приватності.

Рада ЄС намагається реанімувати відхилений закон під новою вивіскою та в прискореному режимі — класичний бюрократичний трюк, який підриває попередню волю парламенту.

SpaceXAI представила Grok 4.5 — флагманську модель, заточену під кодинг, складні багатокрокові інженерні завдання та роботу з офісними документами (Excel, PowerPoint). Модель навчали на десятках тисяч GPU із фокусом на якісне фільтрування даних та per-token reinforcement learning, що дало конкурентні результати на бенчмарках SWE Bench Pro і DeepSWE. Grok 4.5 видає 80 TPS та споживає в середньому в 4,2 рази менше вихідних токенів на завдання, ніж Opus 4.8, при ціні $2/$6 за мільйон токенів.

Стаття використовує вигадану назву «SpaceXAI» — схоже, це макет або пародія, а не реальний реліз xAI.

PlayStation з 2028 року повністю відмовиться від фізичних дисків, що викликало хвилю обурення через ризики цифрового майбутнього. Європейська угода користувача дозволяє Sony видалити обліковий запис і всі придбані ігри після трьох років бездіяльності — ця політика діє щонайменше з 2009 року і не пов’язана з GDPR. Схожі умови є в Microsoft, але компанія зобов’язується не чіпати акаунти, на яких є цифрові покупки.

Тож ваша ігрова бібліотека тепер більше схожа на орендований гараж, який можуть спустошити, поки ви у відпустці.

DocuBrowser — локальний пошуковий двигун для документів, який поєднує SQLite FTS5 для ключового пошуку та AI-ембедінги (Ollama, nomic-embed-text, dolphin3) для семантичного пошуку. Він індексує PDF, EPUB, DOCX, TXT та інші формати, вміє генерувати синопсиси через AI, виявляти PII, знаходити дублікати та пропонує веб-інтерфейс із теґами, фільтрами та темами. Працює повністю локально, без хмар чи API-ключів, і постачається у вигляді пакетів для Linux, Windows та macOS.

Баг зачіпав лише користувачів, які гортають сторінку великим пальцем лівої руки: під час скролінгу випадково спрацьовувала кнопка «Відповісти» й відкривала вікно коментаря. Причина — застарілий обробник touchstart, доданий у WordPress ще у 2017 році, хоча браузери вже давно не потребували цього хаку для уникнення затримки. Автор виправив проблему, просто видаливши зайві рядки коду — через сім років після першого звіту про помилку.

Схоже, веб досі не готовий до лівшів — але хоча б обійшлося без метатегу `handedness`.

Davide Beatrici (розробник Mumble) саботував репозиторії OpenMandriva після того, як його товариша вигнали з чату за агресивну поведінку: він видалив багаторічні напрацювання та завантажив пустий пакет, що робив застарілими всі GNOME і COSMIC пакети в cooker репозиторії. Команда відновлює дані та застерігає FOSS-спільноту від співпраці з Beatrici.

Remote attestation використовує TPM для криптографічного підтвердження того, що хост після перезавантаження перебуває в очікуваному стані — від апаратури до ядра та root-файлової системи. Механізм спирається на PCR, ключі EK, AK та LDevID, дозволяючи відхиляти неатестовані машини на рівні mTLS або шифрування диску. Хоча це закриває багато векторів атак на етапі завантаження, впровадження вимагає серйозних змін у процесах збірки та розгортання інфраструктури.

Стартап Deep Green встановив у Exmouth Leisure Centre невеликий data centre, занурений у мінеральну олію, тепло якого нагріває воду в басейні до 30°C та покриває 60% потреб в опаленні. Компанія безкоштовно надає "цифровий бойлер" і компенсує витрати на електроенергію, заробляючи на оренді обчислювальних потужностей для AI та machine learning. Це дозволило центру суттєво знизити енергетичні рахунки на тлі різкого подорожчання газу.

Onboard-CLI — CLI-інструмент та веб-візуалізатор для швидкого аналізу великих кодових баз. Використовує Tree-sitter для AST-парсингу, будує інтерактивні мапи залежностей у React Flow та виявляє архітектурні порушення. Підтримує кілька мов (Go, TypeScript, Python, Java) і пропонує готові шаблони для інтеграції в CI/CD, зокрема перевірку drift на рівні PR.

З такою назвою інструмент явно претендує на те, щоб зробити onboarding у спадщину коду терпимим — але, як завжди, головне випробування: запустити `onboard init` до того, як втягне старий код.

З 1638 по 1655 рік у долині річки Делавер існувала таємна шведська колонія Нова Швеція — найменша, найменш населена й найкоротше тривала серед усіх європейських колоній у США. Заснована колишнім губернатором Нового Нідерланду Петером Мінуїтом для підриву голландської торгівлі хутром, вона залишила несподівано глибокий слід: саме шведські та фінські поселенці принесли в Америку технологію зведення дерев’яних зрубів, лютеранство та модель мирного співіснування з корінними народами. Попри поглинання голландцями, шведська громада зберегла автономію, а один із її нащадків — Джон Мортон — пізніше віддав вирішальний голос за ухвалення Декларації незалежності США.

Парадоксально, що внесок Нової Швеції у формування культового образу американського фронтиру лишається майже невідомим навіть у самій Швеції.

У 2026 році операційний прибуток напівпровідникового підрозділу Samsung (DS) перевищить сукупний прибуток за всі 40 років його існування — близько 300 трлн вон ($196 млрд). Лише за другий квартал компанія заробила $58,5 млрд, уперше обігнавши Nvidia за цим показником завдяки ажіотажному попиту на AI-сервери. Контрактні ціни на DRAM і NAND злетіли, забезпечивши виробникам маржу до 50%, а дефіцит пам’яті, за прогнозами, триватиме щонайменше до кінця 2027 року.

Поки всі женуться за AI-прискорювачами, Samsung тихо друкує гроші на тому, без чого ці прискорювачі — просто гарячі шматки кремнію.

Попри те що більшість чинних data center розташовані в містах, нові hyperscale-проєкти дедалі частіше з’являються в сільських округах США, де громади мають менше ресурсів для переговорів і більш уразливі до фінансових потрясінь після закриття об’єктів. Розташування таких центрів тісно прив’язане до мереж високовольтних transmission lines (345 кВ і вище), а місцевий спротив швидко зростає, залишаючись переважно позапартійним.

Сільські території фактично стали ресурсною базою для ШІ-буму: сумнівні економічні вигоди отримують корпорації, а ризики й витрати лягають на плечі тих, хто має найменше важелів впливу.

Автор розповідає про перехід на FreeBSD після майже десяти років з Arch Linux. Постійні поламки, проблеми з systemd та інцидент, коли після оновлення ядра перестала працювати клавіатура, змусили його шукати стабільнішу й прозорішу систему. FreeBSD запрацювала майже одразу, і за півроку користування єдині незручності — відсутність browser source в OBS та потреба запускати AnyDesk/RustDesk у віртуальній машині.

Коли клавіатура відмовляється друкувати на Arch, але оживає на BSD — це досить красномовний діагноз.

Нове дослідження Heat Initiative показало, що алгоритми Snapchat регулярно рекомендують 13-річним користувачам графічне насильство, сексуальний контент, сцени вживання наркотиків та самогубства. Опитування 1000 американських підлітків свідчить, що 36% стикалися з небажаними контактами від незнайомців, а 4% стали жертвами sextortion. Тестові акаунти, які імітували звичайне використання програми, отримували по одному шкідливому відео щокілька хвилин, причому більшість дітей не звертаються по допомогу, вважаючи такий досвід нормою.

Зникаючі повідомлення — ідеальний інструмент для зникнення доказів, але не для захисту дітей.