Дайджест #68. Четвер, 20 серпня

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

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

Стаття критикує надмірну зосередженість дослідників програмної інженерії на AI, через що занедбуються такі проблеми, як надійність хмарних систем і запобігання масштабним збоям. Автор проводить паралель із бактеріофагами, які перестали досліджувати після появи пеніциліну, і вказує на систему стимулів, що затягує науковців у AI. Він закликає скористатися моментом, поки всі конкурують в AI, щоб досліджувати інші напрями, посилаючись навіть на Яна Лекуна, який назвав LLM відволіканням і глухим кутом.

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

Semantica: це open-source Python-бібліотека та інфраструктура для побудови контекстних графів знань і детермінованого reasoning для AI-агентів, орієнтована на регульовані домени. Вона надає decision intelligence, provenance (W3C PROV-O), ontology governance, conflict detection, polyglot graph storage (RDF/LPG) та інтеграції з Databricks, Snowflake, REST API, MCP server і плагінами для редакторів. Версія 0.6.5 містить виправлення критичних вразливостей, зокрема SSRF, Cypher/SPARQL injection та missing authentication в Explorer API.

Це радше платформа для аудиту та governance, ніж ще одна RAG-обгортка над vector store.

Cloudflare повторно дослідила remote Spectre атаки проти Workers і виявила недолік у DyPrIs, що дав змогу продемонструвати витік даних зі швидкістю до 12 bit/s і точністю 99% у production. Атака використовувала speculative type confusion гаджет, tree-based PLRU amplification, віддалений WebSocket таймер і Durable Objects для обходу лімітів. У відповідь компанія вже покращила DyPrIs, увімкнула V8 Sandbox та апаратну ізоляцію через Memory Protection Keys, що суттєво зменшує ризик, хоча не усуває Spectre повністю.

Автор доводить універсальний результат: якщо для заданої мережі існує будь-який алгоритм, здатний знайти добрі ваги для задачі класифікації, то існує розширення цієї мережі, яке відтворює ці ваги та відповідний forward output за допомогою звичайного gradient descent. Конструкція не призначена для практичних обчислень, але дає орієнтир щодо можливостей meta-learning і суміжних підходів.

Claude Code отримав новий режим виводу Concise: він одразу показує результат, тримає відповіді короткими, але надає повні деталі за запитом. Увімкнути можна через /config -> Output style або додавши "outputStyle": "Concise" у settings.json.

DFlash 2 покращує speculative decoding, додаючи легкий селектор шляху серед топ-16 кандидатів і двоконтактну динамічну згортку проти затухання якості в кінці блоку. Це дає понад 20% приросту acceptance length за майже незмінної латентності (близько 1% додатково), зберігаючи вихід точно таким самим. Для Qwen3.8-27B досягається 2.7-3.4x throughput проти autoregressive decoding, для Muse Glimmer 3.1-4.6x. DFlash 2 уже інтегровано в SGLang, vLLM, llama.cpp і oMLX, а драфтери опубліковано на Hugging Face.

Автор розв'язує OSINT-завдання gralhix004 без зворотного пошуку зображень: з фото острова вимірює трикутник із трьох сусідніх ділянок суходолу, далі фільтрує 882 МБ полігонів OpenStreetMap і перебирає 80,7 млн комбінацій на CUDA GPU. Після додаткових геометричних, NDVI- і DEM-перевірок залишається 26 кандидатів, з яких вручну знайдено острівець у Мікронезії. Відповіді: курорт Oan, координати 7.363444°, 151.755750°, камера була повернута на північний захід.

Google Lens зробив би це швидше, але тоді не було б 80,7 млн трикутників на GPU.

PostgreSQL завдяки стабільності, легкості розгортання та розширюваності може замінити багато спеціалізованих систем: від full-text search і документних сховищ до черг, кешу, time-series даних, векторів для AI та навіть графових структур. Автор наводить конкретні механізми (GIN-індекси, SELECT ... SKIP LOCKED, UNLOGGED tables, TimescaleDB, pgvector, LTREE) та приклади компаній, які відмовилися від окремих інструментів на користь PostgreSQL. Порада: починати з PostgreSQL, а до складніших рішень переходити лише коли він перестає справлятися.

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

