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

PrismML представили Bonsai 27B — першу 27B-модель, що вміщується на телефоні завдяки 1-бітному (3,9 ГБ) і тернарному (5,9 ГБ) квантуванню ваг. У бенчмарках вона зберігає 90–95% якості повної точності в математиці, коді, викликах інструментів, інструкціях та мультимодальних задачах. Це уможливлює локальне виконання складних агентних робочих циклів із нульовою маржинальною вартістю та без витоку приватних даних. Модель уже доступна під Apache 2.0, а також через безплатне API для розробників.

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

Ця метафора могла б стати гарним доповненням до розмов про tech debt — ми не бачимо проблеми, поки вона не стає критичною, але тоді вже надто пізно.

Dependabot тепер за замовчуванням додає триденну затримку перед відкриттям pull request для оновлення версій пакетів — це зменшує ризик потрапляння скомпрометованих релізів через supply chain атаки. Безпекові оновлення, як і раніше, надсилаються миттєво, а період cooldown можна змінити або вимкнути в `.github/dependabot.yml`. Нововведення діє на github.com і буде включене до GitHub Enterprise Server 3.23.

У статті описано, як через хук `MessageDisplay` у Claude Code автоматично підміняти набридливі фрази (на кшталт «load-bearing», «honest take», «you’re absolutely right») на безглузді альтернативи за допомогою простого Python-скрипта. Скрипт перехоплює вивід моделі, змінює задані слова за регулярками і повертає очищений текст. Налаштування зводиться до додавання скрипта у `~/.claude/hooks/` і запису в `settings.json`.

Схоже, найкращий спосіб подолати дратівливу ввічливість Claude — перетворити його на генератор кринжу.

У США зафіксовано спалах циклоспорозу — паразитарної інфекції, що спричиняє часті, водянисті та «вибухові» діареї. За попередніми даними CDC, майже 7000 людей у 34 штатах могли заразитися через заражену їжу або воду, причому найбільше випадків у Мічигані та Огайо. Джерело спалаху досі не ідентифіковане, хоча минулі пов’язували зі свіжою зеленню, ягодами чи салатними сумішами. Летальних випадків немає, але кількість хворих, імовірно, зростатиме.

ClickHouse випустила розширення pg_re2 для PostgreSQL, яке реалізує швидкі регулярні вирази на основі бібліотеки RE2. У бенчмарках воно демонструє прискорення від 1.8 до 8.6 разів порівняно зі вбудованими POSIX-регексами Postgres, особливо на операціях extract_all, та підтримує індексацію через btree і GIN. Окрім швидкості, розширення забезпечує сумісність із синтаксисом регулярних виразів ClickHouse, що усуває розбіжності при використанні foreign data wrapper pg_clickhouse для аналітичних запитів.

Тепер у вас дві проблеми — зате одна з них швидша.

Аналіз honeypot-даних із Sourceware через Anubis показав, що 80–90% scraping-трафіку надходить із IP, відсутніх у базах загроз. Ймовірно, це результат компрометації smart appliances, які використовують для створення глобальних проксі-мереж. Дані охоплюють більшість країн і підтверджують необхідність веб-фаєрволів на кшталт Anubis.

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

При реєстрації на швейцарському державному порталі AGOV автор зіткнувся з тим, що не міг ввести код підтвердження — поле накопичувало цифри й видавало помилку. Розслідування показало, що JavaScript-обробник вводу відкидав модифікатор Shift, а на клавіатурі AZERTY (французька розкладка) цифри вводяться саме через Shift. Баг не проявлявся на QWERTY/QWERTZ, тому розробники його не помітили; автор обійшов проблему, тимчасово змінивши розкладку.

Урядова система, яка має підтримувати чотири офіційні мови, ламається через французьку клавіатуру — іронія на рівні «зробімо складний UI, але забудьмо про реальний світ».

Цифрова втома змушує людей публікувати менше (55% опитаних), обмежувати аудиторію (53%) та видаляти стресогенні застосунки (47%). Підтримка онлайн-присутності сприймається як робота, а політична поляризація підштовхує до відсторонення. Відключення приносить спокій, але й тривогу, особливо для молоді. Головним тригером повністю покинути соцмережі респонденти назвали загрозу приватності.

Автор пропонує концепцію «Guardian Angels» — глибоко персоналізованих LLM, які постійно донавчаються на особистих даних користувача, емулюють його стиль і цінності, аби радикально підвищити продуктивність та захистити від дедалі потужніших кіберзагроз. На відміну від стандартних чат-ботів із фіксованою особистістю, GA використовують dynamic evaluation, активне навчання через запити до людини та ансамблі моделей, що дозволяє уникати mode collapse і фатальних помилок. Це розв’язує проблему принципал-агент, перетворюючи користувача на «CEO» власної екосистеми ШІ-агентів, які беруть на себе рутину, залишаючи людині лише стратегічні рішення. Окремо розглянуто технічні рішення (continual learning, over-parameterization, preference learning), UX на основі append-only логу та бізнес-модель стартапу для power-користувачів; першим прототипом має стати GBT — модель, натренована на текстовому корпусі автора.

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

