Дайджест #94. Середа, 28 жовтня

Це підбірка за 28 жовтня 2026. Свіжа порція новин лежить на головній сторінці дайджесту.

A $2^{o(n)}$ Time Algorithm for 3-SAT · Hexagon

Anthropic опублікувала роботу, в якій заявляє про детермінований алгоритм для 3-SAT з часом роботи 2^{o(n)}, що спростовує Exponential Time Hypothesis (ETH). Стверджується, що алгоритм розв'язує навіть складнішу задачу підрахунку #3-SAT. За описом авторів, алгоритм знайшла внутрішня дослідницька модель Claude без людського втручання, результат формалізовано в Lean 4, а паралельно схожий результат нібито отримала модель OpenAI.

Python's experimental JIT to be removed [LWN.net]

Експериментальний JIT, який додали в CPython 3.13 у 2024 році, приберуть з main гілки. Керівна рада вимагала прийнятий PEP з гарантіями підтримки, сумісності та чіткими метриками успіху, тож автори підготували PEP 836, але зрештою відкликали його через брак часу і високу планку вимог. Раду не влаштували розмиті плани підтримки, безпеки та впливу на користувачів, а перевірку сумісності з топовими пакетами PyPI вона хотіла значно раніше за запланований 2028 рік.

Схоже, з назвою JIT Go Brrr шансів пройти бюрократію було небагато.

Apple introduces the new 14-inch MacBook Pro with M6 - Apple

Apple представила 14-дюймовий MacBook Pro на новому чипі M6 з 12-ядерними CPU і GPU, Neural Accelerators у кожному графічному ядрі та подвійним 16-ядерним Neural Engine. Порівняно з M5 графіка стала швидшою до 30%, а AI-задачі до 25%, тоді як проти M1 приріст сягає 11x у графіці та 13x в AI. Ноутбук отримав Wi-Fi 7, Bluetooth 6, до 24 годин роботи від батареї, дисплей Liquid Retina XDR з опцією nano-texture і працює на macOS 27 з Siri AI та Apple Intelligence. Ціна від $1999, передзамовлення з 28 жовтня, у продажу з 6 листопада.

Tailscale SSH: Investigation and remediation update

Tailscale розслідує уразливості в Tailscale SSH, більшість з яких стосуються privilege escalation, коли авторизований користувач може вийти за межі прав свого локального користувача. Компанія поки не радить всім вимикати SSH, але просить обмежити доступ і за можливості вимкнути SSH forwarding через TS_SSH_DISABLE_FORWARDING=1 в tailscaled. Виправлений клієнт планують випустити до кінця 27 жовтня, після чого опублікують security advisory з деталями.

PHP2Shell: Exploitation Attempts and Remediation Trends | Wiz Blog

Wiz за тиждень після розкриття PHP2Shell (CVE-2026-109618, CVE-2026-109619) фіксує падіння кількості вразливих internet-exposed машин на 67%, а частки сильно уражених організацій приблизно наполовину. У власній телеметрії та honeypot дослідники не бачили жодного успішного end-to-end exploitation, лише спроби на базі публічного exploit kit. Legacy ланцюжок сипався на ліміті post_max_size або не досягав memory exhaustion, а актуальний хоч і стабільно викликав memory exhaustion, але провалювався на memory leak і worker pinning через різницю в PHP build, memory limit та конфігурації Apache. Окремо ходять інструменти з брендом PHP2Shell, які насправді використовують старий session poisoning і потребують LFI ендпоінт на кшталт lfi_sink.php.

Єдиний публічно підтверджений RCE поки стався на тепличному single-worker mod_php honeypot, але це не привід відкладати патч.

Gforth 1.0 NEWS

Gforth 1.0 значно розширив текстовий інтерпретатор за рахунок recognizers: нові формати літералів у коді, явне вказання vocabulary, непарсинговий синтаксис для value і defer слів та підстановка environment variables. З'явилися IDE можливості на кшталт locate, browse, where, backtrace з прив'язкою до source, розумний `...` для перегляду стека і статусний рядок, а також multitasking на кількох ядрах з mutex, message queues і Cilk. Також додані callbacks у C interface, sections словника, closures, гнучкі header methods для зміни поведінки слів, а оптимізації IP-update і literal stack підняли швидкість до рівня SwiftForth.

writing about pratt parsing so I remember it | ~yosh

Автор пояснює pratt parsing як розвиток shunting yard algorithm для розбору виразів на C. Shunting yard працює з output stream і operator stack, але погано розширюється на дужки, унарні оператори чи функції зі змінною кількістю аргументів. Pratt parsing замінює явний стек на call stack і прокидає left binding power у рекурсивні виклики expr(), повертаючись коли пріоритет наступного оператора менший. Це дає окрему обробку prefix токенів (nud) та infix/postfix операторів (led) і дозволяє додавати нову поведінку окремими функціями.

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

