Дайджест #33. Середа, 8 липня

"Chat Control" — це два окремі закони, що рухаються паралельно. Тимчасовий дозвіл на добровільне сканування (Chat Control 1.0) втратив чинність у квітні 2026 після того, як Парламент відмовився його продовжити, однак Рада ЄС зараз проштовхує ідентичний текст як "новий" закон за прискореною процедурою — для відхилення потрібна абсолютна більшість голосів депутатів. Постійний регламент CSA (Chat Control 2.0) застряг на етапі трилогів через суперечки щодо обов'язкового сканування та захисту наскрізного шифрування.

Спроба відродити закон, який Парламент уже відкинув, під виглядом формально нового тексту — рідкісний навіть для Брюсселя рівень наполегливості.

98% звучить як переконлива більшість, але для базових очікувань — безпеки, оплати, доступності — це неприйнятно мало. Автор показує, як нова CSS-фіча, що нібито “широко підтримується” у 98% загальних браузерів, на ділі виявилась недоступною для 30% реальних відвідувачів конкретного сайту. Справжня надійність не в тому, щоб догодити більшості, а в тому, щоб коректно обробляти ситуації, коли щось іде не так.

WhimFiles — файловий менеджер для macOS, який вирізняється потужною системою фільтрації файлів за типом, датою та розміром. Він також надає двопанельний інтерфейс, вкладки, fuzzy-пошук, пакетне перейменування, конвертацію зображень та попередній перегляд. Програма коштує $19.99 одноразово, має 30-денний безкоштовний trial і працює на Apple Silicon з macOS 12+.

Сторінка присвячена класичній багатотомній праці «The Art of Computer Programming» Дональда Кнута, що охоплює фундаментальні, семинумеричні та комбінаторні алгоритми. Наразі опубліковано томи 1–4B, триває робота над 4C і далі, а новий матеріал тестується у вигляді fascicles. Кнут підтримує актуальні списки виправлень, винагороджує читачів за знайдені помилки та категорично не радить купувати електронні версії у форматах, відмінних від PDF.

За пів століття жоден Kindle не навчився верстати математику так, як цього хоче Кнут — і, схоже, вже не навчиться.

StreetComplete — мобільний додаток, який допомагає покращувати OpenStreetMap, перетворюючи пошук відсутніх даних на прості квести. Користувач бачить на мапі завдання (наприклад, уточнити назву вулиці чи години роботи), йде на місце й відповідає на запитання — після цього інформація одразу додається в OSM від його імені, без потреби використовувати складні редактори.

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

Аналіз 19 450 компаній із семи країн ЄС показав, що американські інфраструктурні вендори обслуговують більшість (Велика Британія — 67,5%, Нідерланди — 53,6%) або плюральність (Італія, Іспанія, Франція — 44–49%) основних вебсайтів. Cloudflare лідирує в кожній країні, випереджаючи локальних провайдерів. Винятки — Німеччина та Польща, де сильні вітчизняні хостингові компанії.

Примітно, що Cloudflare лишається найбільшим окремим вендором навіть у цих країнах.

Eternal Software Initiative пропонує рішення проблеми «bit rot» — архітектуру на основі Subleq OISC, специфікація якої вміщається на серветці, і toolchain для компіляції сучасного ПЗ у самодостатні capsule. До складу входять LLVM backend, порт Linux, C runtime, Busybox та еталонна VM у ~50 рядках C. Це дозволяє запускати програми через тисячоліття, маючи лише бінарний файл capsule та опис архітектури.

Історики майбутнього напевно оцінять, що серед вічних цінностей людства опинився Doom.

Новий метод RLMF використовує метакогнітивний фідбек, щоб навчити LLM точно виражати власну невизначеність — спершу калібруючи числові оцінки впевненості, а потім конвертуючи їх у природну мову. Підхід також покращує відбір тренувальних даних на основі самооцінювання, що перевершує наївне активне навчання. У експериментах RLMF дає на 63% кращі результати за стандартний RL і допомагає моделям краще усвідомлювати межі власних знань без втрати точності.

