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

У програмі xsnow, яка створює анімований снігопад для X11, виявлено Easter egg: якщо локаль встановлена як російська, зі значно більшою ймовірністю на екрані з’являються українські прапори. Користувач Debian поскаржився, що така поведінка порушує принципи недискримінації, однак DFSG регулює лише ліцензії, а не функціональність ПЗ. Розробники визнали, що приховані зміни поведінки на основі локалі небажані, але без офіційного баг-репорту змін не передбачається, хоча подібне може наражати на реальну небезпеку користувачів у Росії.

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

Автор виявив, що Claude Code приховано вставляє маркери в системний промпт — змінює апостроф у рядку «Today's date» та роздільник дати (дефіс або слеш) залежно від змінної середовища `ANTHROPIC_BASE_URL` і часового поясу. Так клієнт непомітно класифікує запити для виявлення API-шлюзів, реселерів та певних китайських AI-лабораторій (deepseek, zhipu тощо). Списки доменів і ключових слів закодовані через XOR із ключем 91 та base64. Автор вважає, що така стеганографія підриває довіру до інструмента, який має повний доступ до файлової системи та команд.

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

Nano Banana 2 Lite — це нова модель генерації зображень від Google DeepMind на базі Gemini 3.1 Flash-Lite, створена для швидкої та дешевої роботи. Вона майже не поступається старшій Nano Banana 2 за якістю генерації та редагування, але генерує 1k-зображення приблизно за 4 секунди і коштує $0.034 за тисячу. Модель доступна в Google AI Studio, Gemini API та додатку Gemini, а також містить вбудований водяний знак SynthID.

Автор створив портативний mmWave радар для класифікації матеріалів, з прицілом на виявлення азбесту в будівлях. Система поєднує FMCW-радар, Capon beamforming і нейромережу (CNN), яка навчається на спектрах густини, отриманих після DSP-ланцюжка. Прототип на базі плат Texas Instruments і ESP32 успішно розрізняв прості матеріали, але відсутність фінансування та скепсис клієнтів зупинили проєкт.

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

Mistral анонсувала Leanstral 1.5 — оновлену модель для формального пруф-інжинірингу мовою Lean 4, орієнтовану на автоматичне доведення теорем і автоформалізацію. Модель містить 119B параметрів (6.5B активних), підтримує контекст до 256k токенів і доступна безкоштовно.

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

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

Колись комп’ютер сперечався й шипів модемом, а тепер мовчки догоджає — ось такий прогрес.

Claude Science — це бета-застосунок від Anthropic для наукових досліджень, який перетворює Claude на повноцінне середовище для аналізу даних: виконує код, підключається до понад 60 наукових баз даних, керує обчисленнями на локальних машинах, HPC-кластерах чи GPU та зберігає повну історію кожного результату разом із кодом і контекстом. Він містить вбудовані рендерери для білкових структур, геномних треків, хімічних формул, перевіряє коректність цитувань і відповідність рисунків коду, а також підтримує роботу з Python та R-ядрами й інтеграцію з ELN-системами лабораторій. Застосунок доступний на macOS і Linux для планів Pro, Max, Team та Enterprise, а для академічних лабораторій діє знижка.

Схоже, Anthropic вирішив, що дослідникам бракує одного інструменту «все в одному» — від секвенування до факт-чекінгу; залишилося навчити його писати гранти.

Автор описує свій щотижневий ритуал — перезавантаження Mac по суботах, не з необхідності, а заради самого процесу. Йому подобається агресивно закривати всі програми, ігноруючи попередження, адже більшість роботи зберігається в OneDrive, а особисті файли синхронізуються через Syncthing та авто-збереження в Emacs. Це дозволяє відчути контроль і зробити паузу, а також, за традицією, вирішити дрібні проблеми.

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

«Memoirs of Extraordinary Popular Delusions and the Madness of Crowds» — рання праця 1841 року з психології натовпу, де Чарльз Маккей досліджує фінансові бульбашки, релігійні хрестові походи, полювання на відьом, алхімію та інші колективні манії. Книга сповнена яскравих анекдотів, а її аналіз економічних бульбашок вважається провісницьким — йому приписують допомогу фінансистам у передбаченні ринкових крахів.

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

Європейські уряди впроваджують цифрові ID-гаманці для доступу до держпослуг, але їхня безпека зав’язана на Google Play Integrity API та Apple Attestation. Це виключає користувачів альтернативних операційних систем (e/OS, GrapheneOS) і примусово розширює контроль Google та Apple навіть там, де його не повинно бути. Попри цілі технологічного суверенітету та вимоги DMA, окремі країни на кшталт Нідерландів та Італії вже заклали залежність від чужих платформ у державну інфраструктуру, хоча існують відкриті апаратні механізми перевірки.