Open3DLab • Roblox downloaded 145 GB of models from our sites (including adult content) without asking

15 і 16 жовтня 2026 crawler з user agent trellis2-data-sourcing/1.0, що вказував на Roblox, перебрав майже весь каталог Open3DLab, SFMLab і SmutBase та завантажив 1027 файлів із 712 проєктів обсягом 145.5 GB. Він проігнорував robots.txt, Terms of Service і ліцензії авторів, причому 423 проєкти мали non-commercial ліцензії, а 345 були adult-контентом, включно з 224 проєктами з дорослого SmutBase. Адміністрація вважає це збором training data для 3D foundation model Roblox Cube, заблокувала crawler і надіслала запити, на які Roblox не відповів.

Особливо дико виглядає масове копіювання adult-контенту компанією, чия основна аудиторія діти.

Inside Wikipedia’s Cleanup of AI-Generated Content - IEEE Spectrum

Співзасновниця WikiProject AI Cleanup Еллія Лебльо розповідає, як волонтери з 2023 року шукають і видаляють з Вікіпедії тексти, згенеровані LLM, що порушують правила енциклопедії. Якщо раніше їх видавали кліше і розділи на кшталт "Why is this important?", то тепер доводиться дивитися на стильові патерни, аномальну швидкість редагувань і фейкові цитати, які не підтверджують написане, а за оцінкою через Pangram наприкінці 2025 року близько 20% нових статей і чернеток були згенеровані AI. Англомовна Вікіпедія вже прямо заборонила генерувати статті за допомогою LLM, паралельно тестують інструменти на кшталт AI source verifier і Paste Check, а сама енциклопедія все більше позиціонує себе як чисто людський корпус, цінний зокрема для тренування моделей.

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

AI Promised Less Work. I Have Never Worked More. - Orestis Ioannou

Автор, VP of Technology, який повністю перейшов на роботу з AI agents, показує на власній GitHub-статистиці, що у 2026 році його активність повернулася до рівня найзайнятіших full-stack років з рекордними 427 contributions за серпень. Проблема не у складності задач, а в кількості: кілька агентів працюють паралельно, і кожен регулярно повертається з питанням, планом на approve чи diff на review, тож головною втомою стає постійний context switching. Оскільки implementation став дешевим, легко набирати роботу, яку раніше б проігнорував, тому рік складається з циклів ентузіазму і відкату, а навіть спокійні місяці вже не відчуваються спокійними.

AI таки скоротив робочий тиждень, просто тепер всі сім днів вміщаються в один.

Kibernetyk Mono

Kibernetyk Mono це геометричний monospace, натхненний українською школою кібернетики, з жорсткими спрощеними формами під інтерфейси ранніх мейнфреймів і факсів. Шрифт має 7 weights, 600 гліфів, підтримку латиниці та кирилиці, а також повноцінні box-drawing і block символи для коду, таблиць і термінальної графіки. Він безкоштовний за ліцензією SIL Open Font License 1.1, доступний у форматі TTF із сирцями на GitHub.

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

The Mythical Man-Month in the age of AI - Jan van den Berg

Закон Брукса про те, що докидання людей у проєкт, який запізнюється, робить його ще пізнішим, в епоху AI agents нікуди не зник, а просто мутував. Послідовні задачі лишились послідовними, а місце онбордингу і стендапів зайняв новий overhead: формулювати вимоги, робити review, ловити hallucinations і зшивати все докупи. Без чіткої orchestration дев'ять агентів просто переписують роботу один одного по колу, тільки швидше.

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

Software may be getting worse, but it used to be horrible - bitlog.com

Ностальгія за старим софтом хибна: у 90-х і 2000-х все постійно падало в Blue Screen of Death через криві драйвери, програми не мали нормального autosave і втрачали години роботи, а безпеки фактично не існувало. Доводилося вручну ганяти Disk Defragmenter, щоб комп'ютер взагалі вмикався, софт на CD помирав від подряпини, ігри на кшталт Diablo II тонули в читах і дюпах, а кнопка Turbo на системнику сповільнювала CPU, бо програми були прив'язані до тактової частоти. Сучасний софт роздутий і складний, але ізоляція процесів, автооновлення і мови високого рівня все одно зробили його на порядок надійнішим.

Звичка тиснути Ctrl+S кожні десять секунд це не педантичність, а колективна травма тих часів.

What Engineers Still Need to Know When AI Agents Code