Через п’ять років після публікації впливової статті «On the Dangers of Stochastic Parrots» її провідна авторка Емілі Бендер роз’яснює, що метафора «стохастичних папуг» стосується виключно великих мовних моделей (LLM), які генерують текст без жодного розуміння, а не всього спектру технологій під назвою «штучний інтелект». Вона критикує термін «AI» за те, що він об’єднує різнорідні системи та перебільшує їхні можливості, а також наголошує, що із запуском чат-ботів проблема неконтрольованого синтетичного тексту стала значно гострішою. Бендер шкодує, що в оригінальній статті не було розглянуто експлуатаційні трудові практики та масове привласнення чужого інтелектуального доробку, на яких тримаються ці моделі.

l — новий рантайм для k4, q і qSQL, який забезпечує прозору компресію векторів, автоматичне SIMD-прискорення (NEON, AVX-512) та розпаралелювання без змін у коді. Дані залишаються стиснутими на всіх рівнях — у спокої, в пам’яті й під час передавання, а примітиви виконуються прямо над стиснутими структурами, зменшуючи навантаження на пропускну здатність пам’яті. Це дозволяє виконувати аналітичні qSQL-запити на сотнях мільйонів рядків на одному ядрі значно швидше, ніж у традиційних інтерпретаторах.

Колишнього чиновника з Нанкіна Яна Юліня засудили до страти за хабарі на $325 млн, розкрадання та відмивання грошей, отримані протягом 30 років служби. Його співпраця зі слідством не змогла пом'якшити вирок через «виняткову тяжкість» злочинів. У Китаї смертні вироки за корупцію рідкісні та зазвичай виносяться при сумах понад 1 млрд юанів, як у випадках Лай Сяоміня (2021) та Лі Цзяньпіна (2024).

Схоже, що в кампанії Сі Цзіньпіна проти корупції навіть щире каяття не має значення, якщо сума викликає підозру, що чиновник заробив більше за партію.

PgDog — це проксі для масштабування Postgres, який на відміну від PgBouncer чи RDS Proxy дозволяє без змін у коді використовувати SET-команди та LISTEN/NOTIFY навіть у режимі пулу транзакцій. Він зберігає стан сесій клієнтів, підлаштовує серверний стан за допомогою вбудованого SQL-парсера й конвеєрних запитів, а pub/sub реалізує через внутрішні канали Tokio та додаткові з’єднання з базою. Багатопотокова архітектура на Tokio збільшує пропускну здатність одного процесу, зменшує потребу в шардуванні пулів і спрощує експлуатацію. Проєкт відкритий, безкоштовний, рік працює в продакшені з навантаженням у 2 млн запитів на секунду.

Схоже, кожен новий пулер з’являється саме тоді, коли вкотре хочеться сказати «ну от тепер точно останній».

MacSurf 1.68 «macQJS» — велике оновлення браузера для Mac OS 9 (PowerPC), яке замінює застарілий Duktape (ES5) на macQJS (порт QuickJS), тож тепер він нативно виконує ES2023 JavaScript. Крім того, виправлено роботу з текстовими полями (курсор, виділення, буфер обміну), додано менеджер завантажень, закладки, персистентні логіни та миттєвий старт (прибрано ~17‑секундний тест при запуску). Реліз названо на честь спільноти 68kmla.org, яка була ключовою в тестуванні й мотивації.

Це чудовий приклад того, як ентузіазм повертає до життя ретро‑залізо й дає йому змогу працювати з сучасним вебом.

Kokoro — це TTS-модель на 82 млн параметрів, що працює локально на CPU, підтримує англійську, мандарин, гінді та близько 50 голосів. Запустити її можна через готовий container Kokoro-FastAPI (≈5 ГБ), який надає OpenAI-сумісний API і простий веб-інтерфейс. Навіть 12-річний i7-4770K синтезує короткий абзац за 4.7 с, а сучасні чипи — за 1.5 с. Таке рішення дозволяє слухати відповіді локальних LLM без хмар і з повною приватністю.

