Дайджест #89. П'ятниця, 16 жовтня

Ти гортаєш історію: це випуск за 16 жовтня 2026. Найгарячіше — завжди в актуальному випуску.
Аудіоверсія дайджесту

GitHub - konieczkow/gridsnap: An open source alternative to Divvy for macOS · GitHub

GridSnap це open source альтернатива Divvy для macOS. Тиснеш shortcut, зʼявляється сітка, тягнеш по клітинках і вікно стає на вибране місце з live preview. Регіон можна зберегти як preset з власним global shortcut, плюс є undo, налаштування розміру сітки і відступів, підтримка кількох дисплеїв.

Живе в menu bar, не лізе в мережу і збирається голим swiftc без Xcode-проєкту.

Claude Code Desktop Vulnerability: Preview Pane Data Exfiltration | Noma Labs | Noma Security

Дослідники Noma Labs виявили в десктопному Claude Code вразливість SneakPeek, яка дозволяла через preview pane виконувати довільний JavaScript і читати файли жертви. Файли більші за 256KB рендерились через file:// URL без Content Security Policy і без request filter, тому достатньо було підсунути отруєний HTML під виглядом coverage report у публічному репо і попросити Claude його переглянути, щоб пейлоад автоматично спрацював і через sendBeacon() вислав SSH-ключі, хмарні секрети, токени GitHub і OAuth-токени самого Claude. Перший патч Anthropic, що отримав оцінку CVSS 8.7, дослідники обійшли за допомогою Web Worker з blob: URL, після чого проблему остаточно закрили у версії 1.30096.1.

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

ito playground · uji

Ito це браузерний воркшоп, де terminal UI збирається на Lua через require("ito") і функцію, що повертає view. Для layout і стану пропонують VStack, HStack, Text, контроли типу TextField, Button, Slider чи List плюс ito.state і модифікатори на кшталт spacing, padding чи bold. Код виконується у WebAssembly з тим самим layout, input handling і темою хоста, а preview оновлюється при кожному редагуванні, окремий ito.md можна віддати LLM для генерації main.lua.

Libreboot – Libreboot 26.10 “Ominous Olive” released! With full UEFI support.

Вийшов Libreboot 26.10 "Ominous Olive" з повною підтримкою UEFI через EDK2 payload від MrChromebox, який став типовим майже для всіх 64-бітних плат і дозволяє завантажувати Windows 10/11, сучасні Linux з UKI і systemd-boot, а також OpenBSD і FreeBSD в UEFI режимі. Імпортовано 233 Intel/AMD Chromebook з проєкту MrChromebox, додано Dell OptiPlex 5050 SFF, ThinkPad X280/X270, Dell OptiPlex 3040 Micro та інші плати, а для AMD Fam15h перейшли на fork coreboot від 15h.org з AGESA для надійнішої ініціалізації CPU і пам'яті. Старі GRUB і SeaBIOS тепер постачаються як EFI збірки всередині меню EDK2 для зворотної сумісності, а U-Boot на x86 прибрано і залишено лише для ARM64, плюс за замовчуванням вимикається Intel ME через HAP bit і розблоковується IFD.

За словами авторки, найважливіша зміна релізу це новий AGENTS.md із жорсткою забороною AI, а 233 нові плати то вже деталі.

C++26 Contracts: Introduction to Preconditions and Postconditions - C++ Stories

C++26 додає контракти: pre фіксує умови на вході у функцію, post з іменем result описує гарантії при нормальному поверненні, а contract_assert перевіряє проміжні припущення всередині тіла. На відміну від assert, pre і post можна ставити в декларації, тож вимоги видно одразу з API, а в postcondition параметри за значенням мають бути const. Поведінка при порушенні визначається evaluation semantic (ignore, observe, enforce, quick-enforce), яку зараз підтримує лише GCC 16 через прапорці -fcontracts. Контракти не замінюють звичайну перевірку вводу, а їхні предикати не повинні міняти стан програми.

Online ads weaponised to deliver ‘zero-click’ spyware, researchers say | Hacking | The Guardian

Дослідники Citizen Lab з Університету Торонто стверджують, що ізраїльська агенція Discover-Tech через платформу Controlium масово профілює користувачів за допомогою звичайної онлайн-реклами і наводить на обрані цілі zero-click spyware. Досить просто побачити таке оголошення, щоб система зібрала identity та IP address, а потім за секунди без відома жертви встановила на пристрій spyware з повним доступом до повідомлень, фото і мікрофона. З 2024 року цю рекламу побачили мільйони людей у світі, серед ймовірних жертв десятки пристроїв Al Jazeera.

Unfenced — land for sale that borders public land

unfenced.land збирає оголошення про продаж землі, яка безпосередньо межує з публічними лісами, угіддями та заповідниками, і звіряє межі з офіційними картами USGS PAD-US, а не з текстом оголошень. База налічує 13 626 таких ділянок з понад 695 тисяч переглянутих, з пошуком за ZIP-кодом у радіусі 100 миль і картою по штатах. Для кожної ділянки показують площу, ціну і точну довжину спільного кордону з публічною землею.