В епоху AI agents володіння системою вже не означає написати кожен рядок власноруч, а означає мати карту абстракцій і відчуття, де ховаються проблеми, щоб вчасно зануритись на потрібну глибину. Автор пропонує три опори такого ownership: fundamentals у вигляді алгоритмів, мереж і concurrency, breadth як широкий кругозір для розпізнавання знайомих патернів збоїв, та just-in-time depth як готовність швидко розбиратись у чужому коді під тиском. Перевіряти кожен рядок від агента так само нереалістично, як і взагалі не дивитись у код.

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

iMac - Apple

Apple оновила iMac до чипа M6, зберігши тонкий корпус у семи кольорах і 24-дюймовий 4.5K Retina дисплей з яскравістю 500 ніт та опцією nano-texture скла. Новий чип має швидший CPU, Neural Accelerator у кожному ядрі GPU і перший Dual 16-core Neural Engine, підтримує до 32GB unified memory, а Apple обіцяє до 18x швидше за популярні Intel iMac, до 12x швидше за M1 і до 5x швидше в on-device AI за M4. Також тут 12MP камера з Center Stage і Desk View, мікрофони студійної якості і звук із шести динаміків з Spatial Audio, до чотирьох портів Thunderbolt 4, Wi-Fi 7, Bluetooth 6, підтримка двох зовнішніх 6K дисплеїв та функції Apple Intelligence з Siri AI.

Greg Abbott Took $9M From Data-Center Donors. Now He Regulates Them. - Gadget Review

Губернатор Техасу Грег Ебботт, який призупинив підключення дата-центрів до електромережі і вимагає скасування їхніх податкових пільг, з липня 2025 року отримав близько 9 млн доларів від донорів, пов'язаних з цією індустрією, що становить приблизно 13% усіх зібраних ним коштів. Найбільші транші надійшли саме після його регуляторних заяв, включно з 2,8 млн доларів у серпні після оголошення паузи, серед донорів Джо Геббіа, Ілон Маск та структури, що будують hyperscale дата-центри в Техасі. Мільйонні суми від пов'язаних з дата-центрами донорів також отримали віцегубернатор Ден Патрік, спікер Дастін Берроуз та контролер Дон Хафайнс, які у 2027 році визначатимуть правила оплати мережі, споживання води та інфраструктурних витрат.

Microsoft offers to buy out a quarter of its workforce - Ars Technica

Microsoft запропонувала добровільні виплати за звільнення приблизно 60 тисячам співробітників у США, Індії, Канаді та Британії, це близько чверті всього штату і стосується рівнів до 70 включно. Компанія прямо не називає причину, але крок відбувається на тлі урізання витрат через великі інвестиції в AI-інфраструктуру та дата-центри. Це вже друга така програма за 2026 рік після квітневого пакета для 8750 працівників і липневих скорочень в Xbox на 3200 людей.

“AI Skills” are worthless in 2026 - The Fishbowl

Автор порівнює нинішні трюки роботи з моделями з давнім фольклором про i++ і ++i в C, який давно знецінили оптимізуючі компілятори. На його думку, будь-який дієвий прийом на кшталт prompt engineering за кілька місяців вбудують у продукт і він стане поведінкою за замовчуванням. Тому навичка, яку можна підхопити за тижні і яка застаріє за місяці, має цінність лише в моменті, і гнатися за першістю в AI перегонах немає сенсу.

Схоже, головний AI skill тепер це вміння вчасно забувати торішні AI skills.

Spec-first agentic development · spec-first.dev

Плагін для Claude Code пропонує замінити vibe coding на spec-first підхід, де кожна зміна починається з письмового spec у репозиторії. Ви описуєте фічу своїми словами, а команди create-spec, review-spec, apply-spec і deliver-spec пишуть spec, перевіряють його свіжим ревʼю проти коду, будують в окремому worktree і відкривають pull request лише після зелених build і тестів. Усі specs, рішення та памʼять лежать як YAML і Markdown поруч з кодом, тож можна вести кілька задач паралельно і відновлювати роботу з context.yaml.

Genie 4: A new generation of world simulation — Google DeepMind

DeepMind представила Genie 4, нову world model для інтерактивної симуляції у real-time з підвищеним фотореалізмом, фізикою, природним рухом людей і нативним аудіо включно з діалогами. Сцену можна змінювати природною мовою просто під час симуляції, а моделі сімейства Gemini у фоні стежать за зв'язністю світу, виконують багатоступеневі сценарії та допомагають з робототехнікою. Поки це research preview для довірених тестерів, далі доступ відкриють підписникам Google AI Ultra в Project Genie і партнерам Gemini API та Google AI Studio.

1.4.0 - Release Notes