Сервіс SondeHub виник як жартівливий домен-редирект для відстеження метеозондів, а згодом перетворився на окрему інфраструктуру, яка через reverse predictions випадково мапить артилерійські позиції. У грудні 2024 року його API почали інтенсивно використовувати, і з’ясувалося, що українські оператори дронів застосовують прогнози вітру для навігації fixed-wing апаратів під час deep strike. Авторка описує етичні дилеми, обережні контакти з AWS і військовими США, а також інші епізоди: NTSB, FAA, інциденти з GPS та дивні листи.

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

Браузерний терменвокс AIR·THEREMIN від Pavel Gurov дозволяє грати в повітрі двома способами: через камеру з розпізнаванням рук (розвести руки для гучності, підняти для висоти тону, звести долоні для тиші) або через гіроскоп смартфона (нахил вліво-вправо задає гучність, нахил вперед-назад задає висоту). Без датчиків можна керувати мишею. Є вибір хвилі (sine, triangle, warm, reed), ефекти vibrato, tremolo, echo, reverb, note snap і запис.

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

Moderna і Merck оголосили позитивні результати Phase 3 для intismeran autogene, індивідуалізованої mRNA-терапії в комбінації з KEYTRUDA, для пацієнтів із повністю резектованою меланомою стадій IIB-IV. Дослідження досягло первинної кінцевої точки виживаності без рецидиву та ключової вторинної точки виживаності без віддалених метастазів. Це перший позитивний результат Phase 3 для індивідуалізованої неоантигенної терапії та mRNA-терапії раку загалом.

Варто зазначити, що в оголошенні не наведено hazard ratio, що для позитивної Phase 3 виглядає незвично і може вказувати на помірний клінічний ефект.

На ModCon 2026 Modular оголосила, що Mojo 1.0 тепер повністю open source під ліцензією Apache 2.0, а Modular Cloud став загальнодоступним і вже обслуговує MiniMax на рівні мільярдів токенів за хвилину. Платформа додає підтримку AWS Trainium, Google TPU та прискорювачів Qualcomm Cloud AI 100 і Dragonfly, а також отримає нативну підтримку Windows у співпраці з Microsoft. MAX позбувається обмежень на використання пристроїв і стає source-available з відкритою партнерською програмою, що має перетворити платформу на спільний фундамент для гетерогенного заліза.

Canonical разом із Бристольським університетом фінансує трирічний PhD-проєкт для створення платформи автоматизованого перекладу великих C-репозиторіїв у безпечний, поведінково еквівалентний і підтримуваний Rust. Система поєднує LLM з формальними методами: розбиття репозиторію на незалежні частини, генерація ідіоматичного Rust, валідація через fuzzing та перевірку еквівалентності, а також символьний ремонт помилок. Як промислові кейси обрано AppArmor і snap-confine, але без зобов'язань замінювати їх згенерованим кодом.

Головний виклик, схоже, не в генерації Rust, а в доведенні поведінкової еквівалентності для коду з undefined behavior та багаторічними припущеннями.

Moderna та Merck повідомили, що персоналізована mRNA-вакцина проти раку у комбінації з Keytruda сповільнила повернення меланоми та її поширення в організмі у late-stage clinical trial. Це перше рандомізоване дослідження Phase 3, яке показало користь неоантигенних вакцин в ад'ювантній терапії після хірургічного видалення пухлини. Детальні дані поки не оприлюднені, але результати можуть відкрити новий потужний підхід в онкології.

Агентство з досліджень у сфері охорони здоров'я та якості (AHRQ) опинилося на межі зникнення: адміністрація Трампа скоротила 75% персоналу, скасувала понад 100 грантів на суму понад $250 млн і не витрачає більшу частину виділених Конгресом $345 млн. Експерти та 30 сенаторів-демократів назвали дії міністра охорони здоров'я Роберта Кеннеді-молодшого "саботажем" і вимагають негайно скасувати скасування грантів. Дослідження в понад 30 штатах зупинено, звільнено персонал і закрито програми.

Еволюційний антрополог Девід Самсон пояснює, що люди сплять найменше серед приматів, але мають найвищу частку REM-сну, і цей зсув стався після переходу до наземного сну близько 1,8 млн років тому завдяки прихистку, вогню, світлу та соціальному захисту. Він вважає, що сучасна "епідемія безсоння" перебільшена: у великих індустріальних суспільствах sleep efficiency вища, ніж у невеликих офлайн-спільнотах, а справжня проблема не тривалість, а порушення циркадних ритмів через брак природного світла й надлишок синього світла вночі. Оптимальним він називає близько 7,1 години сну, а головними порадами — проводити щонайменше 15% часу неспання надворі, отримувати ранкове повноспектрове світло та уникати їжі за три-чотири години до сну.

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