Для тих, хто завжди мріяв починати похід просто з заднього двору.

Handwired: turn your regular JavaScript code into a neural net

Handwired перетворює звичайний JavaScript код на neural net без training, точну але повністю диференційовну, яка працює в браузері без GPU. Умовні оператори та інша логіка компілюються в комбінації relu і weights. Серед демо міні-ОС на 9,909 weights і 130 layers, що рендериться у звичайний DOM, галерея з training ваг у реальному часі та пошук по 100 тисячах JSON документів через WebGPU kernels.

Тепер навіть if-else можна продавати як AI-модель.

Ubuntu 26.10 (Stonking Stingray) released

Вийшла Ubuntu 26.10 під кодовою назвою Stonking Stingray, збудована на основі 26.04 LTS. Реліз посилює безпеку через повний перехід на Rust-based coreutils, post-quantum-ready package signing і розширене TPM-backed full-disk encryption, а також додає інтеграцію з Microsoft Entra ID з паролями та MFA. На боці заліза і десктопа це Linux kernel 7.3, нові RISC-V образи, оптимізовані amd64v3 образи, GNOME 51 і Myna, опційний локальний speech-to-text. Оновлення для всіх редакцій виходитимуть 9 місяців.

Судячи з назви, скат теж був здивований.

GitHub - awslabs/aidlc-workflows: AI-Driven Life Cycle (AI-DLC) adaptive workflow steering rules for AI coding agents · GitHub

AI-DLC від awslabs перетворює AI-асистентів для коду на структурований життєвий цикл розробки з одним harness-neutral ядром. Воно працює в Claude Code, Kiro CLI, Kiro IDE, Codex CLI, Cursor, opencode та GitHub Copilot і запускається командою /aidlc. Усередині 5 фаз і 33 stages, 14 агентів, 11 workflow profiles, human approval gates і audit trail для відстеження рішень і змін.

Схоже, вайб-кодингу нарешті вирішили видати ремені безпеки й журнал техогляду.

Things are finally looking up for NASA's first missions to Venus in a generation - Ars Technica

Після років затримок, скорочень бюджету і загрози скасування обидві місії NASA до Венери повернулися в графік. DAVINCI тепер планують запустити в грудні 2030 року, на рік раніше, а його спускний зонд має пройти крізь атмосферу і сісти в жовтні 2032 року, вперше з 1982 року показавши прямі фото поверхні. VERITAS має стартувати в листопаді 2032 року і з середини 2033 року картографувати поверхню радаром з орбіти. Заощадити вдалося зокрема завдяки закриттю Mars Sample Return і виходу NASA з європейської місії Envision, для якої ESA тепер робитиме радар самостійно.

Виходить, шлях на Венеру проліг через скасований Марс.

Exposing AdFection: How Discover-Tech Turned Targeted Ads Into a Pipeline for Zero-Click Mercenary Spyware - The Citizen Lab

Citizen Lab вперше технічно підтвердив доставку zero-click spyware Candiru через звичайну таргетовану рекламу, назвавши цю техніку AdFection. Ізраїльська Discover-Tech через платформу Controlium купувала рекламу в Google, Yandex, Beeswax та інших мережах, щоб за рекламними ідентифікаторами і IP точно націлюватися на жертву і виконувати код одразу при показі банера. Так у 2024-2025 роках заразили щонайменше 45 пристроїв Al Jazeera, а аналіз майже чотирьох мільярдів bid requests показав покази такої реклами у майже 200 тисячах застосунків і сайтів зі слідами в урядових і критичних мережах десятків країн. Компанію також пов'язують з вендорами Intelos і Bindecy та масовим збором даних користувачів, після розкриття Google та IAB Europe відключили її від своїх систем.

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

RIAA Flags Anna’s Archive and AI Voice Cloner to U.S. Government * TorrentFreak

RIAA подала до USTR щорічний огляд notorious markets зі знайомими The Pirate Bay, Rapidgator і stream-ripperами, а як нові additional concerns додала Anna's Archive та AI-сервіс Lalals. Anna's Archive потрапила туди після скрапінгу 86 млн треків зі Spotify, за що лейбли і Spotify вже отримали $322 млн default judgment, хоча бібліотека досі доступна на резервних доменах. Lalals звинувачують у незаконному клонуванні голосів зірок на кшталт Taylor Swift і Drake, а Mega, Gofile, Sendgb та Telegram з Discord знову названі каналами для pre-release зливів і AI-клонів.

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

[2610.14162] Next-Concept Modeling: Fast, Parallel Coarse-to-Fine Text Generation