Ghostty 1.4.0 вийшов після 7 місяців роботи 172 авторів і приніс великі покращення швидкості та пам'яті: парсинг plain ASCII тексту прискорився у 5.7 раза, а прозора компресія scrollback ріже resident пам'ять на 70-90% і дозволила підняти ліміт за замовчуванням до 50 MB. Ghostty став першим терміналом після самого Kitty зі 100% підтримкою Kitty graphics protocol, включно з анімацією і relative placements, плюс реалізував Kitty clipboard protocol з читанням картинок і HTML. Окремо з'явились новий EGL renderer на Linux з чітким текстом при fractional scaling, drag-and-drop сплітів у GTK, команда ghostty +ssh для налаштування remote хостів і підтримка macOS 27.

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

Early progress on accelerating drug development with Claude \ Anthropic

Anthropic відзвітувала про перші результати роботи своєї life sciences команди з шістьма біотех-компаніями, де Claude залучали до реальних програм розробки ліків. Claude допомагав перепроєктувати CAR T-терапію для солідних пухлин у Generate Biomedicines, згенерував близько 35 тисяч дизайнів антитіл проти харчової алергії для Divergence Labs, покращив зв'язування і стабільність антитіл у BigHat, а в Enveda скоротив час перевірки виробничої документації на 89% і писав чернетки regulatory filings за години замість місяців. Паралельно Anthropic запустила власні програми, зокрема проти рідкісних форм м'язової дистрофії, де кандидат пройшов шлях від ідеї до обнадійливих результатів у мишей менш ніж за 18 місяців.

Поки що це переважно доклінічні результати, тож до реальних ліків ще кілька років перевірок.

Apple introduces the new 14-inch MacBook Pro with M6 - Apple (IN)

Apple представила 14-дюймовий MacBook Pro на новому чипі M6 з 12-core CPU, 12-core GPU та Dual 16-core Neural Engine. Порівняно з M5 графіка стала швидшою до 30%, AI-навантаження до 25%, а батарея тримає до 24 годин. Ноутбук отримав Wi-Fi 7, Bluetooth 6, Liquid Retina XDR дисплей з опцією nano-texture і працює на macOS 27 з новою Siri AI та Apple Intelligence. Передзамовлення стартують 28 жовтня, у продажу з 6 листопада.

Порівняння з M1 на 11x традиційно в комплекті, щоб приріст відносно M5 не виглядав надто скромно.

Four Months of Zig - Anna Liberty

Авторка після чотирьох місяців повернення в Zig ділиться досвідом на власних проєктах на кшталт snurl для smallnet протоколів і порівнює його з Rust. Хвалить явні allocator та IO параметри, comptime, build system, культуру мінімізації залежностей, просту обробку помилок через try і дуже швидку incremental compilation. Критикує нестабільність стандартної бібліотеки до 1.0, слабку документацію, відсутність допомоги з lifetime, неможливість парсити JSON в comptime без allocator і bootstrap через WASM blob, який блокує пакування для Debian.

Непрацюючий fuzzer прямо в шаблоні від zig init це чесний спосіб сказати, що документацію теж ще не написали.

One year of Dioxus fullstack in production: the good, the painful — OXIDT

Соло-розробник рік тримав у продакшені два SaaS на Dioxus 0.7 fullstack, де один код на Rust працює як сервер, server functions і клієнт на WebAssembly. Плюси це спільні типи між backend і UI без OpenAPI, рефакторинг під наглядом cargo check і нудний продакшн без класичних JS-помилок. Мінуси це компіляція під дві цілі, близько 22 хвилин для WASM і до 90 хвилин для релізного образу на GitHub runner (40 хвилин на власному VPS), OOM у Clippy, а ще близько 340 рядків JS-клею для Chart.js і Bun для Tailwind у CI. Для звичайних дашбордів автор вважає WASM-податок зависоким і наступний проєкт хоче спробувати Topcoat від tokio-rs, який рендерить на сервері і генерує JavaScript без WASM.

Лінтер, якому потрібен окремий swapfile, звучить як остаточний аргумент за self-hosted runner.

Choose Your Backend: Three TLS Bugs in GoAhead - FoxIO | Cyber Innovation

У вбудованому вебсервері GoAhead, що крутиться на сотнях мільйонів IoT, мережевих і промислових пристроїв, знайшли три окремі баги в TLS інтеграціях. Найкритичніший у OpenSSL backend: CRL завантажується в store, але без флага X509_V_FLAG_CRL_CHECK, тому відкликані клієнтські сертифікати проходять mTLS handshake. У Mbed TLS backend через помилку з sizeof 2048-бітний DH modulus урізався до одного байта, тож TLS 1.2 DHE_RSA трафік може розшифрувати пасивний спостерігач перебором 8 значень. Третій баг у legacy verifier LibreSSL підміняє помилку CERT_CHAIN_TOO_LONG на issuer error, що дозволяє обійти ліміт глибини ланцюжка при вимкненому VERIFY_ISSUER.

