Дайджест #14. П'ятниця, 19 червня

Amazon S3 представив annotations — до 1000 змінюваних анотацій на об’єкт (кожна до 1 МБ) у форматах JSON, XML, YAML або звичайному тексті, які можна оновлювати без перезапису самого об’єкта. Анотації автоматично слідують за об’єктом під час копіювання чи реплікації, а при ввімкненні S3 Metadata потрапляють у таблицю Apache Iceberg, що дозволяє запитувати їх через Amazon Athena без необхідності у зовнішніх каталогах.

Зберігання анотацій завжди тарифікується за S3 Standard, навіть якщо об’єкт лежить у Glacier, тому варто закласти це в бюджет.

CBC припиняє трансляцію матчів НХЛ після 74 років, а легендарне шоу Hockey Night in Canada у звичному форматі закривається. Тепер суботні ігри можна буде дивитися лише на платному каналі Sportsnet. Раніше Rogers викупив національні права на показ, а тепер вирішив не продовжувати угоду з публічним мовником, щоб збільшити власну аудиторію та доходи від підписок.

CBC зберегла за собою бренд Hockey Night in Canada, тож шоу може повернутися в новому форматі, але вже без прямих трансляцій.

Enterprise-Managed Authorization (EMA) — стабільне розширення Model Context Protocol, що дає змогу організаціям централізовано керувати доступом до MCP-серверів через свій identity provider. Користувачі отримують усі призначені їм сервери автоматично під час першого входу, без окремих OAuth-підтверджень чи ручного налаштування. Адміністратори можуть призначати доступ на основі груп, ролей і політик безпеки, а аудит стає централізованим. Розширення вже впроваджене в Okta, Anthropic, VS Code і серверах на кшталт Figma, Linear, Asana.

Це прибирає одну з головних перешкод для корпоративного масштабування MCP — утому від повторюваних погоджень і неможливість єдиної політики безпеки.

Datasette Apps — це новий плагін для Datasette, який дозволяє запускати ізольовані HTML/JavaScript застосунки в sandboxed iframe з суворими обмеженнями Content Security Policy. Застосунки можуть виконувати read-only SQL-запити до даних у Datasette, а також write-операції через механізм stored queries, при цьому комунікація з хостом відбувається через MessageChannel. Користувачі можуть створювати такі застосунки вручну або генерувати їх за допомогою AI, скопіювавши спеціально підготовлений промпт, що перетворює Datasette на платформу для швидкої розробки інтерактивних інтерфейсів поверх реляційних даних.

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

Talos — це інтерпретатор WebAssembly, написаний на Lean 4, де одні й ті самі визначення використовуються і для виконання програм, і для формального доведення їхніх властивостей. Проєкт побудований навколо weakest precondition calculus, що дає змогу композиційно доводити коректність циклів, розгалужень і викликів функцій без повторного розгортання інтерпретатора. У монорепозиторії три пакети: Interpreter (семантика Wasm і тактики WP), CodeLib (леми для підйому та помічники для міркувань) і Programs (конкретні задачі верифікації Rust→Wasm). Оптимізація спрямована на прозорість семантики для доказів, а не на швидкодію.

Схоже на спробу зробити для WebAssembly те, що CompCert зробив для C — тільки зсередини Lean і з акцентом на верифікацію кінцевих програм, а не компілятора.

У 2021 році автор, отримавши відмову від Elkjop у припиненні маркетингових розсилок без виходу з клієнтського клубу, пояснив компанії, що це forced consent — порушення GDPR і ePrivacy Directive. Через п’ять років норвезький регулятор Datatilsynet оштрафував Elkjop на €1,8 млн за недійсну згоду та незаконне перевикористання даних. Автор дізнався про рішення не від регуляторів, а з волонтерської вікі, і тепер вимагає від шведського IMY пояснень, а також готує цивільний позов.

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

Білий дім змусив Anthropic відкликати доступ до моделі Claude Mythos для всіх іноземців після того, як SK Telecom, великий південнокорейський телеком-оператор, отримав ранній доступ через програму Project Glasswing. Адміністрацію Трампа насторожили ймовірні зв’язки SK Telecom з Китаєм, зокрема історичне спільне підприємство з China Unicom та належність до конгломерату SK Group із широкими китайськими інтересами. Ситуацію загострило повідомлення Amazon про вразливості в захищеній версії Fable 5, після чого Anthropic, не бажаючи фільтрувати доступ за національністю, повністю відключила моделі.

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