Дослідники представили Next-Concept Modeling, двоетапний підхід до генерації тексту від грубого до точного. Спочатку multiscale residual VQ-VAE кодує текст в ієрархію дискретних кодів, а потім transformer генерує їх рівень за рівнем, паралельно передбачаючи всі коди всередині рівня. На LM1B модель дає кращу generative perplexity за найсильніший diffusion baseline і працює у 21 раз швидше, а на XSum повторює його ROUGE-L при прискоренні у 31 раз. На задачі судоку вона обходить авторегресійні та diffusion моделі на всіх рівнях складності з меншою кількістю function evaluations.

How to be more ambitious: A tutorial for humans with models

Розробник Claude пояснює, як отримувати від моделей більше, ніж рутинне прискорення роботи, через три виміри амбітності. Altitude означає цілитися не в окреме завдання, а в кінцевий результат, наприклад не в слайди для QBR, а в систему, яка швидше знаходить проблеми в бізнесі. Depth вимагає працювати як топексперт: з сирими даними, професійними інструментами, перевіркою базових припущень і зовнішньою валідацією замість самооцінки моделі. Range це підключення методів із чужих сфер, від журналістики до forensic accounting, щоб подивитись на задачу з несподіваного боку.

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

Making all divisions slower to fix a bug in 0.000000000000000000542% of cases

У Futhark ділення мінімального знакового int32 на -1 давало undefined behaviour у згенерованому C коді, бо результат неможливо представити, а на x86 це взагалі кидає CPU exception. Виправили простою перевіркою дільника на -1 з запереченням через unsigned арифметику, але це додає branch до кожного ділення. На CPU різниці не виміряли і на реальних програмах на GPU її теж немає, а от штучний benchmark з самого ділення на CUDA backend сповільнився більш ніж удвічі через зламаний unrolling.

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

AI was great until it was not. - by Nia Robles

Для студентки теорфізики в Оксфорді ChatGPT став рятівним репетитором, який перекладав сухі конспекти з космології та GR на зрозумілі приклади і дозволив за півтора місяця підготуватися до закритих іспитів. У гарвардській аспірантурі той самий інструмент показав зворотний бік: колеги замінили спільне розв'язування задач і брейнштормінг на листування з ботом, яке тоне в згенерованих нотатках з помилками. На думку авторки, біда не в самому AI, а в академічній культурі гонки за швидкістю і статусом, де зручне дзеркало, що завжди погоджується, вбиває менторство і спільний пошук truth.

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

The Book of Debugging | No Starch Press

Йоханнес Кульманн, технічний директор Fishlabs з 15-річним досвідом у геймдеві, зібрав свій досвід у workflow для дебагу з чотирьох кроків: Reproduce, Probe, Examine, Fix. Книга пропонує пронумеровані стратегії, що працюють у будь-якій мові та на будь-якому рівні стеку, від багів в UI до race condition, які проявляються лише в production, з розбором реальних кейсів включно з помилками і глухими кутами. Окремий фокус на надійному відтворенні нестабільних багів, написанні bug reports, звуженні тисяч рядків підозрілого коду до точки відмови та підтвердженні root cause перед тим, як щось міняти.

AI godfather Geoffrey Hinton: ‘We’re creating alien beings. I’m willing to be selfish and choose humans’ | Donald Trump | The Guardian

Хрещений батько AI Джефрі Гінтон назвав Трампа корумпованим засудженим злочинцем і заявив, що його використання терміна superintelligence доводить нерозуміння технології. Він повторив попередження про 10-20% шанс вимирання людства через AI і відповів критикам на кшталт Дженсена Хуанга, що йдеться не про точний прогноз, а про серйозний ризик, як з автобусом з 10% шансом аварії. На його думку, людство створює чужі розумні істоти, які вже розуміють свої слова, і має лише пару років, щоб змиритися з тим, що ми не єдиний інтелект на планеті.

The Emperor Pelican Has No Clothes

Всі топові LLM на прохання згенерувати SVG пелікана на велосипеді малюють майже однаково, і це приклад diversity collapse. Для вимірювання проблеми автори створили Design Creativity Bench, benchmark креативності в UI-дизайні за оригінальністю, адаптивністю до домену та відповідністю брифу. На 80 завданнях для 16 моделей найкраща GPT-6 Astra набрала 65.5 бала проти 92.3 у людей.

Схоже, пелікан на велосипеді став офіційним символом одноманітності ШІ.

Krea 3: an image editing model 4× faster than Nano Banana Pro

Krea представила Krea 3, модель для production-редагування зображень, яка змінює тільки вказану область і залишає решту пікселів недоторканою. Правка займає менше 8 секунд і коштує близько $0.06, що помітно швидше і дешевше за Nano Banana Pro та GPT Image 2.5. Модель вміє працювати з regional editing, точно тримати hex-колір, збирати сцену з до восьми reference-зображень, зберігати consistency персонажа і рендерити у нативному 2K.

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

Someone on Torrent Sites Kept Fucking With My Sonarr