Здається, боротьба з монополіями у ЄС закінчується там, де починається зручне держзамовлення під ключ від Google і Apple.

Верховний суд США своїм рішенням скасував 90-річний прецедент, який захищав керівників незалежних регуляторних агентств від звільнення президентом без вагомих причин. Тепер президент отримує майже необмежену владу над третиною федерального уряду, включно з можливістю звільняти не лише керівників, але й аполітичних експертів нижчого рівня. Рішення спирається на теорію унітарної виконавчої влади, де вся повнота контролю належить президенту. Водночас у паралельному рішенні суд захистив незалежність Федеральної резервної системи, відмовившись звільнити члена ради керуючих Лізу Кук без доведених фактів порушень.

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

Copybara — інструмент для переміщення й трансформації коду між Git-репозиторіями, який використовується в Google. Він вимагає вибору одного авторитетного репозиторію, а стан зберігає безпосередньо в комітах цільового репозиторію, тож не потребує зовнішньої бази даних. Підтримується імпорт змін із зовнішніх джерел, експериментальна робота з Mercurial, а збирається за допомогою Bazel та поширюється у вигляді готових jar-файлів.

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

Бальдассаре Форестьєре, сицилійський іммігрант, протягом 40 років (1906–1946) вручну видовбав у твердому ґрунті Фресно (Каліфорнія) серію підземних кімнат, рятуючись від літньої спеки. З часом він перетворив свій притулок на унікальний підземний сад із 65 приміщеннями на трьох рівнях, де крізь конусоподібні світлові люки вирощував різноманітні фруктові дерева. Ця пам'ятка народної архітектури внесена до Національного реєстру історичних місць США.

Google Research представили TabFM — zero-shot foundation model для табличних даних, який виконує класифікацію та регресію без жодного навчання, підбору гіперпараметрів чи ручного feature engineering. Модель використовує in-context learning і гібридну архітектуру з почерговою увагою до рядків та стовпців, а навчена повністю на сотнях мільйонів синтетичних таблиць, згенерованих structural causal models. На бенчмарку TabArena вона перевершує ретельно налаштовані XGBoost та інші класичні алгоритми. Невдовзі TabFM буде доступний прямо в Google BigQuery через звичайний SQL-запит AI.PREDICT.

Трішки іронічно, що “zero-shot” тут означає попереднє згодовування сотень мільйонів синтетичних таблиць, але в production це справді виглядає як магія.

Anthropic відновлює глобальний доступ до Claude Fable 5 після консультацій з урядом США та оснащує модель новими класифікаторами для блокування завдань із кібербезпеки. Найближчим часом частина рутинних операцій, як-от кодування та налагодження, тимчасово переадресовуватиметься на Opus 4.8. Також компанія починає розробку спільної рамки з Amazon, Microsoft, Google та іншими партнерами для оцінки серйозності jailbreak’ів і реагування на них, а також розширює співпрацю з урядом у тестуванні моделей та обміні інформацією про вразливості.

Тіньовий ринок хабарів процвітає всередині Amazon: посередники через месенджери пропонують продавцям, яких заблокували або оштрафували, доступ до внутрішніх даних і вплив на працівників за гроші. Історія винахідника Bed Scrunchie Джека Нехали демонструє, як компанія ігнорує надані докази — його акаунт заморозили, а співробітник, який злив інформацію, уже звільнився за інші порушення. Проблема загострюється через аутсорсинг у країни з низькими зарплатами та обмеженою співпрацею з правоохоронцями, що робить внутрішню корупцію майже безкарною.

Попри це Amazon далі заробляє по $7 комісії з кожного продажу Bed Scrunchie, демонструючи, що чистка власних лав не є пріоритетом, доки гроші капають.

Postgres 19 у беті пропонує широкий набір покращень: вбудований `REPACK CONCURRENTLY` для перебудови таблиць без блокувань, можливість зливати й розділяти партиції, зрілішу логічну реплікацію з синхронізацією послідовностей та `EXCEPT` для публікацій, а також розумніший autovacuum із паралельними воркерами й новою системою пріоритетів. З’являються запити до графів властивостей (SQL/PGQ) прямо на реляційних даних, покращення `COPY` (пропуск заголовків, `ON_ERROR SET_NULL`, вивід у JSON) та SQL-зручності на кшталт `GROUP BY ALL` і `IGNORE NULLS` у віконних функціях, плюс десятки оптимізацій планувальника й виконання.