The US Government Is Hiding a Secret Court Ruling About How It Spies on Americans | WIRED

Сенатори Вайден і Шифф заявляють, що адміністрація Трампа незаконно приховує березневе рішення FISA court про порушення під час стеження за американцями за програмою Section 702, хоча термін його публікації сплив 13 вересня. Суд визнав, що фільтри для виокремлення листування американців з перехоплених даних є повноцінними обшуками без належних дозволів та обліку, і наказав їх переробити. Попри це розвідка вимагає від Конгресу поновити програму до кінця року, а Мінʼюст, за словами законодавців, оскаржує частину цих обмежень.

Making Content from Discoverable Servers Easier to Discover

Discord відкриє вміст найбільших публічних спільнот для вебу, щоб відповіді з чатів можна було знайти через звичайний пошук. З 16 листопада 2026 кожен Discoverable Server отримає Server Web Page з Channel Summaries активних обговорень, а з середини грудня там і в пошуку почнуть з'являтися окремі Channel Messages без юзернеймів та аватарів. Адміни можуть виключити канали в Server Settings > Web Presence, а користувачі можуть заборонити показ своїх повідомлень в User Settings > Data and Privacy, приватні сервери і DM зміни не зачіпають.

Anthropic illegally trained Claude with Stanford professors’ books

Федеральний суд визнав, що Anthropic незаконно качала книжки понад 10 професорів Стенфорда з тіньових бібліотек на кшталт LibGen і PiLiMi для тренування Claude. Піратське створення центральної бібліотеки суд заборонив, але тренування на легально придбаних книжках визнав fair use. У справі Bartz v. Anthropic компанія погодилася на settlement у $1.5 млрд за майже 500 тис. творів, проте Тобіас Вулф і Чан-Ре Лі від нього відмовилися і подали окремий позов Cruz v. Anthropic з вимогою до $150 тис. за кожен твір.

PHP2Shell, LiteLLM, GitLab: Find What You Need to Patch

Між 16 і 23 жовтня 2026 року сталося одразу шість гучних інцидентів: pre-authentication RCE в PHP під назвою PHP2Shell, RCE через Brotli декодер в Node.js, unauthenticated RCE з CVSS 10.0 в GitLab, реліз LiteLLM 1.107.0 зі стилером хмарних креденшнлів, витік API ключів в OpenCode Console і компрометація приватних ключів CA eMudhra, один з яких був числом 4. Фікси для PHP, Node.js і GitLab вийшли 21 жовтня, причому спроби експлуатації PHP2Shell зафіксували ще за чотири дні до розкриття. Оновитися легко, а важко швидко знайти у власних AWS і Azure акаунтах, де крутиться вразливий runtime, чи він доступний з інтернету, хто за нього відповідає і до яких ролей та секретів він має доступ.

Police Are Using AI to Pull Over Drivers for ‘Suspicious’ Behavior

ACLU попереджає, що поліція в США все частіше використовує ALPR-камери та AI-інструменти, щоб зупиняти водіїв через нібито підозрілі маршрути навіть без підозри в конкретному злочині. Як приклад наводиться історія жінки, яку під час роадтріпу зупинив агент ФБР і показав їй мапу її переміщень з фото номерного знака, зібраних камерами вздовж трас. Правозахисники наголошують, що системи на кшталт Flock Safety без ордера збирають дані про мільйони водіїв, що вже призводить до помилкових зупинок, зловживань і судових позовів, а частина міст відмовляється від цих контрактів.

Vicious Cycles, by Greg Jackson

Новини перестали бути розповіддю про важливе і стали виробництвом pseudo-events, де політика це шоу емоцій, а журналістика його обслуговування і коментар кар'єр. Формат вимагає постійної тривоги і залучення, але не дає людині жодної реальної дії, крім як дивитися далі. Тому інформація не перетворюється на знання, а світ у голові глядача стає hyperreality, скроєною під рейтинги, де opinion лише підтверджує те, у що вже вірять.

Схоже, ми боїмося не поганих новин, а тиші, яка настає після них.

Survival LLM

Survival LLM це безкоштовний open source AI-асистент і аварійна бібліотека, що повністю працює на вашому комп'ютері без інтернету після одноразового налаштування. Він відповідає на питання на кшталт безпеки їжі при blackout, опіків чи очищення води, спираючись на перевірені джерела і показуючи цитати з них. Всередині близько 930 тисяч статей Wikipedia, медичні довідники, гайди FEMA і CDC, армійські мануали з виживання, wikiHow, iFixit та інше, плюс можна додати власні PDF і нотатки. Залежно від пам'яті комп'ютера застосунок сам обирає модель, від IBM Granite 8B до NVIDIA Nemotron, а всі запити нікуди не відправляються.