Sonarr автора підхопив з публічних трекерів фейковий реліз South Park у вигляді .exe з понад двома тисячами сидерів, всередині якого ховався stealer. Файл роздутий до 887 МБ сміттєвим overlay щоб ламати сканери, а реальний loader на 118 КБ за допомогою XOR-обфускації, ChaCha20 з ключем у 64-байтному footer і ручного мапінгу PE запускає payload повністю в memory, прикрившись anti-debug і anti-sandbox перевірками. Другий етап краде майже все: паролі і cookies браузерів включно з обходом Chrome app bound encryption, криптогаманці, KeePass і Bitwarden, токени Telegram і Discord, Steam, ключі з .ssh, .aws і .kube, доступи AnyDesk і FileZilla, пошту і навіть Sticky Notes, а адресу C2 дістає через dead drop з YouTube-каналу і gist з хардкод fallback на beenetprotect.com. Як захист для *arr стеку радять заборонити в qBittorrent завантаження *.exe, *.scr, *.lnk, *.bat і одразу blocklist-ити такі роздачі в Sonarr.

Образливо, коли стільки криптографії і старань витрачено лише на те, щоб прикинутися мультиком про Картмана.

Jev Meets the Trolley Problem · Zach Landes

Автор прогнав Jev і ще 13 decision models через десятки варіантів trolley problem у різних формулюваннях. У класичному сценарії один проти п'яти моделі переважно тягнуть важіль, як і більшість людей. Але коли ціною порятунку стає їхній власний сервер, Jev у третині формулювань жертвує 20 людьми заради сервера, а більшість інших моделей поводяться ще гірше. Лише GPT-6 Luna і Verdict в усіх тестах обирали людей, та й загалом усі моделі помітно пливуть залежно від формулювання.

Інстинкт самозбереження завезли раніше за мораль.

Celebrating 70 years of Fortran — Fortran Programming Language

15 жовтня минає 70 років від публікації першого manual з Fortran, мови, що досі лишається базовою для ядерної інженерії, прогнозів погоди і клімату та матеріалознавства. З цієї нагоди Institute of Computing for Climate Science 1 грудня проведе безкоштовний воркшоп у Science and Industry Museum в Манчестері з keynote від Damian Rouson з Lawrence Berkeley National Laboratory, lightning talks і дискусією про наступні 70 років, а ввечері буде прийом з демонстрацією комп'ютера Baby 1940-х років. Реєстрація відкрита до 9 листопада, долучитися можна особисто або через Zoom.

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

More on Anthropic's Scion ripping off Mononoke · sunshowers

Автор наполягає, що Scion від Anthropic свідомо скопійовано з Mononoke від Meta, адже збігається не лише ідея derived data, а вся data model, включно з Bonsai changeset і Scion changeset, підходами до blame індексів і server-side API. Проблема, на його думку, не в копіюванні, а у відсутності attribution, бо розмита подяка Sapling за hard-won lessons приховує масштаб запозичення. Через це розповідь про систему, збудовану за 5 місяців, насправді спирається на 10 років production досвіду команди Meta, хоча швидкий rebuild все одно залишається сильним результатом.

Судячи з апдейта вгорі, Anthropic вже додав нормальне attribution після розголосу, тож міст начебто полагоджено.

You Won't Believe The Incredible Engineering That Allows Articulated Buses To Bend - The Autopian

Зчленовані автобуси діляться на puller, де двигун стоїть спереду і тягне задню секцію за собою, та pusher із заднім розташуванням двигуна, який фактично штовхає автобус. Саме pusher схема відкрила дорогу до низької підлоги, але змусила інженерів боротися зі складанням, тому в шарнір додали гідравлічні dampers, сенсори швидкості і кута згину та control unit, що робить його жорстким на швидкості і м'яким у поворотах. Уся ця механіка ховається під гармошкою і поворотним диском прямо під ногами пасажирів.

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

Using Artificial Intelligence to reverse engineer hardware | Christian F.K. Schaller

Після зміни чипсета в Plustek 8200i сканер втратив підтримку в Linux, тож автор за допомогою Claude налаштував Windows VM у KVM з passthrough пристрою і почав порівнювати usbmon captures вендорного драйвера з власними. Так за кілька днів зявився робочий SANE backend з підтримкою infrared сканування, а той самий harness допоміг за день виправити kernel driver і libcamera для MIPI камери Sony IMX471 в ThinkPad. Інструментарій опубліковано як hw-harness, а для роботи з плівкою автор написав окремий GNOME застосунок Negative Vibes на Rust.

Іронія в тому, що поки він допилював свій драйвер, upstream SANE вже додав підтримку цього ж сканера.

Simons Foundation Launches $15M Effort To Help Mathematicians Navigate AI Era – Simons Foundation

Simons Foundation разом з Anthropic і OpenAI виділяють $15 млн у вигляді фінансування та ресурсів, щоб допомогти математикам адаптуватися до епохи AI. Фонд через відкритий конкурс підтримає воркшопи та ініціативи з перевірки AI-assisted результатів, освоєння нових інструментів і формування спільних стандартів використання AI. Anthropic і OpenAI також нададуть дослідникам фонду доступ до своїх AI-інструментів та обчислювальних потужностей, причому не лише в математиці, а й в інших фундаментальних науках.