Локальний голосовий асистент перетворюється з фантастики на збірку з пари Docker-команд.

Davit — нативний macOS-додаток для запуску Linux-контейнерів на Apple Silicon без Docker Desktop, що працює напряму з Apple container platform через XPC. Він підтримує OCI-образи, пропонує моніторинг ресурсів, вбудований термінал та зручне редагування конфігурацій. Розмір близько 17 МБ, безкоштовний, open source, не потребує прав адміністратора.

Схоже, що Apple Silicon поступово отримує власний зручний інструментарій для контейнеризації, який не вимагає важких сторонніх рішень.

AI-аудитори zkSecurity перевірили криптографічну бібліотеку Cloudflare CIRCL і виявили сім реальних вразливостей, зокрема критичну втрату точності через float64 у threshold RSA та обхід контролю доступу в CP-ABE. Усі помилки підтверджено мейнтейнерами й виправлено. Експеримент показав, що моделі добре знаходять складні помилки, але погано оцінюють серйозність і рідко об'єднують окремі знахідки в цілісний експлойт.

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

Якщо якість така крихка, то, можливо, варто просто змиритися й перестати очікувати її від великих софтверних продуктів.

docx-cli — це CLI-інструмент для AI-агентів (Claude, Codex тощо), що дозволяє читати, редагувати, коментувати та відстежувати зміни у .docx файлах без втрати форматування. Замість ручного редагування OOXML агент отримує Markdown-вигляд зі стабільними локаторами (на основі зміщень символів), а CLI виконує мутації безпосередньо в XML, зберігаючи стилі, теми та вбудовані об’єкти. У бенчмарках на шести реальних завданнях навіть дешеві моделі з docx-cli виконували в кілька разів більше завдань із суттєво меншою кількістю токенів, і жоден згенерований документ не був пошкоджений.

Змушує задуматися, чому Microsoft досі не має нормального headless API для DOCX, якщо навіть CLI на Bun може обходити Word.

Європарламент із незначною перевагою голосів (331 проти 304) підтримав термінове повернення тимчасової “Chat Control”, яка дозволяла Meta, Google та іншим техногігантам добровільно сканувати приватні чати, пошту та месенджери на предмет матеріалів із сексуальним насильством над дітьми без конкретної підозри. Завдяки процедурному маневру для фінального затвердження в четвер вистачить простої більшості, тож ухвалення майже гарантоване — багато депутатів уже роз’їхалися на літні канікули. Критики називають це масовим стеженням, вказують на високий рівень помилок ШІ-сканування та побоюються, що компанії втратять стимул працювати над постійним і більш прицільним регулюванням.

Процедурні хитрощі, які дозволяють проштовхнути закон у період відпусток, остаточно підривають довіру до демократичних процесів у ЄС.

Microsoft звільнила команду розробників idTech у id Software — це частина масштабної реструктуризації Xbox, під час якої компанію залишать 3200 людей упродовж фінансового року. idTech є одним із найвпливовіших рушіїв в історії first person жанру, тому звільнення основної команди ставить під сумнів подальшу розробку та підтримку рушія.

Схоже, Microsoft остаточно переходить на централізовані технологічні стеки, і легендарний спадок id Software більше не вписується у цю стратегію.

Astro 7 зосереджений на продуктивності: компілятор .astro та обробку Markdown переписано на Rust, рендеринг переведено на черговий підхід, що разом із Vite 8 на базі Rolldown пришвидшує білди на 15–61%. Додано Advanced Routing через `src/fetch.ts` для повного контролю над пайплайном запитів і стабілізовано кешування маршрутів з підтримкою CDN-провайдерів Netlify, Vercel і Cloudflare. Також з’явилися фоновий режим dev-сервера та JSON-логи для кращої інтеграції з AI-агентами.