В окрузі Хенріко, штат Вірджинія, де розташовано 37 дата-центрів, місцева влада попросила працівників шкіл та держустанов економити електроенергію — вимикати світло, комп’ютери та обігрівачі через очікуване зростання тарифів на 25% (близько $5 млн додаткових витрат наступного року). Розширення дата-центрів, які часто живляться дизель-генераторами, перекладає фінансовий тягар на пересічних платників податків, попри обіцянки забудовників компенсувати навантаження на мережу.

Тепер дата-центри заощаджують на генерації, а школи — на вчительських обігрівачах: ідеальний розподіл відповідальності.

Організація Waag Futurelab перенесла свої дані з Bluesky на власний Personal Data Server (PDS) європейського провайдера Eurosky, щоб отримати більше контролю над обліковим записом і зменшити залежність від централізованої інфраструктури платформи. Bluesky критикують за фінансування венчурним капіталом і модель акціонерів, що суперечить обіцяній децентралізації, тоді як Eurosky працює в межах європейського законодавства про приватність. Попри це, Waag продовжує віддавати перевагу Fediverse — власний сервер Mastodon лишається для них ключовим.

ZLUDA отримала підтримку 32-бітного PhysX, що дозволяє запускати старі ігри з фізичними ефектами на AMD GPU, та базову роботу з текстурами, якої вистачило для запуску Blender. Покращено підтримку Windows — тепер завантажувач автоматично підтягує бібліотеки продуктивності та зрозуміліше повідомляє про їх відсутність. Додано багато виправлень для машинного навчання, випущено версію 6, а проект повернувся до статусу хобі після припинення комерційного фінансування.

Схоже, що найкращі речі в ZLUDA з’являються, коли розробник просто розважається у вихідні.

Частка праці в доходах США після пандемії впала до історичного мінімуму, але динаміка цього падіння — різке зростання під час рецесії, спад у відновленні й подальша стабілізація — збігається з циклічними моделями до 2000-х років. На відміну від рецесій 2000-х, після COVID частка праці не зазнала глибокого й безповоротного провалу, хоча ще не встигла відновитися через короткий період експансії. Основною причиною зниження виявилися внутрішньогалузеві зміни (наприклад, зменшення оплати праці відносно випуску в межах тих самих секторів), а не перерозподіл економічної активності між галузями.

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

Автор портував частину Kubernetes у браузер (webernetes) на TypeScript, згенерувавши майже 100 тисяч рядків коду за допомогою LLM і ретельно перевіривши кожен рядок та написавши сотні тестів, які порівнюють поведінку з реальним k3s-кластером. Проєкт не компілював Go у WebAssembly, а відтворив kubelet, контролери, мережу та середовище виконання контейнерів у браузері для інтерактивного навчання. Автор показує, що суцільний людський огляд і тести дозволяють отримати «не-halturnий» код навіть при масштабній генерації.

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

У твіті стверджується, що Anthropic вбудувала в Claude Code прихований код, який непомітно для користувачів з Китаю додає до системного промпту метадані — часовий пояс, проксі та ймовірні зв’язки з AI-лабораторіями. Такий крок розцінюється як серйозне порушення довіри, адже агент з доступом до репозиторіїв і команд не повинен потай вшивати маршрутну інформацію без відома користувача.

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

Meta запроваджує для своїх розумних окулярів так звані "rate limits" та м'який paywall: функція Conversation Focus, що підсилює голос співрозмовника в шумному середовищі, тепер обмежена трьома годинами на місяць без підписки Meta One Premium за $19.99. Журналіст виявив, що ця функція працює локально на чіпах окулярів і не потребує інтернет-з'єднання, тож обмеження виглядає штучним. Компанія пояснює це бажанням компенсувати витрати на AI, але фактично пропонує платити за апаратну можливість вже купленого пристрою.

Схоже, скоро заряд батареї теж вийде в paid DLC — хоча б сонце поки що світить безплатно.

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

Дослідники покращили продуктивність mLSTM у задачі noisy associative recall (NAR), застосовуючи ортогоналізацію матриці пам’яті під час зчитування (через ітерації Newton–Schulz). У синтетичних експериментах MAD ортогоналізована версія значно перевершила базову за точністю, а розрив зростав у складніших режимах із більшим словником і довшими послідовностями. Оновлена пам’ять не записувалася назад — ортогоналізація використовувалася лише для зчитування, що виявилося критичним для результату.

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

У Токіо залишилося лише два виробники ячмінного чаю муґітя, і репортери відвідали одного з них — компанію Ogawa Sangyo. Виявилося, що напій не містить чайного листя: його роблять із двічі обсмаженого ячменю, причому обсмажування проводять у печі з піском — це нагадує традиційний спосіб приготування солодкої картоплі та забезпечує рівномірне пропікання зерен. Для більш насиченого смаку компанія змішує два сорти ячменю.