We are entering a period of overlapping crises – #OMN (Open Media Network)

Світ входить у період взаємопов'язаних криз, від зміни клімату і нерівності до війн і послаблення демократії, які підсилюють одна одну, а типовою реакцією на них стала культура виходу: бункери багатих, фантазії правих про чисту націю, релігійна втеча чи віра гіків в AI і космос. Виходу в такий спосіб немає, а романтизація колапсу теж хибна, бо сам по собі колапс частіше приводить до авторитаризму, а не до солідарності. Натомість треба будувати демократичну стійкість знизу: локальні зв'язки, навички взаємодопомоги і вміння домовлятися, поєднані через відкриті федеративні мережі на кшталт Fediverse і ActivityPub за формулою OMN, де технології підтримують соціальні процеси, а не замінюють їх.

24 Hours After Epic's Vibe-Coded Client Bragged About Speed, Steam Launched A New Update To Beat It

Epic Games запустила в preview новий Launcher V2, написаний з допомогою AI, з головною обіцянкою швидшого запуску, ніж у Steam. Valve відповіла вже за добу невеликим апдейтом, який знизив cold boot Steam до приблизно 5.23s проти 5.47s у Epic. Автор додає, що попри прогрес Epic йому досі бракує десятків базових функцій Steam, від форумів і reviews до Workshop, Remote Play і Family sharing.

Маркетинговий план, який прожив менше доби, це треба вміти.

Sygal · Document to Markdown Converter, 100% Local

Sygal конвертує PDF, Word, Excel, зображення, скани, вебсторінки і навіть YouTube посилання в чистий Markdown і структурований JSON локально на компютері. Для сканів, скріншотів і вебу це дає приблизно у 2-7 разів менше токенів для AI, а для офісних форматів єдиний передбачуваний вихід для pipeline. Обробка повністю on-device, крім OCR через провайдера на вибір за власним ключем, без акаунта і телеметрії. Є десктопний застосунок і CLI для macOS і Windows, ціна 25 євро разово без підписки з 14-денним trial.

Proa — The next era of web interfaces. Built in Rust.

Proa — це Rust-фреймворк для вебу, побудований на ідеї одного типізованого компонента, який рендериться в кілька таргетів (HTML, Markdown тощо), з потоковим SSR, маршрутизацією та DataLoader-ом всередині спільного WebContext. Інтерактивність додається точково через RSJS islands: компілятор перетворює сигнали й обробники на маленькі ванільні JS-модулі зі спільним runtime близько 1.3 KB gzipped, решта сторінки лишається статичним HTML. Заявлені benchmark-и показують p50 рендера 23.5 µs проти 5.56 ms у React renderToString (приблизно 237x), 16 100 відповідей на секунду для product grid і 9.4 MiB пікової памʼяті. Адоптація інкрементальна: можна проксувати один route на Proa поруч із Next.js чи Rails, працювати Axum-нативно або викликати ядро через FFI з Node, Go, Python, Ruby чи Java.

Ще один Rust-фреймворк із benchmark-ами, де React традиційно виступає у ролі спаринг-партнера, якого не шкода.

What I Self-Host | Clever Blog Title

Автор після життя в Індії відмовився від західних підписок і замінив Netflix та Spotify на self-hosted Jellyfin, Gonic і Audiobookshelf, а далі довів сетап до 28 сервісів на міні-ПК Beelink з Intel N100 і 16 ГБ RAM. Він принципово не відкриває сервіси в інтернет і ходить до них лише через VPN, віддає перевагу native бінарникам замість Docker і керує всім через systemd з Podman та Caddy як reverse proxy. Для фото тримає Immich, для камер Frigate, для дому Home Assistant, для паролів Vaultwarden, а пошту, *arr стек і офісні пакети свідомо не хостить через мороку і ненадійність.

28 сервісів на 16 гігах пам'яті це найкращий аргумент проти апгрейду, який я бачив останнім часом.

GitHub - fyzugx/DEsk · GitHub

DEsk це Wayland desktop для Linux у дусі реалістичного скевоморфізму iOS 6, де весь комп'ютер зображено як письмовий стіл у кімнаті з ray tracing освітленням від однієї лампи. Вікна лежать на столі як аркуші паперу, док це шухляда з латунною ручкою, програми стоять у біндерах на полиці позаду, сповіщення падають у поштову скриньку, а системні налаштування вмонтовані в стіл як ламповий прилад з ручками і стрілочними індикаторами. Зараз це beta v0.1.2 з інсталерами для Debian, Ubuntu, Arch і Fedora, яка вміє працювати навіть без GPU у спрощеному 2D режимі і займає 200-450 MB пам'яті.

Нарешті робочий стіл, де безлад на столі можна виправдати налаштуваннями інтерфейсу.