Ідея проста: скачати все, поки інтернет ще є.

Raspberry Pi Zero 3 W and Pi 4 Model A on the Way? - bret.dk

У Linux kernel tree Raspberry Pi помітили device tree файли для Raspberry Pi Zero 3 W і Raspberry Pi 4 Model A, офіційного анонсу поки немає. Zero 3 W має перейти на Broadcom BCM2711 з quad-core Cortex-A72 від Pi 4 замість Cortex-A53, а також отримати один HDMI, SPI flash bootloader, кнопку живлення і звичний 40-pin GPIO. Pi 4 Model A повторює класичну формулу A: без Ethernet і 3.5mm роз'єму, з одним HDMI, microSD і підтримкою перемикання на зовнішню антену як у Compute Module 4. RAM, тактові частоти, ціни і дати виходу невідомі, бо device tree їх не описує.

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

CFSG in Lean

AxiomMath заявляє про повну формалізацію в Lean класифікації скінченних простих груп за first-generation proof, де кожен логічний крок перевірений kernel Lean. Проєкт охоплює 43,1 млн рядків коду, 2,05 млн declarations і 100 milestones на основі 715 статей і книг, з інтерактивною мапою доведення. Під час роботи знайшли контрприклади до одного з тверджень в опублікованому доведенні Unbalanced Group Theorem і запропонували альтернативний маршрут для випадку простих груп.

43 мільйони рядків Lean, які ніхто ніколи не прочитає, зате компілятор вже прочитав.

Announcing our $100M raise | Hex

Hex анонсувала Hex 4.0, повністю переписану з нуля agent native платформу, і закрила раунд на $100 млн з оцінкою $1.2B на чолі з Peak XV. Нова архітектура ставить в основу plain code замість пропрієтарних форматів, щоб робота з даними могла відбуватися в будь-яких інструментах на кшталт Cursor чи Claude, але з контекстом, контролем і governance. Причиною стала стара архітектура 2020-2021 років, яку вже не виходило зробити по-справжньому agent native, а класичний BI в компанії вважають мертвим.

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

Amazon Is Gutting Its AI Division After Sustained Failure

Amazon згортає розробку більшості своїх AI моделей Nova після того, як вони провалилися на тлі конкурентів на кшталт ChatGPT, Claude і Gemini. Текстові, відео та іміджеві моделі переводять у режим мінімальної підтримки, а людей і обчислювальні потужності кидають на єдиний frontier проєкт під керівництвом Пітера Аббіла. Тижнем раніше компанія також закрила свій ключовий AI офіс у Сан-Франциско, що досліджував AGI.

Схоже, єдиний AI від Amazon, який знають усі, так і залишиться Alexa, що вмикає світло через раз.

Monarchs report their locations via… cell phone? | Virginia Tech News | Virginia Tech

Дослідники з Virginia Tech відстежують міграцію метеликів монархів за допомогою радіоміток вагою менше пів грама. Мітки випромінюють Bluetooth сигнал, який підхоплюють смартфони, автомобілі й стільникові вежі та передають координати вченим у реальному часі. Поки що так помітили 35 метеликів з трьох регіонів Вірджинії, щоб зрозуміти їхні маршрути до Мексики, швидкість і поведінку в дорозі.

Схоже, у метеликів тепер кращий роумінг, ніж у мене за містом.

NSF–DOE Vera C. Rubin Observatory Reveals Its First Dwarf Planet Candidate in Our Solar System | Rubin Observatory

Обсерваторія Vera C. Rubin виявила за орбітою Плутона кандидата в карликові планети 2026 ED138, про відкриття оголосив Minor Planet Center. Зараз об'єкт перебуває на відстані близько 46 астрономічних одиниць від Сонця, а його розмір оцінюють у 600-1500 км, що робить його одним з найбільших відомих trans-Neptunian об'єктів. Його знайшли серед мільярдів детекцій за допомогою спеціального пошукового коду, а архівні кадри з DECam дозволили простежити орбіту більш ніж за 10 років.

Neuron Persona Library

Дослідники по черзі зсували активність кожного з 442 368 MLP-нейронів моделі Qwen3-8B вгору і вниз, після чого питали її Who are you? У 34 220 з 884 736 відповідей модель називала себе кимось іншим, а не AI. Для чистоти використовували greedy decoding до 160 токенів, а категорію, імʼя персони та weirdness оцінював Claude Haiku 5.5. Усі випадки зібрали у відкриті atlas по шарах і library персон з пошуком.

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