Бібліотека `rjk::duck` використовує рефлексію C++26 (consteval блоки, `define_aggregate`, `template for`) для автоматичної генерації vtable та обгорток, зводячи type erasure до простого опису трейту з анотацією `[[=rjk::trait]]`. Завдяки трюку з pointer-interconvertibility об’єкти `duck` не зберігають зворотні вказівники, і їхній розмір не залежить від кількості функцій у трейтах. Також підтримуються inline-вказівники (`perf_options`) для критичних методів, що дозволяє уникати холодного завантаження vtable.

Залишається сподіватися, що до фінального C++26 цей синтаксис не перепишуть тричі.

Автор реалізує tensor-бібліотеку на C із підтримкою Metal GPU, включаючи поелементні операції, matmul через BLAS/кастомні GPU-ядра та ручний backpropagation. На прикладі MLP для MNIST бібліотека навчається швидше за PyTorch, хоча ручне обчислення градієнтів без autograd вимагає більше зусиль.

Бартош Мілевський вводить поняття актегорій — категорій, на які діє моноїдальна категорія, що формалізує оптики (лінзи, призми, траверсали) в програмуванні. Стаття охоплює визначення моноїдальної категорії, актегорії та моноїдальних функторів, ілюструючи їх реалізацією в Haskell через класи типів. Зокрема показано self-action декартового добутку та приклад із Traversable.

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

Компанія Thinking Machines описує свою місію — створювати AI, який підсилює людську волю та судження, а не замінює їх. Оскільки знання та цінності розпорошені, вони роблять ставку на розподілені моделі, які користувачі можуть кастомізувати під свої унікальні потреби. Серед технічних пріоритетів — інтерактивні мультимодальні моделі, інструменти для fine-tuning та децентралізований підхід до alignment.

Це радше філософський маніфест, ніж дорожня карта: конкретні технічні рішення для децентралізованого alignment лишаються за дужками.

Rejourney — open-source інструмент для виявлення витоків доходу у веб- та мобільних застосунках. Він відстежує ключові бізнес-переходи (активацію, оформлення замовлення, поновлення) і порівнює когорти з базовим рівнем, використовуючи сесійний replay, аналіз помилок та теплові карти. Підтримує інтеграцію з популярними фреймворками (Next.js, React Native, Swift) і надає бенчмарки продуктивності порівняно з PostHog.

Forward Deployed Engineer (FDE) поєднують навички software engineer, sales та platform engineer: вони вбудовуються в команди клієнтів, щоб інтегрувати продукт, і водночас впливають на розвиток основної кодової бази. Роль створила Palantir, а у 2025 році попит на FDE різко зріс через потребу AI-стартапів швидко адаптувати LLM у традиційних компаніях; OpenAI, Ramp, Salesforce та інші активно наймають таких фахівців.

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

Після PR #26210 повідомлення в MultiAgentV2 шифруються, через що локальні логи, історії та трасування втрачають читабельний текст завдань для spawn_agent, send_message і followup_task. Це ускладнює налагодження та аудит, оскільки неможливо побачити, які саме задачі були делеговані підлеглим агентам. Пропонується додати незашифроване поле для збереження читабельного опису поряд із зашифрованим вмістом доставки, і часткову реалізацію для spawn_agent уже викладено.

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

Список переможців Філдсівської премії 2026 року випадково витек через фронтенд-код офіційного розкладу ICM 2026: команда curl від Codex виявила приховані лекції для лауреатів Yu Deng, John Pardon, Jacob Tsimerman та Hong Wang. Серед них двоє випускників Пекінського університету, а сама Hong Wang стане лише третьою жінкою в історії, яка отримала цю нагороду. Офіційне оголошення очікується 23 липня.

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

Автор створив систему, де зовнішній RL-агент (Qwen3.6-35B-A3B, LoRA) вчиться писати повні конфігурації тренувальних завдань для внутрішнього RL-циклу: внутрішній цикл навчає маленькі моделі (Qwen3-0.6B/1.7B) через prime-rl (GRPO) на реальних GPU, а зовнішній агент отримує reward на основі приросту якості натренованої моделі на прихованому eval. За 54 кроки reward виріс із ~0.0 до ~0.63, причому навичка узагальнилася на утримане сімейство завдань, яке агент не бачив під час тренування. Код, ваги, інфраструктура та всі пілотні ретроспективи відкриті, загальні витрати — близько $1275.

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

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

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