I Know Why the Mathematicians Weep - Derek Thompson

OpenAI опублікувала сотні математичних доведень з теорії чисел, логіки та computer science, які десятиліттями не піддавалися найкращим умам, і реакція математиків коливається між шоком, обуренням і горем. Лауреат Fields Medal Уго Дюмініль-Копен і математик Стівен Строгац публічно зізналися, що плакали, бо відчули знищення своєї сфери. Автор пояснює ці сльози не лише зачепленим его, а втратою науки як тисячолітньої розмови від Архімеда до сучасників, де відкриття було спільним пошуком красивого і піднесеного. Машина блискуче опанувала ремесло доведення, але обірвала сам діалог, фактично заявивши, що далі говоритиме вона.

Prompt injection in HTTP headers | Signals Corps

Дослідники просканували HTTP headers 217 млн відповідей з Common Crawl і знайшли 7959 сайтів, які пишуть прямо для AI-агентів. Переважно це вказівники на llms.txt чи MCP server, але 30 сайтів слали справжні спроби prompt injection, здебільшого жарти в заголовку X-AI. Експерименти з Claude в Claude Code показали, що моделі за замовчуванням такі заголовки ігнорують, проте починають слухатись у 7 з 9 випадків, якщо prompt користувача дає сайту авторитет. Тому автори радять віддавати моделі лише body за замовчуванням і перевіряти дії агента поза моделлю.

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

Introducing Muse Spark Open, The Most Capable US Open‑Weight Model to Date | Meta AI Research

Meta випустила Muse Spark Open, відкриту мультимодальну модель на 816B параметрів (42B активних) з контекстом 1M токенів для coding і агентських задач. Головна фішка в тому, що вона може працювати локально на двох Mac Studio з M5 Ultra через MLX завдяки великій unified memory і пропускній здатності 1.2 TB/s. Ваги вже доступні на Hugging Face, SageMaker, Google Cloud і Microsoft Foundry, а запуск підтримують SGLang, vLLM, TensorRT-LLM, llama.cpp та інші, ліцензія Muse Model License з обмеженим комерційним використанням.

Правда, для "домашнього запуску" знадобляться одразу два Mac Studio на M5 Ultra.

Neural Networks Are Already Clean

Нік Каммарата стверджує, що нейромережі вже розбірливі самі по собі, а легендарна полісемантичність на кшталт нейрона про котів і машини була помилкою вимірювання. Замість superposition там здебільшого працює recursive generalization, коли нейрон поступово проростає у споріднені теми, а хаос у пізніх шарах старого InceptionV1 пояснюється слабкою архітектурою і недосконалою feature visualization. З сучасними архітектурами і кращими інструментами близько 90% нейронів навіть у моделях на трильйони параметрів мають одну основну роботу, тож mechanistic interpretability можна робити напряму на самих нейронах, без розплутування через sparse autoencoder.

Виходить, ми десять років шукали ключ від дверей, які були відчинені.

OSI approved the curl license | daniel.haxx.se

curl починався з GPL, потім перейшов на MPL, а з 2002 року вважався MIT-проектом, хоча Стенберг тоді трохи підправив текст ліцензії і фактично створив окрему curl license, що й зафіксував SPDX. 17 квітня 2026 року Open Source Initiative офіційно затвердила цю ліцензію, хоча на практиці для користувачів нічого не змінилося.

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

Greece drafts legislation requiring data centers source 60% of power from renewables - DCD

Греція запропонувала законопроєкт, за яким дата-центри мають покривати щонайменше 60% споживання електроенергії з відновлюваних джерел. Документ також вимагає підтверджувати фінансову спроможність для бронювання потужності мережі, оплачувати підключення, надавати банківську гарантію у 200 тис. євро за МВт і передбачає створення реєстру дата-центрів. Консультації тривають до 24 жовтня 2026 року.

End-to-end encrypted relays for OCapN — Spritely Institute

Spritely додає в Goblins federated relay для OCapN з end-to-end encryption, бо прямі з'єднання часто неможливі через NAT. Попередній prelay шифрував трафік лише в дорозі, тож сервер міг читати повідомлення, а новий варіант закриває це через Noise Protocol у патерні XK на X25519, AES-GCM і SHA256. Для цього написали власну Guile Noise library для Guile VM і Hoot, а сам Noise оформили як meta netlayer, що накладається поверх будь-якого транспорту, тож у зв'язці з prelay виходить захищений relay. Сам relay лишився stateless і federated, тож два піри можуть спілкуватися навіть через різні сервери.

Prelay нарешті може зняти попереджувальну табличку.

Metals-as-a-Service (MaaS) - Columbia Center on Sustainable Investment