Національний науковий фонд США (NSF) повідомив, що не буде подальшого видалення чи зменшення обладнання з решти масивів програми Ocean Observatories Initiative (OOI). Вилучений раніше Endurance Array планують повернути після обслуговування. NSF також планує зібрати відгуки від зацікавлених сторін і скликати експертну панель для оцінки потреб спостережень і пошуку сталого шляху для океанографічних систем фонду.

Стаття описує архітектуру довготривалої пам’яті для AI-агентів на базі Elasticsearch: три індекси (епізодична, семантична, процедурна пам’ять), гібридний retrieval через RRF з крос-енкодером-реранкером, механізм supersession для суперечливих фактів, часове згасання з підвищенням частоти використання, ізоляцію орендарів через Document-Level Security та інтеграцію каталогових даних. На тесті зі 168 питань досягнуто R@10 = 0.89 і нульових витоків між орендарями; вся реалізація викладена у відкритий доступ.

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

crawlie — це безкоштовний open-source інструмент для SEO та GEO (Generative Engine Optimization) аудиту, який працює локально через CLI, десктопний застосунок або MCP-сервер для AI-агентів. Він перевіряє понад 40 технічних параметрів — від битих лінків до готовності сторінок до цитування AI-пошуком — і до кожного додає роз’яснення, чому це важливо та як виправити. Написаний на Rust, що дає високу швидкість і компактність, а встановлюється через npm.

Схоже, цей інструмент виріс із розуміння, що SEO-аудит досі закритий, дорогий і не заточений під епоху агентів — тому замість простої перевірки метатегів тут одразу дають зрозумілу інструкцію, а не просто перелік помилок.

Брам Молєнар, творець Vim, розробив власну мову програмування Zimbu, намагаючись усунути накопичені за роки розробки болючі точки: прибрав зайві дужки та крапки з комою, запровадив сувору систему регістру для розрізнення ключових слів, вбудованих типів і користувацьких імен, а також поєднав статичну та динамічну типізацію. Мова залишилася особистим експериментом із єдиним користувачем — самим автором — і після його смерті у 2023 році проект фактично зник, а вихідний код було втрачено.

Ідея використовувати регістр як частину синтаксису виглядає настільки очевидною, що дивно, чому це не стало мейнстримом — хоча, можливо, саме через відсутність маркетингу, а не через ідею.

У 1992 році математики довели, що сім точних riffle shuffles достатньо для перемішування колоди, але це працювало лише за умови ідеального розрізання навпіл. Тепер Марк Селлке, Цзялу Ши та Цзямін Ван показали, що для неохайних перемішувань із довільним нерівномірним розрізанням знадобиться близько 14 тасувань, і підтвердили існування cutoff phenomenon у таких реалістичніших сценаріях. Вони відстежували шлях кожної карти через "barcode" з нулів та одиниць і аналізували "cold spots" — ділянки колоди, що найдовше чинять опір перемішуванню.

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

Стартап Modos запустив краудфандинг на монітор Flow — 13,3-дюймовий кольоровий e-paper дисплей з роздільною здатністю 3200x2400, сенсорним вводом і частотою оновлення 60 Гц. Такої швидкості вдалося досягти завдяки новому відкритому контролеру Enchanter на FPGA, який підтримує DisplayPort 1.1 і має подвоєну пропускну здатність пам’яті. Засновники поділилися досвідом краудфандингового виробництва: закликають закладати вдвічі більше часу на розробку, бути готовими до браку та будувати спільноту задовго до запуску кампанії.

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

Окрім звичного `.gitignore`, існують ще два рівні ігнорування файлів у Git: локальний для репозиторію `.git/info/exclude` (не комітиться) та глобальний `~/.config/git/ignore` (діє на всю машину). Глобальний файл можна замінити на інший через `git config --global core.excludesFile`. Команда `git check-ignore -v <файл>` показує, який саме файл ігнорування спрацював.

Багато хто роками користується тільки `.gitignore`, навіть не підозрюючи про ці два механізми — а вони рятують від випадкових комітів особистих нотаток або системного сміття.