У статті показано, що в latent просторі мовних моделей, які використовуються для coding agents, лінійно закодовано властивості поточного коду (коректність, проходження тестів) — probe на основі логістичної регресії досягає AUC до 0.83 на двох моделях і двох benchmarks. Більш несподіваним є те, що ці внутрішні представлення випереджають реальні зміни коду: probe здатен передбачати результат майбутніх редагувань на відстані приблизно 25 кроків уперед. Автори називають це явище "latent programming horizon" і демонструють, що probes успішно transfer між benchmarks без додаткового навчання.

Це відкриває шлях до використання mechanistic interpretability для покращення передбачуваності та контролю над coding agents.

Автор описує свій підхід до поєднання HTMX з Go: HTML-шаблони розбиті на базовий, сторінкові та partials, вбудовуються в бінарник через `embed` і рендеряться через спільний рушій, який залежно від заголовка `HX-Request` повертає або повну сторінку, або фрагмент. Окрему увагу приділено обробці редиректів через `HX-Redirect` замість звичайних 3xx, налаштуванню підміни вмісту для різних кодів помилок та конфігурації HTMX за замовчуванням, зокрема вимкненню кешу історії й успадкування атрибутів. У матеріалі також показано, як додати шаблони для різних макетів сторінок.

Spectral Compute розробила компілятор SCALE, який працює як drop-in заміна для NVCC і дозволяє запускати CUDA-код на AMD GPU та інших прискорювачах, а не лише на обладнанні Nvidia. Використовуючи чисту реалізацію на базі LLVM і глибшу роботу з PTX, SCALE показує до шестиразового приросту продуктивності порівняно з HIPIFY, а також обіцяє кращу оптимізацію навіть на самих GPU Nvidia. Стартап прагне зруйнувати прив’язку CUDA до одного вендора — адже на цю мову припадає близько 80% HPC-коду — і вже отримав місце в програмі Nvidia Inception.

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

Німецький уряд планує суттєво обмежити Закон про свободу інформації (IFG) під приводом посилення кіберзагроз. Пропонують дозволити запити лише фізичним особам, підвищити збори, приховувати імена чиновників та, ймовірно, позбавити права на запит негромадян ЄС. Понад 110 громадських організацій та опозиція засудили реформу як удар по прозорості, а частина коаліції вже висловила сумніви.

Стаття демонструє, як отримати точні градієнти з Fortran‑коду без переписування, використовуючи LFortran для генерації LLVM IR і Enzyme для автоматичного диференціювання. Процес вимагає уникнення динамічних масивів, обережного вибору оптимізацій (-O1 до AD, -O3 після) та ручного налагодження IR, але дає змогу досягти аналітичної точності (похибка ~6e-12). Завдяки інтеграції з JAX через Tesseract успішно розв’язано обернену задачу теплопровідності — відновлення 900-елементного початкового поля температури за 100 вимірами, з градієнтами, отриманими за один зворотний прохід.

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

Вчені з індійського IIT Madras створили Anchor — найдетальніший у світі 3D-атлас brainstem людини на клітинному рівні, побудований з понад 500 зрізів тканин різного віку та восьми хімічних маркерів. Він дозволяє плавно масштабувати зображення від цілого мозку на MRI до окремих нейронів, ідентифікуючи понад 200 скупчень клітин та нервових шляхів. Атлас у відкритому доступі має стати ключовим інструментом для вивчення хвороб Паркінсона, Альцгеймера, інсультів та синдрому раптової дитячої смерті.

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

picchio — це один Python-файл без зовнішніх залежностей для вимірювання продуктивності локальних LLM через llama.cpp або ollama. Він виявляє три поширені проблеми: реальну кількість бітів на вагу (яка часто не збігається з назвою квантизації), «тихий» перехід обчислень на CPU та змішування різних показників швидкості (prefill, decode, wallclock). Інструмент звіряє логи рушія з показниками системного моніторингу GPU й виносить вердикт — HEALTHY, SILENT CPU FALLBACK або CONFLICTING EVIDENCE.

Замість одного числа «токенів на секунду» варто дивитися на три окремі лінії, інакше можна місяцями думати, що модель працює на GPU, хоча насправді вона мовчки впала на CPU.

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

Стартап Microphone Man замінює інженерів без їхньої згоди, а сам він уже замінив власний мозок — лишається тільки бізнес-модель.