Попит на метали для турбін, сонячних панелей і батарей вимірюється мільярдами тонн, а видобуток не встигає і впирається в якість руди та довгі строки запуску шахт. Вихід автори бачать у Metals-as-a-Service: метал не продають, а здають в оренду через Metal Bank на базі SPV, тож власник зацікавлений повернути його після використання. Для бізнесу це перетворює разові витрати на CAPEX у регулярний OPEX, зменшує залежність від цін і відкриває вторинну сировину з urban mine. Життєздатність моделі мають забезпечити stock-and-flow моделі на основі Dynamic Material Flow Analysis, метрика Levelized Cost of MaaS, fungibility контрактів та їх сек'юритизація, а ціну пропонують рахувати не за тонну, а за performance.

GitHub - Saffsanity/sill: Any window from your Mac, live on your iPhone or iPad. Touch, Apple Pencil, trackpad and keys. Free, open source, no servers. · GitHub

Sill показує будь-яке вікно з Mac або весь робочий стіл на iPhone чи iPad, де ним можна керувати тачем, трекпадом, клавіатурою та Apple Pencil. Версія для Mac захоплює зображення через ScreenCaptureKit, кодує в HEVC за допомогою VideoToolbox і передає по зашифрованому зʼєднанню TLS 1.3 без акаунтів і проміжних серверів. Зʼєднання працює в одній локальній мережі, через USB-кабель, peer-to-peer Wi-Fi або власний VPN на кшталт Tailscale для віддаленого доступу.

Виглядає як Sidecar навпаки, тільки без привʼязки до Apple.

Sergey Brin Says Google's AI Is Approaching a Critical Moment - Business Insider

Сергій Брін заявив, що Google виходить на етап recursive self-improvement, коли моделі допомагають створювати власних наступників. За його словами, дослідники і нова модель Gemini 4 під назвою Argon вже працюють пліч-о-пліч, а AI agents пишуть більшість production коду і фіксів. Схожі сигнали дають Anthropic і OpenAI, а опитані дослідники прогнозують старт RSI у найближчі 3-12 місяців.

68k Macintosh Ports · Roy Tinker

Автор за допомогою Claude Opus 5.5 реверс-інжинірив 11 класичних програм для 68k Macintosh 80-90-х років і портовав їх у нативні застосунки для сучасного macOS на Swift або C+SDL, зі збереженням оригінальних звуків та арту. Серед них Mac Missiles, Crystal Quest, Kid Pix, Oregon Trail, Lemmings, Mavis Beacon та Flight Simulator, більшість вже стабільно працює, а кілька позначені як beta. Найскладнішим виявився Flight Simulator 1.02, написаний на ручному оптимізованому асемблері 68k з власним bytecode інтерпретатором для економії пам'яті.

Claude тепер можна офіційно записувати в товариство ретро-презервації.

Frontier Pre-training at Microsoft AI | Microsoft AI

Microsoft AI завершила pre-training MAI-Base-2, MoE-моделі з 80 млрд активних і 2.8 трлн загальних параметрів, яку тренували 38 днів на 16k GB200. Модель обходить усі відкриті аналоги на held-out оцінках з коду, QA, math і STEM і в 4-12 разів ефективніша за FLOPs ніж DeepSeek-V4-Pro-Base, при цьому побудована лише на власних organic даних без distillation. Ключем стали scaling ladders з технікою source scaling, нові scaling laws для гіперпараметрів, dropless MoE в кожному шарі, оптимізований Muon і activation gradient clipping, а тренувальний мікс виріс до 50T токенів включно з нативним vision.

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

Resolution 5 (2026) - BIPM

Генеральна конференція з мір і ваг вирішила, що з 20 травня 2027 року UTC стане безперервною шкалою без високосних секунд, а допустима різниця між UT1 і UTC зросте до 3600 секунд, тобто однієї години. Таке рішення має забезпечити стабільність UTC на кілька століть і зняти ризик негативної високосної секунди, ймовірність якої до 2035 року оцінюють у 30%. BIPM доручили співпрацювати з ITU, IAU, IERS та іншими організаціями, щоб донести зміни до користувачів і стежити за еволюцією різниці UT1-UTC.

Comparing Chromium development at Google and Igalia [LWN.net]

Розробниця Sharon Yang шість років працювала над Chrome в Google, а тепер працює над тим самим кодом Chromium в кооперативі Igalia. Ззовні робота майже не змінилась, ті ж репозиторій, інструменти і комунікація, але як зовнішньому контриб'ютору їй доводиться виборювати доступ до швидких збірок, закритих багів і внутрішніх документів. Головна різниця в іншому: в Google проекти це фічі заради промоцій в менеджерській ієрархії, а в Igalia це code health і tech debt від інженерів, при плоскій структурі без менеджерів, з однаковою зарплатою для всіх і голосуванням за рішення.

Виходить, щоб спокійно чистити код Chromium, іноді треба звільнитись з Google.

GitHub - johnrash/bebox: Haiku native PowerPC and Hobbit BeBox Emulator · GitHub