Мається на увазі повноцінне дослідницьке середовище для робототехніки з реальним залізом, яке фізично поміщається поруч з робочим столом і коштує менше €5,000 (без ПДВ та обчислень). Автор зібрав установку з промисловою рукою UFACTORY xArm Lite 6, двома камерами, пневматичним захватом і 6-DoF SpaceMouse для телеоперації, та написав власний софтверний стек (~3000 рядків Python) на основі внутрішньопроцесної шини подій замість ROS. Усе програмне забезпечення працює на Mac без жорсткого реального часу, але з ретельним моніторингом і багаторівневою безпекою; записи даних ведуться у форматі Rerun і конвертуються у LeRobot v3 для тренування політик. Подальший план — порівнювати навчені з нуля моделі з файнтюнінгом VLA на кшталт π0.5, досліджувати RGB проти RGB-D і вплив кількості демонстрацій.

Автор розслідував походження слова "zork" як жаргонізму MIT для незавершених програм. З'ясувалося, що ця версія у Вікіпедії спиралася лише на свідчення Тіма Андерсона, тоді як інші творці (Марк Бланк, Дейв Леблінг) називали "zork" звичайним безглуздим словом, а опитані сучасники з MIT не підтвердили такого вжитку. Зрештою автор ініціював виправлення статті, і тепер там зазначено, що це лише версія Андерсона, а не загальна практика.

13 років без жодного джерела, 41 редагування — і тільки тепер міф розвінчали. Публічна пам'ять в інтернеті іноді тримається на одному чиємусь жарті.

Альберта залишається вільною від щурів вже понад 70 років завдяки швидкому створенню у 1950-х роках «зони контролю» вздовж кордону з Саскачеваном, масовому застосуванню отрут (спочатку арсену, потім варфарину) та постійному моніторингу. Програма, що коштує близько 500 тисяч канадських доларів на рік, досі працює завдяки регулярним інспекціям будівель і участі громадян, які повідомляють про підозрілі спостереження.

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

Arbbe використав Claude Code для відлагодження емуляції Power Macintosh у MAME, що дозволило знайти та виправити низку помилок у PowerPC DRC, 6522 VIA, атомарних інструкціях і FPU status flags. Це просунуло завантаження кількох систем — Pippin, Power Macintosh 7200 і 6100 — та запуск Graphing Calculator. Також AI допомагав у дизассемблюванні firmware периферії, але всі виправлення писав автор, і він застерігає від «vibe code» без розуміння.

AI знаходить помилки, але все ще потребує досвідченого розробника, щоб не піти хибним шляхом.

Стаття Тіма Ферріса стверджує, що нам не бракує порад, а бракує «Моменту Харадзюку» — болісного прозріння, яке перетворює абстрактне бажання на гостру потребу (як у Чада Фаулера, що схуд на 30+ кг після усвідомлення власної безпорадності). Грубі підрахунки BMR і калорій, постійне відстеження будь-якого показника та спрощення дають результат навіть без ідеальної точності. Ключ — знайти досить сильну причину й почати вимірювати хоч щось, бо усвідомленість запускає зміни.

Здається, Harajuku Moment — це коли страх залишитися в старому стані нарешті переважує страх перед дією.

Дослідження King’s College London показує, що лікарні та університети успішно проводять пізні клінічні випробування перепрофілювання наявних ліків — із витратами до 90% нижчими, ніж у фармкомпаній. Ця «прихована» система діє поза патентами й дає змогу знаходити нові застосування дешевим дженерикам, як-от ліки від раку для лікування сліпоти чи старі протизапальні від Covid. Нижчі бар’єри ризику й капіталу та академічна мотивація публікуватися й допомагати пацієнтам роблять такий підхід особливо стійким після того, як фармкомпанії втрачають інтерес до генериків.

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

Автор перейшов з GNU stow на chezmoi для керування dotfiles, бо symlink-и stow призводили до конфліктів між кількома машинами, а chezmoi зберігає реальні файли в репозиторії, синхронізуючи їх за допомогою apply та diff. Тепер усе налаштування, включно з Homebrew-пакетами та скриптами macOS, виконується однією командою, а шаблони (.tmpl) дозволяють гнучко обробляти per-machine дані. Також chezmoi використовується для синхронізації навичок агентів (skills), з єдиним symlink-ом для Claude Code через його нестандартний шлях.

Автор з іронією зазначає, що втік від symlink-ів stow, аби врешті створити один symlink у chezmoi через те, що Anthropic не дотримується загальної конвенції.