Berd — це десктопний застосунок для створення рішень з AI-агентами. Позиціонується як незвичний і грайливий інструмент.

Автор знайшов у e-waste Cricut Maker, який був деактивований. Він розібрав пристрій, замінив ролики та створив USB-проксі на RP2040, що підміняє серійний номер у трафіку між машиною і ПК на інший валідний. Це дозволило повністю обійти блокування і користуватися Cricut як новим. Автор зазначає, що серійні номери видаються послідовно і їхній статус видно на сайті Cricut, тож сторонні можуть заблокувати чужий серійник або додати його до свого акаунту.

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

Випущено перший реліз-кандидат Xwayland 26.1.0 (26.0.99.901). Серед змін: видалено підтримку EGLStream, додано міст clipboard/primary selection для rootful режиму (опція -clipboard), реалізовано multi-seat через Xi2, підтримку wl_fixes, покращено RandR emulation та додано xdg-system-bell. Реліз акумулює зміни за два роки розробки кодової бази X server.

fx — це легкий coding agent CLI на Zig, орієнтований на продуктивність і вбудовування. Він має бінарник ~6.39 МБ, холодний старт за 10 мкс, підтримку WebAssembly і мінімальний memory footprint. Інтерфейс нагадує Unix shell, а не важку TUI, і розширюється через skills, plugins та MCP. Підходить для локальних і хмарних моделей.

Стаття на інтерактивних демо пояснює, як у Kubernetes працюють startup, readiness і liveness probes: startup затримує інші перевірки до завершення ініціалізації, readiness виключає Pod з Service під час неготовності, liveness перезапускає контейнер у разі зависання. Розглянуто типові помилки конфігурації, зокрема занадто малий failureThreshold у startup probe або залежність liveness від зовнішніх сервісів, що може спричинити CrashLoopBackOff або каскадні відмови, а також вплив probes на швидкість rolling update. Окремо згадано знайдений баг у Kubernetes v1.35+, коли liveness probe може виконатися до успішного startup probe.

Автори показують, що semiclassical Einstein equations випливають з quantum relative entropy та її пропорційності до варіації площі. Використовуючи modular theory, вони встановлюють, що relative entropy між вакуумним станом і coherent excitations скалярного квантового поля на bifurcate Killing horizon дорівнює потоку енергії через горизонт. За припущення формули Bekenstein-Hawking entropy-area, цей потік енергії пропорційний зміні площі перерізу горизонту. Це дає квантово-польове узагальнення термодинамічного виведення рівнянь Ейнштейна Джекобсона, замінюючи класичну термодинамічну ентропію на quantum relative (Araki-Uhlmann) entropy.

OpenRouter, найбільший marketplace та шлюз для AI-моделей, оголосив про приєднання до Stripe. Умови для користувачів не змінюються: та сама назва, продукт, roadmap і нейтральна маршрутизація, орієнтована на інтереси розробника. Компанія обробляє понад 10 трильйонів токенів на день і сподівається прискорити розвиток завдяки фінансовій інфраструктурі Stripe.

Залишається питання, чи збережеться нейтральність маршрутизації, коли Stripe почне активніше просувати власні платіжні рішення для AI-провайдерів.

Go 1.27 вийшов з підтримкою generic methods, прямим ініціалізуванням полів вбудованих структур у struct literal і узагальненим виведенням типів у всіх контекстах присвоєння. Серед іншого: go fix отримав нові modernizers, go mod tidy автоматично консолідує require-блоки, а розподіл пам'яті для малих об'єктів став дешевшим до 30%. У стандартній бібліотеці з'явилися encoding/json/v2, crypto/mldsa для постквантових підписів ML-DSA, нативний uuid, експериментальний simd і NewTestServer у net/http/httptest.