Агентний цикл складається з трьох вкладених етапів: inference loop надсилає запити до LLM і веде історію чату; tool loop обробляє спроби моделі викликати зовнішні функції; human loop призупиняє виконання для отримання схвалення людини. Код ілюструє, наскільки важливо захищатися від галюцинацій назв інструментів та як блокувальний human loop ускладнює архітектуру, вимагаючи механізмів durable execution.

Якщо ваш агент досі не має human loop — перевірте, чи не пише він вашій колишній.

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

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

У репозиторії технічної специфікації EU Digital Identity Wallet пропонується додати перевірку застосунків через Google Play Integrity API та Apple App Attestation для верифікації віку. Учасники дискусії різко виступають проти, наголошуючи, що це посилює залежність ЄС від американських техногігантів, суперечить принципам цифрового суверенітету та інтероперабельності, а також створює ризики для приватності користувачів. Як альтернативу наводять нідерландський застосунок Yivi, який не потребує таких залежностей, і закликають взагалі відмовитися від прив’язки до конкретних операційних систем.

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

Star Fleet Math — це AI-система на базі GPT‑5.6 та Lean 4, яка паралельно на 20 серверах розв’язує відкриті математичні проблеми. Вона запропонувала формально верифіковані доведення для 27 задач Ердеша, серед яких — гіпотези про адитивні базиси, розподіл простих чисел та екстремальну теорію графів. Усі розв’язання пройшли машинну перевірку в Lean 4 і викладені для незалежного аудиту.

Microsoft у липні 2026 встановила рекорд, випустивши патчі для 570 вразливостей — майже втричі більше, ніж у попередньому рекордному місяці. Серед них близько 60 критичних і три zero-day, дві з яких вже активно експлуатуються. Компанія пов’язує різке зростання кількості знайдених дірок із використанням ШІ, який також змушує інших великих вендорів пришвидшувати цикл оновлень. Експерти зазначають, що традиційні оцінки ймовірності експлуатації від Microsoft не враховують здатність сучасних ШІ-інструментів швидко створювати робочі proof-of-concept навіть для «менш імовірних» вразливостей.

Виходить, ШІ однаково старанно допомагає і захисникам, і нападникам — патч-вівторок перетворюється на щотижневик.

Автор відтворив JEPA-модель (LeWorldModel) і натренував її на Super Mario Bros. Модель навчилася короткостроково передбачати кадри з урахуванням дій, але планування в латентному просторі провалилося через ковзну камеру та невідповідність між прогностичним і контрольним станами. Детальний postmortem показує, що середовище, метрики та припущення важать не менше за саму архітектуру.

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

Автор спиляв гострі краї MacBook Air M4, які врізалися в зап’ястя під час роботи на колінах. Він заклеїв клавіатуру й трекпад, розмітив лінію спилювання скотчем, обробив корпус напилком і поступово шліфував наждачним папером аж до зернистості 1200, зволожуючи папір, щоб зменшити пил. Також довелося підпиляти кути, бо вони заважали великим рукам. Головний меседж — не боятися модифікувати інструмент під себе.

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

Фаб’єн Санглар скрупульозно дослідив усю комп’ютерну техніку та програми, показані в «Парку Юрського періоду». У статті описано Apple PowerBook 100, робочі станції SGI Indigo і Crimson, суперкомп’ютери Thinking Machines CM-5, а також софт на кшталт fsn (легендарне «It’s a Unix system!»), gr_osview і фальшиву відеоконференцію на QuickTime. Більшість екранів насправді керувалися віддалено, а SGI та Apple позичили обладнання на суму близько $4 млн у сучасних грошах.

Схоже, єдине, на чому зекономив Хаммонд — це кабелі для PLI Mini Arrays.

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

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

У місті мая Шультун (Гватемала) знайшли настінний математичний текст, який уперше називає ім’я конкретного астронома-математика — Сак Тан Ваакс («Білогрудий Лис»). Формула пов’язує 2920-денний цикл, що об’єднує періоди Венери та сонячний рік, з іншими календарними одиницями мая. Дослідники вважають це своєрідним «математичним викликом», а підпис автора свідчить про високий статус науковців у суспільстві мая.

Схоже, і в давнину люди не могли втриматися, щоб не залишити на стіні своє «дивіться, що я можу».

Стаття порівнює підхід до юридичного ШІ на базі кодових агентів (Codex) та спеціалізованої системи Lexifina, показуючи, чому для правових задач недостатньо простого текстового патчу чи згортання контексту в переказ. На прикладах видалення розділу, стиснення історії діалогу та відстеження версій документа демонструється, що кожна правка мусить мати явний зв’язок із доказами, повідомляти про відсутність перехресних перевірок і зберігати точний ланцюжок походження змін. Така система не повинна підмінювати докази саммарі, а лише полегшувати юристу пошук оригінальних джерел і обмежень моделі.

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