Курс CS 6120 Корнелльського університету — це самостійна онлайн-версія просунутого курсу з компіляторів рівня PhD. Він охоплює класичні теми (проміжне представлення, data flow, оптимізації) і дослідницькі напрямки (паралелізація, JIT-компіляція, garbage collection) через відеолекції, читання статей та практичні завдання на LLVM і спеціально створеному IR Bril. Усі матеріали та вихідний код відкриті, а фінальне завдання — «змінити світ за допомогою компіляторів».

Ubiquiti представила Enterprise NAS на ZFS — безліцензійну платформу зберігання на базі ARM Neoverse N2, 64 ГБ ECC-пам’яті та опціональним NVMe L2ARC-кешем. Система масштабується до понад петабайта без прив’язки до конкретних моделей дисків і управляється через UniFi без рекурентних платежів, з інтеграцією Identity-провайдерів, мультисайтовим резервним копіюванням та iSCSI для Proxmox, VMware і Hyper-V.

Ubiquiti заходить на ринок, де досі заробляли на ліцензіях і пропрієтарному залізі.

Це добірка понад 50 сайтів, куди можна подати свій бізнес, стартап або продукт, щоб отримати зворотні посилання й підвищити видимість у пошуковиках. Платформи відсортовані за Domain Rating (від 95 у Medium до 30 у Browse.fyi) і згруповані за типом: лаунч-майданчики, каталоги AI-інструментів, спільноти, дизайнерські галереї, гостьові публікації тощо. Більшість лінків — nofollow, але є й dofollow-варіанти; переважна частина безкоштовна або має freemium-доступ, хоча деякі вимагають оплати чи розміщення зворотнього бейджа.

Автор випадково виявив кампанію з поширення троянського ПЗ через GitHub, коли знайшов точну копію свого репозиторію з доданим посиланням на шкідливий zip-архів у README. Він розробив скрипт, який через gharchive та GitHub API відфільтрував репозиторії за патерном: часті коміти лише зі зміною README та посиланням на архів, копіювання всіх комітів і контриб’юторів. У результаті знайдено 10 000 таких репозиторіїв, які існували місяцями, ховаючись під виглядом справжніх проєктів. Після публікації статті GitHub почав масово видаляти ці репозиторії.

Залишається відкритим питання, чому автоматичні системи GitHub не виявляли такі очевидні шаблони без втручання стороннього дослідника.

RTK обіцяє 60–90% економії токенів, стискаючи вивід терміналу для AI-агентів, але ця цифра враховує лише очищений stdout/stderr і не включає основні витратні частини — довгі читання файлів, контекст репозиторію, системні підказки чи внутрішні міркування моделі. Головна небезпека в тому, що парсинг може мовчки спотворювати або відкидати критичні рядки (наприклад, фрагменти stack trace), через що агент працює наосліп і приймає помилкові рішення без жодної помилки. Інструмент не надає бенчмарків точності виконання завдань, і вже зараз у репозиторії є іш’юси про зіпсований вивід, а залежність від регулярних виразів робить його крихким перед оновленнями звичайних CLI-утиліт. Автор вважає це не стійким продуктом, а тимчасовою фічею, яку основні інструменти зможуть реалізувати нативно через прапори на кшталт --compact.

Emacs 31 запроваджує автоматичне встановлення tree-sitter-граматик та активацію ts-режимів, новий markdown-ts-mode (експериментальний) з живою підсвіткою блоків коду та inline-зображеннями, редактивні xref-буфери, eager-доповнення у minibuffer, вертикальний icomplete у буфері, команди перестановки вікон, вбудований Speedbar у боковій панелі та десятки якісних дрібниць — усе без зовнішніх пакунків. Автор, співтворець markdown-ts-mode й учасник обговорень, уже місяцями використовує гілку emacs-31, скорочуючи власний конфіг.

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

Стаття розповідає про гру Gerrymandle, яка дозволяє відчути себе в ролі того, хто нарізає виборчі округи, щоб забезпечити перемогу своїй партії — через механіки «пакування» (концентрації опонентів у кількох округах) і «розколювання» (розпорошення їхніх виборців, щоб вони скрізь трохи недотягували). Далі пояснюється, що джеррімандеринг — це викривлення меж округів задля політичної вигоди, і його шкода в тому, що вибори втрачають змагальність, а центристи ігноруються. З 2020 року понад чверть округів Конгресу перекроювали поза десятирічним переписом, а після рішення Верховного суду 2026 року довести дискримінаційний намір стало ще важче, що перетворило редістріктінг на постійний інструмент політичної боротьби.