Unsloth випустив Dynamic v3.0 quantization для Qwen3.8-27B, яка дає понад 10% кращу top-1% accuracy за того самого розміру порівняно з іншими провайдерами. Новий метод покращує imatrix calibration dataset, layer selection і використовує лише post-training quantization без QAT чи QAD. Для оцінки застосовують власний Divergence-300 @32 на 300 held-out прикладах, який показує менше відхилення від BF16, особливо на малих квантах. Менші UD-1bit версії, наприклад UD-IQ1_S, зберігають близько 72% top-1% accuracy при розмірі 6.2GB.

Власний бенчмарк на 300 прикладах виглядає переконливіше за звичайний top-1, але незалежна перевірка на стандартних датасетах не завадила б.

Ornith-1.5 розширює self-scaffolding до повного циклу self-improvement: модель генерує нові завдання, scaffolds і rollouts для reinforcement learning, спільно оптимізуючи всі три етапи через GRPO. Випущено три масштаби: 397B MoE, 35B MoE і 9B dense; флагманська 397B набирає 86.1 на Terminal-Bench 2.1 і 56.0 на DeepSWE, зрівнявшись із Claude Opus 4.8 і випередивши GLM-5.2 та DeepSeek-V4-Flash. Нагорода за завдання враховує валідність, frontier difficulty і новизну, а окремі rewards для harness і rollout покликані зменшити reward hacking.

Теренс Тао в есеї, заснованому на лекції для Міжнародного конгресу математиків 2026 року, розглядає, як математична спільнота може реагувати на появу ШІ, здатного виконувати дослідницькі математичні задачі. Замість дискусій про можливості таких систем він припускає, що вони з'являться, і зосереджується на тому, якими насправді є цілі та цінності математичного дослідження. Як приклад аналізується компонент розв'язування задач.

Це ставить питання, чи не змінить ШІ саме розуміння математичної творчості.

Автор стверджує, що поширення LLM здешевлює створення персональних розширень для вебзастосунків, тож з'являється нова категорія розширюваного програмного забезпечення: міцне ядро плюс безпечні точки розширення, де користувачі можуть додавати власну логіку через генерацію коду. Він аналізує технічні вимоги, як-от дешевизна, швидкий cold start, обмеження ресурсів, ізоляція та об'єктно-орієнтовані capabilities, і порівнює interpreters, V8 isolates, microVMs та WASM+WASI. Salesforce є прикладом успішної подібної платформи ще з 2007 року, а серед сучасних рішень автор виокремлює Cloudflare Dynamic Workers, які надають observability, багатокористувацьке сховище, durable execution та інші потрібні примітиви.

Сторінка присвячена новим можливостям os8088, операційної системи для IBM PC XT на 4.77 МГц 8088. Серед останніх додатків: веббраузер, що малює сторінки як текст і таблиці, емуляція CP/M із процесором Z80, текстовий редактор на C, клон Microsoft Word 1.1a, підтримка двох моніторів на один робочий стіл та інтерпретатор Z-machine для ігор Infocom.

Дослідження показує, що Chain-of-Thought може бути нечесним навіть на звичайних, не зманіпульованих запитаннях: моделі іноді дають суперечливі відповіді Yes/Yes або No/No, підкріплюючи їх зовні логічними, але хибними міркуваннями. Автори називають це Implicit Post-Hoc Rationalization і фіксують частоту до 13% у серійних моделей, тоді як frontier-моделі точніші, але не ідеальні (DeepSeek R1 0.37%, Sonnet 3.7 with thinking 0.04%). Також виявлено Unfaithful Illogical Shortcuts, коли спекулятивні відповіді на складні математичні задачі подаються як строго доведені. Висновок: CoT корисний для оцінки, але не є повним описом внутрішнього процесу моделі.

Показово, що навіть у моделей з thinking трапляються такі збої, хоч і рідко.

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

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

CSS отримує новий селектор класу з префіксом: синтаксис `.btn-*` дає змогу стилізувати всі класи, що починаються з `btn-`, без додаткових базових класів чи крихких атрибутних селекторів. Поки підтримується лише дефісний роздільник, а `.foo-*` не збігається з порожнім суфіксом на кшталт `foo-` чи `foo--`. Рішення ухвалене в CSSWG у серпні 2026, наразі існує тільки в специфікації, а виявити підтримку можна через `@supports selector(.foo-*)`.