A400000 - OEIS

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

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

Is my data used for model training? | Anthropic Privacy Center

За замовчуванням Anthropic не використовує inputs та outputs з комерційних продуктів на кшталт Claude for Work, Anthropic API і Claude Gov для training моделей. Виняток це явний фідбек через кнопку thumbs up/down: тоді вся розмова зберігається до 5 років у захищеному сховищі і може піти в training, але вже без прив'язки до user і customer ID. Власники Team або Enterprise планів можуть взагалі вимкнути цю кнопку через налаштування Rate chats в розділі Data and Privacy.

How to stop Google using your Gmail and Photos for ads | Proton

16 жовтня Google оновила privacy policy і дозволила собі використовувати контент з Gmail, Drive і Photos для реклами в Search, якщо ви підключите ці застосунки до Personal Intelligence. Формально це opt-in, але після підключення Search використовує саммарі, уривки й висновки з ваших листів і фото для персоналізації реклами та тренування AI-моделей, а саме відключення не видаляє вже збережену Search Services History. Вимкнути це можна в Google Account у розділі Data & privacy через налаштування персоналізації, після чого варто окремо видалити історію та перевірити My Ad Center.

I've used WordPress for 20 years, and I've stopped recommending it | Hatamoto

Власник агенції після 20 років і понад 1500 комерційних сайтів більше не радить клієнтам WordPress через постійні поломки від оновлень плагінів, нульовий sandbox, тисячі вразливостей щороку, повільність без купи додаткових плагінів і залежність від рішень однієї людини. Замість латання старого він зробив Hatamoto, один бінарник на Go з PostgreSQL, де плагіни живуть у WebAssembly sandbox з чіткими дозволами, оновлення самі себе перевіряють і роблять rollback, а форми, кеш, redirects, schema, webhooks, REST API і MCP server для AI-агентів вже вбудовані в core.

Звісно, це наполовину маніфест, наполовину реклама, але біль про білий екран checkout о 8:40 ранку впізнає будь-хто, хто тримав WordPress.

Git for the US Code | Lexifina

Автор пропонує зробити git для Кодексу США, щоб кожна фраза закону мала свого автора у вигляді public law, дату набрання чинності і повну історію, як у коді. Це важливо, бо мовні моделі систематично плутають редакції в часі, а згенерований ними старий текст виглядає правдоподібно, але містить юридично значущі помилки. Команда з 2017 року програмно застосовувала amendatory інструкції до старих release points і у 361 з 365 змін отримала точний збіг з офіційною версією. У підсумку можна обрати дату й побачити чинний на неї текст з підсвіткою, який акт яку фразу написав.

Залишилося дочекатися, коли Конгрес почне приймати pull request.

Reviewers rarely talk about reliability. Owners bring it up twice as often

BettaScore порівняв понад 10 тисяч думок про 657 товарів: власники на Reddit згадують надійність, довговічність і підтримку вдвічі частіше за YouTube-оглядачів, і 70% цих згадок негативні. Найбільший розрив у роботах-пилососах (1% проти 18%) і самоочисних лотках (3% проти 39%), бо поломки вилазять через місяці після огляду. Про застосунки і софт говорять однаково часто, але власники сварять їх набагато жорсткіше, 71% негативу проти 21% в оглядачів.

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

GitHub - maharmstone/moxnox: NT-like POSIX-compatible operating system · GitHub

Moxnox v1.0 це хобі-ОС на близько 130 тисяч рядків C++, яка поєднує дизайн ядра в дусі Windows NT з POSIX-сумісністю. Вона працює на amd64 і aarch64, живе на btrfs і достатньо зріла, щоб збирати саму себе, а в комплекті йде повний GNU userland з десятками портів від bash до python і gcc. Реалізовано 642 з близько 1200 функцій POSIX 2024, бінарники у форматі PE, сигнали через APC, але GUI, безпеки і Win32 поки немає.

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

Code-execution flaw in UEFI firmware affects most servers on planet Earth - Ars Technica

У відкритій кодовій базі EDK II, на якій побудований UEFI firmware більшості серверів, знайшли критичну уразливість CVE-2026-97631 з рейтингом 9.5. Це 16-річний buffer overflow у PXE драйвері, коли oversized ICMP повідомлення під час network boot перезаписує пам'ять за межами 504-байтного поля і дає виконання коду в ring 0 ще до Secure Boot і TPM. Атака працює лише для машин із завантаженням по мережі і вимагає доступу до локальної мережі в момент завантаження, а експлойт потрібно підганяти під конкретну збірку firmware.