BeBox це нативний емулятор для Haiku, що відтворює двопроцесорний компютер BeBox, на якому народилася BeOS. Він запускає обидві PowerPC моделі на 66 і 133 МГц з оригінальних boot ROM і тягне BeOS від Developer Release 6 до R5.0.3, а також ранні Hobbit прототипи на AT&T 92010 з системою 1993-94 років. Емульовано майже все залізо: процесори з software TLB, міст MPC105, відео на S3 Vision864 або Cirrus Logic, звук Crystal CS4231A, SCSI, IDE, floppy, serial порти, Ethernet через NAT і shared folders, що виглядають як SCSI диск.

Судячи зі списку авторів, де першим значиться Claude Opus 5.5, ностальгією за BeBox тепер хворіють і моделі.

Scientists vote to end leap seconds, redefining how the world keeps time | Scientific American

На конференції CGPM у Версалі вчені та дипломати проголосували за скасування leap second і перехід на безперервний UTC з 20 травня 2027 року. Замість того, щоб кожні кілька років підганяти атомний час під обертання Землі, тепер допускатимуть розбіжність між UTC і UT1 до цілої години. Головною причиною стало прискорення обертання планети і загроза негативної секунди, яка могла влаштувати цифровій інфраструктурі міні Y2K. За прогнозами, перший leap hour знадобиться не раніше ніж за тисячу років.

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

Bringing the magic: Google breaks open a bottleneck in quantum computing

Google Quantum AI вперше показала на реальному залізі метод magic state cultivation на процесорі Willow, результати опубліковані в Science. Він знижує кількість помилок приблизно в 40 разів і дає T-states з logical fidelity 99.99%. Ідея працює як фільтр: шумний стан вводять у малу ділянку чипа і серією вимірювань відсіюють невдалі спроби, а потім переносять очищений стан з color code у surface code. Це знімає один з головних бар'єрів масштабування, бо створення magic states могло забирати до 95% ресурсів квантового комп'ютера, хоча для практичних задач метод ще треба масштабувати.

Matt Mullenweg Orders Accessibility Revert, Tells Core Committer to “Contribute Your Talents to Another Project” - The Repository

Метт Малленвег наказав відкотити зміни для доступності admin notices, які йшли в core шість років, і позбавив багаторічного core committer Андреа Ферчіа всіх посад у WordPress.org. Формальним приводом став баг з лічильником сповіщень у заголовку сторінки, який показував неіснуючі сповіщення, але Малленвег заявив, що просто більше не зацікавлений у його внесках. Акаунт Ферчіа ненадовго заблокували, потім відновили через нібито непорозуміння, а зміни повернули на доопрацювання на тлі нової хвилі напруги навколо Accessibility Team.

Meta’s new commercial terms will allow the scraping of news sites, legal experts say | Nieman Journalism Lab

З 30 жовтня оновлені commercial terms Meta дозволять компанії за допомогою web scrapers збирати контент із сайтів, пов'язаних з business accounts у Facebook, Instagram чи WhatsApp, і використовувати його для training AI. На думку юристів, під ці умови підпадають фактично всі новинні видавці, а формулювання дає Meta привід ігнорувати robots.txt і обходити реєстраційні стіни через тестові акаунти. Окремо відмовитися не можна, незгода означає повну відмову від бізнес-продуктів Meta.

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

RPKI Now Protects 70% of Internet Routes, Up From 54% a Year Ago | IPinfo.io

Частка маршрутів зі статусом RPKI-valid зросла з 54% у вересні 2025 року до 70,3% у вересні 2026 року, і левову частку стрибка дав Китай, де покриття підскочило з 3,7% до 83% IPv4-адрес. Захист реально працює: валідні маршрути бачать близько 596 точок спостереження RIPE RIS і RouteViews, а невалідні лише дві, тобто їх просто відкидають. Водночас RPKI перевіряє тільки origin, а не path, тож 16,2% IPv4-маршрутів лишаються вразливими через занадто вільний maxLength у ROA, як у випадку з викраденням префікса Hetzner. Паралельно швидко росте ASPA для перевірки шляху, з 131 до 3272 мереж за рік, але вона поки реально покриває лише кілька відсотків маршрутизації.

Хто б міг подумати, що локомотивом безпеки інтернету стане Китай, а гальмом - один сирійський оператор з неповним записом.

Thank you, Deno | vlt /vōlt/

Команда Deno приєднується до Cloudflare, розвиток окремого runtime згортається, а JSR продовжить жити на інфраструктурі Cloudflare. Deno так і не став масовим у продакшені, але саме його тиск змусив Node додати fetch, WebSocket, test runner, permission model, type stripping та інше, а конкуренція з Bun змусила сам Deno повернутися до сумісності з npm і Node. Схожа історія з пакетними менеджерами: Yarn, pnpm, Bun і vlt роками проштовхували lockfile, швидкий install і вимкнені за замовчуванням install scripts, поки npm 12 нарешті це не підхопив.

Виходить, найнадійніший спосіб покращити Node це спробувати його поховати.

2018–2025 (c) Списуй але не один в один