Відмова нового компілятора від автоматичного виправлення HTML усуває багаторічні сюрпризи в розмітці, але мігруючим доведеться ретельніше перевіряти темплейти.

У статті показано, що хеш-ланцюжок Git є пластичним: атакуючий без доступу до ключа може створити інший коміт з ідентичним вмістом та дійсним підписом, але з відмінним хешем. Автор описує три методи такої модифікації — алгебраїчну інверсію для ECDSA, вставку нехешованого OpenPGP-пакету для RSA/EdDSA та перекодування довжини DER для S/MIME. Всі методи дають змогу отримати позначку «Verified» на GitHub, що ставить під сумнів надійність прив'язки хешу коміту до його вмісту в системах залежностей та відтворюваних збірок.

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

У прошивках кількох моделей роутерів Tenda виявлено прихований бекдор у функції `login()` бінарника `/bin/httpd`. Якщо звичайна автентифікація за MD5 не проходить, сервер витягує з конфігурації альтернативний пароль через `GetValue("sys.rzadmin.password")` і порівнює його з введеним значенням у відкритому вигляді через `strcmp`, ігноруючи ім’я користувача. Це дає зловмиснику адміністративний доступ без валідних облікових даних. Вендор не відповів на спроби координації, патч відсутній; рекомендовано вимкнути віддалене управління пристроєм.

Черговий «секретний» пароль у plaintext — ідеальний спосіб переконатися, що пристрій ніколи не буде твоїм.

Посібник для архівістів і ентузіастів із створення образів дискет (8, 5.25, 3.5 та 3 дюйми) для довготривалого зберігання. Він пояснює, як визначити тип носія, підібрати відповідні приводи й контролери (Greaseweazle, Applesauce тощо), очистити та перевірити обладнання, а також виконати захоплення на рівні магнітного потоку (flux stream). Основна порада — використовувати апаратні контролери для отримання сирих даних замість USB-приводів, що дає змогу зберегти навіть нестандартні чи пошкоджені диски.

Це сторінка відеолекцій знаменитого курсу MIT 6.001 «Structure and Interpretation of Computer Programs». Двадцять лекцій записані в липні 1986 року для співробітників Hewlett-Packard, їх читають Гарольд Абельсон та Джеральд Джей Сассман. Відео базуються на першому виданні книги (1985), але залишаються актуальними для другого видання, оскільки загальна структура курсу не змінилася.

Ці лекції — історичний артефакт, який демонструє витоки сучасного функційного програмування та метапрограмування.

OpenAI оголосила, що нові моделі GPT-5.6 Sol, Terra та Luna стануть публічно доступними цього четверга. Попередній доступ до них вже розширюють на глобальну аудиторію.

Meta заявляє, що у разі перемоги чотирьох штатів у позові про шкоду психічному здоров’ю підлітків їй загрожують штрафи на $1,4 трлн — сума, яка майже дорівнює ринковій капіталізації компанії. Meta називає ці вимоги «безпрецедентними» та стверджує, що розрахунки штатів базуються на подвійному чи потрійному підрахунку постраждалих і порушують Section 230, тоді як позивачі звинувачують компанію у створенні залежності від соцмереж у дітей. Суд уже відхилив спробу Meta закрити справу, однак у попередніх схожих процесах реальні виплати обчислювалися мільйонами, а не трильйонами доларів.

Бібліотекарі в штаті Мен допомагають відвідувачам вимикати ШІ-помічників на телефонах, відмовлятися від пошуковиків з AI-оглядами та шукати приватніші альтернативи сервісам Google. Ініціатива поширюється через вебінари й класи, найпопулярніший з яких — “Avoiding AI” від бібліотекарки Ганни Сайрус. Вони наголошують, що генеративний AI не є надійним джерелом інформації, а лише генерує слова, збирає персональні дані й шкодить довкіллю. Самі бібліотекарі вважають це частиною професійної місії з підвищення інформаційної грамотності, а не політичним активізмом.

Нарешті хоч хтось нагадує, що кнопка «вимкнути» ще існує.