Hunger beats tenure: Advice for junior engineers

Менеджер з найму в Anthropic відмовився від традиційних coding interview, бо Claude вже розв'язує такі тестові задачі на React чи assembly краще за кандидатів. На його думку, з AI вага накопичених років досвіду падає, а вперед вириваються голодні новачки зі свіжим поглядом, які ще не вивчили слово неможливо. Він радить джунам цілитися в business impact, а не в backlog, обрати одну амбітну ідею і за вікенд побудувати робочий прототип, щоб обійти PRD, buy-in і місяці узгоджень.

GUI для Claude Code, до речі, так і з'явився: двоє новачків зібрали його за вихідні, а зашипили за вісім днів.

Expanding our partnership with GSA to bring Claude to all levels of government \ Anthropic

Anthropic розширила партнерство з GSA і дає державним структурам США знижку 40% на Claude Enterprise, Claude for Government і Claude API. Знижка вперше діє на всі канали купівлі, включно з прямими контрактами і cloud-провайдерами, та поширюється на уряди штатів, місцеві, племінні й територіальні. За оцінкою, це зекономить уряду $1 млрд, при цьому немає мінімального порогу витрат. Зараз Claude використовують близько 500 держорганізацій, а щотижнева активність у Claude for Government з лютого зросла приблизно у вісім разів.

Announcing Artificial Analysis Intelligence Index v5 | Artificial Analysis

Artificial Analysis випустила Intelligence Index v5, найбільше оновлення з січня, де вже 60% оцінки побудовано на приватних benchmark із закритими відповідями щоб уникнути contamination. До складу додали FrontierCode 2.0 і Terminal-Bench-Science, оновили HLE-Diamond, AA-Omniscience v1.1 і CritPt v2, а паралельно запустили Progress Index v1 для відстеження прогресу моделей на єдиній шкалі з 2022 року. Лідирує Claude Opus 5.5 з балом 58, трохи випереджаючи GPT-6 Astra і GPT-6.1 Sol, при цьому розрив з open weights моделями зріс з 3 до 12 пунктів, а ціна за задачу серед лідерів відрізняється більш ніж у 13 разів.

Popcorn 1.0: Moving from AtomVM to OTP/BEAM

Popcorn 1.0, бібліотека для запуску Elixir у браузері, перейшла з AtomVM на повноцінний OTP/BEAM, скомпільований у Wasm. Причиною стала постійна боротьба за сумісність, бо AtomVM реалізує лише підмножину BEAM і вимагав купу патчів до стандартної бібліотеки. Новий runtime важить 730 КБ і стартує за близько 200 мс проти 80 мс раніше, зате виконує код у 3.4-1800 разів швидше і дає повну підтримку OTP включно з bitstrings, regex та ETS. Заодно проєкт переїхав з iframe на Web Workers, спростив пакування stdlib у .tar.br і додав модуль Popcorn.Fetch, що дозволяє використовувати Req через браузерний fetch() без JS.

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

Billion-query-per-second lookup tables in C++ – Daniel Lemire's blog

Для ключів, відомих наперед, замість std::unordered_map можна згенерувати perfect hash function ще в compile time, де slot це довжина ключа плюс кілька значень з asso таблиці за символами на вибраних позиціях. Пошук зводиться до кількох інструкцій і одного порівняння, яке роблять широким 16-байтовим векторним завантаженням без бранчів. У benchmark на Apple M3 Max це дає 1.2-2 нс на lookup, тобто до 13 разів швидше за std::unordered_map і в кілька разів швидше за gperf, а на M4 пробиває мільярд lookups за секунду.

Після таких цифр std::unordered_map виглядає як доставка пішки при наявності телепорту.

Discovering and exploiting vulnerabilities in critical, real-world software with Claude \ Anthropic

Команда Anthropic Frontier Red Team показала, що внутрішня research-модель Claude вміє сама знаходити критичні вразливості і складати їх у робочі exploit chain за мінімальним початковим промптом. Серед п'яти опублікованих кейсів one-click remote code execution в Chrome з виходом із sandbox (62 CVE), обхід same-origin policy в Safari через data-only атаку без виконання коду, витягування фото із заблокованого Pixel 9 по USB, remote denial of service Windows через out-of-bounds read в QUIC і zero-click remote code execution в Linux kernel через multipath TCP з правами root. Усі вразливості вже передали вендорам і запатчили, а головний висновок команди в тому, що масштабований запуск різноманітних сканувальних агентів з великим test-time compute різко збільшує кількість знахідок, тому сканувати власний код на етапі pull request стає обов'язковим.

Схоже, дефіцит складних експлойтів тепер впирається не в людей, а в compute.

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