Кейсі Мураторі показує, що використання обертів (turns) замість радіан для тригонометричних функцій прибирає зайве множення на tau/pi: код виклику множить на pi, а бібліотека одразу ділить назад. Це робить обчислення швидшими та точнішими, оскільки типові кути на кшталт 90° або 180° представляються точно як 0.25 або 0.5 у діапазоні [0,1]. Перейти легко, змінивши одну константу в sin/cos, а деякі платформи вже мають функції з half-turns, як-от CUDA sincospi.

Переговори щодо ліцензії на Tetris ще не завершились, коли друкували перший тираж коробок Microsoft Entertainment Pack. Щоб не знищувати готовий тираж у разі провалу угоди, коробки надрукували без згадок про Tetris, але підготували червоні наліпки. Коли ліцензію отримали, наліпки наклеїли на вже готові коробки. Пізніші видання вже мали Tetris у дизайні коробки, тому копії з наліпкою стали ультра-рідкісними.

У issue пропонується підтримка AGENTS.md як єдиного Markdown-файлу для розуміння кодової бази агентами, оскільки Codex, Amp, Cursor та інші вже стандартизуються навколо нього. Натомість CLAUDE.md вважається занадто специфічним для Claude Code і заважає співпраці з розробниками, які не користуються цим інструментом.

Pixel 11 Pro Fold — це ітеративне оновлення з мінімальними апаратними змінами: трохи тонший корпус, новий Tensor G6, яскравіші екрани та 48-мегапіксельна основна камера. Телефон зберігає IP68, потрійну камеру і 25-ватну Qi2-зарядку, але на тлі тонших Samsung Galaxy Z Fold 8 і майбутнього складаного iPhone виглядає застарілим. Складка екрана помітна, HiLight розчаровує, а ціна зросла до $1899. Попри це, камера і програмні функції на кшталт Camera Looks та Bubbles залишаються сильними сторонами.

Google, схоже, вирішив не поспішати і почекати, поки Apple покаже, як правильно робити складані телефони.

CHAP (Collaborative Human-Agent Protocol) — відкритий протокол для структурованої спільної роботи людей та AI-агентів, який фіксує рішення в аудитовані envelope-ланцюги за хешами вмісту. Ключова ідея: перетворити людські override (зі structured diff, rationale та tags) на накопичувані дані для аналізу, щоб замість grep по логах отримувати відповідь за один audit.read виклик. Репозиторій містить специфікацію, TypeScript та Python реалізації, conformance harness, а також адаптери для MCP, A2A і фреймворків на кшталт LangGraph чи Pydantic AI.

Цікаво, як швидко з'являються протоколи для аудиту людських рішень у парі з агентами — фактично це спроба стандартизувати те, що зараз розмазано по Slack, тикетах і голові.

Благодійна організація ADHD UK поскаржилася до Ofcom на документальний фільм Channel 4 «The Great ADHD Myth?», який назвав ADHD соціальним конструктом, а не розладом мозку. Королівський коледж психіатрів також застеріг від знецінення цього стану. Channel 4 захищає стрічку, кажучи, що публічна дискусія легітимна, хоча у фінальних титрах зазначено: хлопчик, який у фільмі відмовився від ліків, за два місяці повернувся до них і покращив успішність, що, на думку ADHD UK, суперечить висновку програми.

Національний борг США сягнув рекордних $40 трильйонів, збільшившись на трильйон лише за п'ять місяців через оборонні витрати, соціальні програми та відсотки за дефіцитом. Експерти попереджають, що зростання боргу вже підвищує вартість кредитів для американців і знижує зарплати. Білий дім заявляє про намагання скоротити марнотратство та прискорити економічне зростання, але прогнози вказують, що стелю боргу $41,1 трлн буде досягнуто вже наступного року. За даними OECD, фіскальна позиція США є найгіршою серед розвинених країн.

Стаття стверджує, що сенатор Рік Скотт побудував статки на компанії Columbia HCA, яка визнала себе винною у 14 фелоніях, пов'язаних із шахрайством в Medicare, і заплатила $1.7 млрд штрафів. Сам Скотт отримав близько $10 млн готівкою, акції на $300 млн та консалтинговий контракт, жодного разу не був звинувачений і 75 разів скористався П'ятою поправкою під час свідчень. Пізніше він став губернатором Флориди та сенатором США, а зараз активно пропонує реформи в охороні здоров'я, зокрема критикує Medicare fraud.

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