Гра миттєво вчить того, на що політологи витрачають томи: демократія закінчується там, де лінії на карті малює зацікавлена сторона.

TerraPower та Meta домовилися про будівництво до восьми реакторів Natrium потужністю 345 МВт кожен із вбудованим накопичувачем, здатним короткочасно збільшувати віддачу до 500 МВт. На кожному майданчику планують розмістити по два реактори (разом 690 МВт), перші енергоблоки мають запрацювати вже у 2032 році для живлення дата-центрів Meta. Meta вперше безпосередньо інвестує у нове ядерне будівництво, що за оцінками потребуватиме близько $17 млрд і має запустити серійне виробництво та здешевити технологію.

Ключовим ризиком залишається доступність HALEU-палива, промислове виробництво якого у США поки що не налагоджене.

Парламент Швейцарії після марафонських дебатів скасував заборону на будівництво нових атомних електростанцій — Національна рада схвалила контрпропозицію до «Ініціативи проти блекауту» з перевагою лише у два голоси (100 проти 98). Остаточне рішення залишається за народом на референдумі.

Два голоси вирішили долю атомної енергетики — демократія в дії, хоча тепер слово за тими, хто голосуватиме на референдумі.

Стаття стверджує, що tech CEO припускаються категоричної помилки, намагаючись застосувати принцип мінімізації тертя (Tesler’s Law) до управління компаніями. Вони вірять, що Generative AI дозволить «в один клік» автоматизувати роботу product managers, UX-дизайнерів і розробників, але це ігнорує природу соціотехнічних систем. Найважча частина — зрозуміти людські потреби — не піддається автоматизації, а перекладання інтелектуального навантаження на Large Language Model лише створює нескінченний регрес, оскільки складність нікуди не зникає, а лише переміщується.

Іронія в тому, що CEO, які мріють прибрати «складних і дорогих» людей усередині компанії, чомусь впевнені, що зможуть догодити таким самим складним людям зовні.

Європейські інституції, зокрема Єврокомісія, її президентка та Європейський центральний банк, перенесли свої акаунти з відкритої платформи Bluesky на W Social — приватний європейський форк, який позиціонує себе як суверенну альтернативу X, але має сумнівну репутацію. Незадовго до відкритого бета-запуску з’ясувалося, що публічний репозиторій W Social зник без пояснень, тобто платформа, ймовірно, стала закритою, що прямо суперечить нещодавнім деклараціям ЄС щодо стратегії посилення цифрового суверенітету через open source. Авторка також вказує на зв’язки проєкту з колишніми топ-менеджерами Google, PayPal та Tools for Humanity (Worldcoin) і ставить під сумнів, чи справді вся ATproto-інфраструктура W Social, а не лише сховище даних, розташована в Європі.

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

Крейг Ньюмарк, засновник Craigslist, віддав на благодійність понад пів мільярда доларів і нещодавно приєднався до The Giving Pledge, яку критикують такі фігури, як Пітер Тіль. Він не розуміє, чому надбагаті люди атакують саму ідею жертвувати гроші — для нього це просто продовження дитячого уроку «стався до інших так, як хочеш, щоб ставилися до тебе». Ньюмарк навмисно не став монетизувати Craigslist за класичною моделлю Кремнієвої долини і тепер витрачає статки на кібербезпеку, журналістику, родини військових і навіть порятунок голубів, а не на яхти чи розкіш.

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

Новий Outlook для Windows, заснований на WebView2, витрачає близько 10 секунд на відкриття листа при кліку на сповіщення — класичний Outlook робить це миттєво. Причина у веб-архітектурі: понад 10 процесів, 490–636 МБ оперативної пам’яті в простої (проти 117–148 МБ у Classic) і затримки ініціалізації браузерного рушія. Microsoft відклала примусовий перехід для корпоративних користувачів до 2027 року, але без нативної реалізації на WinUI фундаментальні проблеми продуктивності залишаться.

Схоже, швидше прочитати лист, просто відкривши новий Outlook вручну, ніж дочекатися, поки сповіщення «відпрацює».