Цікаво, що самі обсмажені зерна за смаком нагадують попкорн і цілком могли б бути окремою закускою.

1 липня 2026 року arXiv стає незалежною некомерційною організацією після 25 років перебування в Cornell University. Для авторів і читачів перехід буде майже непомітним: сервіс залишиться безкоштовним для читання та подання робіт. На окремій FAQ-сторінці з’явиться інформація про нове керівництво та управління, а в найближчих блогах — про 3-мільйонну віху подань, нового інженерного директора та оновлення політики щодо статей, створених за допомогою AI.

Цікаво, як зміниться модерація препринтів, коли arXiv матиме більше організаційної гнучкості.

Rootly запровадив програму Save & Share, за якою будь-який співробітник може отримати грошову винагороду — відсоток від річної економії, якщо знайде та реалізує спосіб зменшити витрати на інфраструктуру чи SaaS. Перший кейс: інженер додав lifecycle policies до репозиторіїв ECR, що зекономило компанії близько $44K на рік, і отримав за це $3,080. Мета — зробити оптимізацію витрат не менш важливою, ніж розробка фіч, і перетворити її з «позапланової волонтерської роботи» на легітимний інженерний результат.

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

tenferro-rs — це новий Rust-стек для щільних тензорів, який виник з переходу команди tensor4all з Julia на Rust для наукових обчислень у великих кодових базах. Він пропонує PyTorch-стиль eager autodiff, JAX-стиль traced transforms, підтримку einsum, FFT, CPU/CUDA бекенди та динамічні форми без перекомпіляції — те, що критично для адаптивних тензорних мереж. Головний аргумент за Rust: коли левову частку коду пишуть AI-агенти, важливішою стає перевірка коректності на етапі компіляції, а не швидкість написання людиною. Для цього ж створено окремі автоматичні оракули та бенчмарки, які перевіряють похідні й продуктивність незалежно від самої бібліотеки.

Якщо ви думали, що Rust надто складний для наукових прототипів, то виявилося, що агентам байдуже, а ви тепер можете спати спокійніше — принаймні до моменту, коли AI навчиться самостійно переконувати вас, що “воно й так правильне”.

Anthropic представила Claude Sonnet 5 — найбільш агентну модель лінійки Sonnet, яка здатна автономно планувати, використовувати інструменти (браузери, термінали) та виконувати складні задачі з кодингу, наближаючись до продуктивності Opus 4.8 за нижчою ціною. Модель доступна в усіх тарифних планах (включно з Free) зі стартовою ціною $2/$10 за млн вхідних/вихідних токенів до кінця серпня 2026 року, після чого вартість зросте до $3/$15. За оцінками безпеки, Sonnet 5 демонструє менше небажаної поведінки, ніж Sonnet 4.6, але через трохи вищий рівень часткового успіху в розробці експлойтів кіберзахист увімкнено за замовчуванням.

Примітно, що безкоштовний тариф одразу отримав модель, яка за деякими задачами не поступається значно дорожчому Opus 4.8.

Компанія Conception вперше отримала ранні людські яйцеклітини (primary oocytes) з індукованих плюрипотентних стовбурових клітин, взявши зразок крові. З цих клітин виростили міні-яєчники, в яких сформувалися фолікули з ооцитами, що почали мейоз і активували ключові гени яйцеклітини. До зрілих яйцеклітин ще потрібен етап дорощування, але це значний крок до IVG для людей — технології, яка потенційно дозволить створювати необмежену кількість яйцеклітин без гормональної стимуляції.

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

Міністерство торгівлі США зняло експортні обмеження з моделей Claude Fable 5 та Mythos 5. Anthropic повідомила, що почне відновлювати доступ до них уже завтра, і незабаром надасть детальніший апдейт. Компанія подякувала користувачам за терпіння та всім причетним до перерозгортання моделей.

Meta представила Brain2Qwerty v2 — систему, яка декодує речення з неінвазивних записів мозку (MEG) без хірургічного втручання. Вона навчена на 22 000 речень за допомогою end-to-end deep learning та fine-tuning великих мовних моделей на нейронних даних для покращення контексту. Точність розпізнавання слів зросла з 8% у інших неінвазивних методів до 61%, а для найкращого учасника — до 78%, причому половина речень декодуються з однією помилкою або менше. Meta випускає код, датасети та інструменти на кшталт NeuralBench, сподіваючись прискорити відкриті дослідження мозку.

78% точності без шматка металу в голові — непогано, але цікаво, чи врятує це від ситуацій, коли внутрішній монолог "лише б не ляпнути зайвого" стає публічним.