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

The Last Proof of Human Craft: Forging a Microsoft Edge Full Chain with Logic Bugs Only! | Orange Tsai

Orange Tsai описав handmade full chain для Microsoft Edge з Pwn2Own Berlin 2026, побудований лише на logic bugs без memory corruption і без AI, який приніс $175 000 і нагороду Pwnie Awards за Epic Achievement. Основою став throttle EdgeCAGuidanceNavigationThrottle, що робить browser-initiated навігацію за URL з query string, а через відсутність source_contents прив'язується до активної вкладки, що дає UXSS з виконанням javascript: URL на довільному сайті в обхід CSP. Для zero-click він обійшов перевірку origin через cross-window навігацію з window.open, popup blocker через whitelist з about:blank#quickAuthPopup, вимогу залогіненого профілю через автоматичний sign-in OneAuth, а email жертви витягнув через CORS misconfiguration на assets.msn.com. Далі через UXSS на привілейованому read:// Immersive Reader, якого немає в blacklist not_allowing_javascript_urls_schemes, він отримав arbitrary file write через chrome.edgeFeedbackPrivate.zipDiagnosticLogFiles за допомогою path traversal і null byte, перезаписав protocols.json щоб дозволити telnet:// з будь-якого origin, підкинув власний telnet.exe у writable директорію з PATH і перезапустив браузер через edge://restart для ACE.

I Used AI to Generate a Scientific Paper - IEEE Spectrum

Журналіст IEEE Spectrum перевірив стійкість наукових журналів до AI slop і за допомогою безкоштовних ChatGPT та Gemini згенерував фейкову статтю про optical solitons, описавши дослідження, яких ніколи не було. В IEEE Access підробку швидко викрили через масові hallucinated references, хоча текст і математика виглядали правдоподібно. Друга спроба з автономною системою FARS була серйознішою: вона сама провела computational експеримент і за дві години написала готову статтю, але її відхилили через надмірну опору на препринти і помітні артефакти в figures.

Схоже, рецензентів скоро рятуватимуть не кращі детектори, а вимога доводити саме походження даних.

Gemini 4 Carbon is the new #1 on the Artificial Analysis Intelligence Index v5 | Artificial Analysis

Google Gemini 4 Carbon посів перше місце в Artificial Analysis Intelligence Index v5 з результатом 59, найкраще показавши себе в складному reasoning, знаннях та наукових задачах. У Coding Agent Index він другий після Claude Opus 5.5, що для Google помітний прорив у coding. Модель також лідирує в AA-Omniscience з низьким рівнем галюцинацій і коштує приблизно на 23% менше за Claude Opus 5.5 в перерахунку на Cost per Task.

Read the letter the FBI sent MLK to try to convince him to kill himself | Vox

Після промови "I Have a Dream" у 1963 році ФБР почало масштабне стеження за Мартіном Лютером Кінгом, намагаючись довести його зв'язки з комуністами. Не знайшовши доказів, агенти записали його позашлюбні стосунки і надіслали йому додому анонімний лист разом із плівками, погрожуючи публічним викриттям і фактично підштовхуючи до самогубства протягом 34 днів. Кінг та його оточення одразу зрозуміли, що лист від ФБР, і він не піддався шантажу.

SMS of Death: zero-click Android telephony DoS

Один спеціально сформований WAP Push SMS на порт 2948 крашить процес com.android.phone через unchecked cast у WapPushOverSms.decodeWapPdu(): довжина заголовка 0x80000000 перетворюється на -2147483648 і провокує NegativeArraySizeException. Атака повністю zero-click і непомітна, вона обриває активні дзвінки включно з екстреними і вирубує зв'язок на 1-2 секунди, а через повторну доставку від оператора один SMS може смикати телефон тижнями. Серія з близько 30 повідомлень викликає race condition і псує SQLite базу SMS, після чого телефон падає при кожному завантаженні, а скидання до заводських допомагає лише тимчасово. Дослідник повідомив Google ще 5 травня 2026 року і одразу запропонував фікс з одним bounds check, але там визнали проблему Non-Security і закрили як Won't Fix, тому 29 жовтня він опублікував робочий proof-of-concept.

Hackers expose the identities of more than 40,000 DHS employees

Група Department of Peace зламала систему single sign on Міністерства внутрішньої безпеки США і злила персональні дані понад 40 000 співробітників, включно з агентами під прикриттям. Витік через Distributed Denial of Secrets опублікували в базі Icepick, а журналіст і хакерка maia arson crimew зробили з нього базу з пошуком. У DHS заявили про роботу над інцидентом, найбільше постраждали Customs and Border Protection та Immigration and Customs Enforcement, це приблизно пята частина всього штату.

FAT32 File-System Seeing As Much As 265x Improvement With Linux 7.4 - Phoronix

У Linux 7.4 потрапив патч на кілька рядків, який прискорює FAT32 до 265 разів в окремих тестах. Раніше при pre-allocation місця через FALLOC_FL_KEEP_SIZE драйвер виділяв по одному cluster за раз, а тепер виділяє одразу декілька cluster за один виклик. Зміну підготував Matheus Alves de Almeida, її вже прийняли через non-MM pull request.

Дідок FAT32 ще вирішив показати, на що здатен.

PERSPECTIVA KOGUI

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

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

Chained PHP2Shell Exploit Roots 25 Servers | Dream Research

Дослідники Dream виявили кампанію, де атакуючий зв'язав PHP2Shell (CVE-2026-109618 / CVE-2026-109619) для RCE через механізм session.upload_progress з kernel LPE Fragnesia (CVE-2026-46300) і одним HTTP-запитом без автентифікації отримував root на фаєрволах великого вендора. З близько 19 тисяч пристроїв, знайдених через FOFA, відібрали 240 цілей у США, Японії, Тайвані та Південній Кореї і зламали 24, а потім через reverse SSH tunnel з периметра скомпрометували внутрішній management-сервер організації, пов'язаної з урядом США, довівши загальну кількість до 25 серверів. Закріпившись через webshell і стійкий тунель, атакуючий розшифрував LDAP service account, перерахував весь Active Directory і запустив password spraying, спроби створення бекдор-акаунтів та витягнення SAML-ключів з Keycloak, хоча результат цих кроків залишився невідомим. В артефактах є ознаки AI-assisted розробки з Claude Code, DeepSeek і Kimi та китайського сліду: FOFA, утиліта iox, мітки часу UTC+8 і китайськомовні промпти.

Management-інтерфейс, виставлений в інтернет, знову перетворився з периметра на прямий вхід у домен.

The US added a record 20.2 GWh of battery storage in just 3 months | Electrek

США у другому кварталі 2026 року додали рекордні 20,2 GWh battery storage, майже все це великі utility-scale проекти в Аризоні, Техасі, Каліфорнії та Юті. За перше півріччя загалом встановили 30,8 GWh, що на 23% більше ніж торік, а прогноз до 2030 року підвищили до 683 GWh. Водночас домашні установки впали на 27% через скасування федерального податкового кредиту 25D.

H.264 is magic: a technical walkthrough of a remarkable technology.

Нестиснене 1080p відео на 60 fps тягне близько 370 МБ/сек, тож без стиснення сучасне відео було б неможливим. H.264 працює як lossy кодек: через quantization відкидає високочастотні деталі у frequency domain, через chroma subsampling урізає колір залишаючи яскравість у повній роздільності, а замість сотень повних кадрів зберігає один I-frame плюс motion vectors для P-frame і B-frame, і все це запаковує зверху entropy encoder.

Приклад автора, де 300 кадрів відео важать впʼятеро менше за один PNG скріншот, досі виглядає як чіти.

ElementaryUI

ElementaryUI дозволяє писати декларативні вебзастосунки на Swift, які працюють прямо в браузері через WebAssembly. Синтаксис натхненний SwiftUI, а реактивність забезпечують @State, @Environment і @Reactive. Завдяки Embedded Swift wasm-бандли важать кілобайти, а не мегабайти, плюс є CSS-анімації з автоматичними FLIP-переходами і dev-сервер на Vite з hot reload.

Duet is the future of chatbot interaction — fig.blue

Duet це асистент від Anthropic, який організовує роботу через канали в дусі Slack і сам розкладає сесії по поличках замість користувача. Він відчутно швидший за інші Claude UI на Opus 5.5, відповідає коротко і обмежує доступ до GitHub репозиторіїв на рівні каналу, не вимагаючи credentials. Головна фішка це ієрархія доступу: верхній рівень бачить всі workstream зверху, а канали і саб-треди працюють у вужчому контексті та окремих code sandbox.

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

Mistral Large 4 (Le Chonk) is now open weight | Mistral

Mistral відкрила ваги Mistral Large 4 (Le Chonk), флагманської нативно мультимодальної моделі на 1 трильйон параметрів, натренованої в Європі. Після трьох тижнів додаткового reinforcement learning вона вийшла в лідери серед open-weight моделей на coding benchmark на кшталт FrontierCode 2.0 і Terminal-Bench 4.0 та на Cyber Index для defensive security, витрачаючи при цьому майже вдвічі менше токенів за конкурентів. Модель має три reasoning modes Low, Medium і High для балансу ціни та якості, її можна самостійно хостити через vLLM чи SGLang і кастомізувати під свої дані.

Назва Le Chonk для моделі на трильйон параметрів звучить напрочуд самокритично.

Alleged Chinese spy had 'close relationship' with Nvidia boss Jensen Huang: report

Американська розвідка вважає, що топменеджерка сінгапурської Megaspeed Аліса Хуан, яка мала близькі стосунки з головою Nvidia Дженсеном Хуангом, таємно передавала інформацію Пекіну. Megaspeed також підозрюють у допомозі китайським компаніям обходити експортні обмеження США та отримувати доступ до чипів Nvidia через data centers у Південно-Східній Азії. Прямих доказів, що Хуанг знав про її діяльність, немає, а Nvidia називає їхні зустрічі звичайною роботою з клієнтом. За даними NYT, Трамп був проінформований про це ще рік тому, але не вжив заходів, щоб не зашкодити продажам чипів і торгівлі з Китаєм.

Agents in Games · Labs

YC разом з Olam Labs запустили рої агентів у Minecraft і Mindustry, щоб перевірити, як multi-agent динаміка працює на практиці. 50 агентів у survival Minecraft за три години вибудували ієрархію навколо першого імені в списку, систему пайків з ledger і кур'єрами, протокол іменних скринь після втраченої курки і скотилися в надмірну обережність та бюрократію після першої ночі смертей. У Bed Wars і Mindustry GPT 6.1 Sol перемогли Claude Opus 5.5 за рахунок агресії, щільного hive-спілкування стислим сленгом, читання source code гри і швидких workaround багів, тоді як Claude грали від оборони, голосували +1 і записували уроки в memory.md, але повторювали ті самі помилки.

GitHub - SheepSeb/tinyworldformer · GitHub

Tinyworldformer це дві крихітні нейромережі, що одночасно генерують гру і грають у неї прямо на Raspberry Pi Pico 2 W. World model на базі looped transformer з int8 квантизацією за кадром і дією передбачає наступний кадр і reward, а компактний MLP actor обирає дію, моделі займають від 26k до 131k параметрів. Автор навчив так п'ять мініігор від Breakout і Pong до Doom-lite і Pac-Man, а firmware на no_std Rust вміщується у flash і SRAM плати і навіть вміє донавчати агента на самому чипі через stream-x.

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

GitHub - johncassil/dontallow: Auto-dismiss the macOS 'Allow X to find devices on local networks?' prompt. Presses Don't Allow for you, zero CPU idle, survives reboots. · GitHub

dontallow це однофайлова утиліта на Swift без залежностей, яка автоматично натискає Don't Allow у системному запиті macOS про пошук пристроїв у локальній мережі. Вона потрібна тому, що починаючи з Sequoia система прив'язує дозвіл до шляху програми, тож Chromium браузери з копіюванням бандла у temp і апки з версіонованими шляхами викликають це вікно при кожному запуску, а штатного способу заборонити раз і назавжди немає. Працює як per user launchd агент з нульовим споживанням CPU в простої: через Accessibility API відстежує вікна UserNotificationCenter, впізнає потрібний діалог і тисне кнопку за частку секунди, підтримує pause і allowlist для винятків.

Здається, це найчесніший спосіб сказати macOS "ні значить ні".

lumi's code spelunking adventures

Авторка, яка довго займалася активізмом за software freedom, тепер вважає community важливішою за ліцензію, бо навіть strong copyleft не захищає від корпоративного контролю, неінклюзивності чи використання generative models. Як приклад наводить AGPL-3.0 проєкти з dual licensing і contributor license agreement, які формально вільні, але фактично керуються компанією. Тому пропонує дивитися на code of conduct, незалежність від корпорацій, відмову від Discord і GitHub та цінності maintainers, і закликає долучатися до спільнот або створювати кооперативи.

Meow в кінці якраз і доводить, що все вирішують люди, а не юридичні тексти.

LLM Voice

Мартін Фаулер описує LLM Voice як ефект uncanny valley в прозі, коли текст виглядає гладким, але відчувається неживим і читати далі просто не хочеться. Він закликає авторів не віддавати LLM навіть чернетку чи перефразування, бо цей голос потім майже неможливо вичистити, максимум outline або пошук з перевіркою джерел. Письмо для нього це спосіб мислення, тож делегування тексту означає делегування розуміння, хоча є винятки на кшталт хвороби, перекладу чи формальних паперів, які ніхто не читатиме.

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

Spain train crash: What we know after two trains crashed with dozens feared dead

На південь від Мадрида на швидкісній лінії до Севільї поїзд Renfe врізався ззаду в нерухомий поїзд Iryo біля містечка Урда, загинули щонайменше 69 людей, понад сто отримали поранення. Загалом у двох поїздах було понад 540 пасажирів, частина вагонів зійшла з рейок і впала з насипу. За словами міністра транспорту, причиною став комп’ютерний збій близько 08:30, який зупинив шість поїздів, після чого диспетчерський центр дозволив відновити рух без обмеження швидкості. Оприлюднені аудіозаписи свідчать, що машиністу Renfe дозволили їхати на нормальній швидкості, хоча за 25 км попереду стояв Iryo, який так і не зміг рушити.

Sylphide Operating System

Sylphide OS це операційна система загального призначення для комп'ютерів на мікроконтролерах, які через відсутність MMU не тягнуть Linux, але вже достатньо потужні щоб відтворювати досвід домашніх комп'ютерів 80-х. Під капотом вона використовує FreeRTOS, зверху додає драйвери, графічний інтерфейс з десктопом і вікнами та програми, а код написаний переважно на C з обережною домішкою C++. Зараз проєкт на версії 0.1 підтримує три платформи (флагман Olimex ESP32-P4-PC, barebone RP2350 і FabGL) плюс emulator для розробки, а storage, мережа і запуск зовнішніх програм поки лише в планах.

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

Zombie Stats: Where the Numbers AI Quotes Come From | Trakkr Research

Дослідники запитали у ChatGPT, Perplexity, Gemini, Claude і Google AI Overviews 200 питань про цифри і простежили 1285 наведених статистик до першоджерела. Лише 40% привели до дослідження, яке справді підтверджує цифру, ще 8% дійшли до дослідження зі зміненим контекстом, а решта вперлася в закриті джерела або в нікуди. AI рідко вигадує числа сам, у 82% випадків цифра є на цитованій сторінці, але це переважно company blog чи добірки, що переказують одне одного, тож згода всіх п'яти асистентів взагалі нічого не гарантує.

Схоже, у AI та маркетологів спільне хобі: впевнено цитувати цифри, яких ніхто не бачив.

Grace Blackwell needs a new scheduler: 27% more usable GPUs from the same racks | SkyPilot

NVL72 об'єднує всі 72 GPU в стійці в єдиний NVLink fabric з пропускною здатністю 1.8 TB/s на GPU, що критично для tensor parallelism та expert parallelism в тренуванні й інференсі, бо вихід трафіку на InfiniBand ріже throughput на десятки відсотків. Але швидкість працює лише для rack-local задач, а поломки GPU та фрагментація кластера швидко розкидають задачі по різних стійках. Тому замість займати цілі 18-нодові стійки вигідніше брати слайси по 16 нод з двома запасними, це дає на 27% більше корисної ємності при типовій недоступності 2%. SkyPilot автоматизує це через Topology-Aware Scheduler, гарячу заміну збійних нод на запасні в межах стійки та автоматичну дефрагментацію.

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

GitHub - lonthq/overtone-captions: Captions cut for every screen shape, from one file. A caption format, a video.js plugin, and a CLI that turns audio into word-timed captions. · GitHub

Overtone це формат .overtone.json, CLI і video.js plugin для субтитрів під різні екрани. Кожне слово зберігається один раз з часом і спікером, а потім окремими cuts нарізається під 16:9, 9:16 чи будь-який інший aspect. CLI вміє робити файл з готових субтитрів офлайн через recut або з аудіо через кілька speech engines з голосуванням і LLM-редактором, а плагін показує той cut, що пасує до плеєра. На відміну від WebVTT, де зберігаються готові cues, тут рядки ріжуться за правилами читання: без обривів на слабких словах, з окремими репліками для спікерів і збереженням пауз.

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

Akimoto | A Pig, the State, and War: Porco Rosso (Kurenai no Buta) | Animation Studies Journal

Стаття трактує Porco Rosso Міядзакі як антивоєнний пацифістський фільм, що через міжвоєнну Адріатику говорить і про Війну в Затоці та Югославію початку 90-х. Перетворення аса Марко Паггота на свиню пояснюється відразою одразу на трьох рівнях за Волцом: людина з її егоїзмом, держава з націоналізмом і фашизмом, війна з мілітаризмом, звідки й репліка про краще бути свинею, ніж фашистом. Його принцип non-killing та soft power Джини і Фіо автор подає як приклад preventive diplomacy і мирного conflict resolution.

El Niño’s Record High Tides Are Flooding Bay Area Highways

У Каліфорнії вже почалися прибережні підтоплення через El Niño, хоча зимові шторми і найвищі king tides сезону ще попереду. Жовтневий приплив у Сан-Франциско побив рекорд місяця і затопив дороги від затоки Сан-Пабло до Монтерея. Вчені попереджають про можливе підвищення рівня води на 2-3 фути взимку зі збитками до 1,5 млн доларів на день, а пожежники нагадують про ризик thermal runaway в електромобілях після контакту з солоною водою.

GitHub - owls-on-wires/keplearn: Symbolic regression in seconds. · GitHub

Keplearn це детермінований engine для symbolic regression на Rust, який відновлює компактну формулу за табличними вимірами, так само як Кеплер вивів закони руху планет з таблиць Браге. Він читає TSV або CSV зі stdin і повертає кандидатів у JSON як один static binary без залежностей, причому точні закони зазвичай знаходяться за мілісекунди. Метод полягає у best-first пошуку через ланцюжки оборотних редукцій та affine monomial fit, з ранжуванням на 25% holdout з MDL penalty і прив'язкою констант до раціональних чисел та кратних pi, e і sqrt(2). У SRBench він відновив 64.7% рівнянь набору Feynman без шуму проти 55.8% у AIFeynman, хоча на black-box задачах без аналітичного розв'язку майже не дає точності.

Схоже, Кеплеру просто не вистачило static binary і timeout на 60 секунд.

CVE-2026-98432: Linux TCP Use-After-Free Risk and Patch Validation - Penligent Security Blog – AI-Driven Hacking Tutorials, Exploit PoCs & Cybersecurity Research

CVE-2026-98432 це use-after-free в IPv4 TCP handshake ядра Linux, де child socket отримує вказівник на IP options від request socket без копіювання, а інший CPU в цей момент ще читає той самий об'єкт під RCU після його звільнення через звичайний kfree. Виправлення замінює звільнення на kfree_rcu, щоб пам'ять чекала завершення всіх читачів. Оцінки різняться: Linux CNA ставить CVSS 9.8, Red Hat попередньо 8.1 через високу складність атаки, але команда Anthropic вже продемонструвала віддалене отримання root на сервері з MPTCP listener в контрольованому лабі. Лікується тільки встановленням vendor kernel з фіксом і перезавантаженням саме в нього, а вимкнення невикористовуваного MPTCP і інвентаризація відкритих TCP сервісів лише виграють час.

Перевіряйте саме running kernel і vendor advisory, бо номер версії ядра тут бреше через бекпорти.

We Won’t “Just Hang Out”

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

Виходить, щоб врятувати дружбу, треба заборонити Claude відповідати на питання про Linux.

Lighthouses, war and a puffling: the Isle of May | adcochrane

Острів Мей у затоці Ферт-оф-Форт лише милю завдовжки, але вмістив понад тисячу років історії: ранній монастир святого Адріана, місце паломництва, стратегічний військовий пункт і дім одразу для двох маяків, найстарішого в Шотландії 1635 року та маяка Роберта Стівенсона 1816 року. Тут жили рибалки і контрабандисти, доглядачі з родинами, а з островом пов'язані легенди про відьом, келпі та витівки Диявола. Зараз це заповідник з однією з найбільших колоній тупиків у Британії, а кульмінація розповіді це порятунок загубленого пташеняти Скоута, якого вигодували працівники NatureScot і випустили у відкрите море з човна.

Хочеться вірити, що Скоут досі десь бороздить Північне море, а не став чиїмось обідом.

GitHub - herdrdev/herdr-app: herdr desktop app · GitHub

Herdr це десктопний застосунок для терміналів і coding-агентів, де виконанням займається herdr-core, а вікно лише показує роботу. Робота складається в spaces з tabs і panes, а сайдбар збирає агентів зі статусами Working, Blocked, Done і Idle. Термінали продовжують жити після закриття вікна, а через SSH так само працюють віддалені машини зі своїми spaces. Оболонка налаштовується через layouts і mods на JavaScript, є command palette та CLI для агентів.

Ідеальний загін для тих, хто втомився шукати, в якому з тридцяти терміналів застряг агент.

GitHub - mottopanikeiku/doomformer: Compile an integer neural network into a DOOM map. Voodoo dolls do the arithmetic, light levels and plane heights hold the values, and every value is checked against NumPy with tolerance 0. · GitHub

Doomformer компілює цілочислові нейромережі в карти ZDoom і виконує їх у ViZDoom. Всю арифметику роблять voodoo dolls, а значення зберігаються у light levels секторів і висотах площин. Кожне проміжне значення звіряється з незалежним NumPy reference з tolerance 0, тож розбіжність навіть в одиницю провалює прогін. Так уже запускали MLP для MNIST, маленькі трансформери для генерації назв рівнів і навіть навчання перцептрона всередині карти, але це приблизно у 23 тисячі разів повільніше за NumPy.

Здається, хтось нарешті знайшов спосіб грати в DOOM на роботі і називати це ML-дослідженням.

Pico CSS is no longer maintained · picocss/pico · Discussion #754 · GitHub

Мейнтейнер Pico CSS оголосив про закриття проєкту, фінальним релізом стала v2.1.1. Причиною він назвав те, що AI тепер сам генерує легкий і доступний HTML з потрібним CSS, а щоб залишатися актуальним, Pico довелося б повністю переписувати на сучасному CSS з OKLCH, cascade layers, Popover і власним compiler для видалення зайвого коду. Репозиторії архівуються, тож нових issues, pull requests і релізів не буде, але npm, jsDelivr CDN і сайт залишаться онлайн, а код під MIT license можна форкати під іншою назвою.

Фреймворк для мінімального CSS пішов на пенсію, бо CSS тепер пише AI.

The Great American Rascal - Claremont Review of Books

До 150-річчя «Пригод Тома Сойєра» авторка подає роман як вирішальний розрив Америки з європейською літературною традицією і відповідь на заклик Емерсона до власного Гомера. Твен замінив прісних «зразкових хлопчиків» на живого шибеника з Міссурі, який хитрощами на кшталт фарбування паркану і витівками в церкві оживляє сонне містечко і по-своєму вирішує питання work, віри і нудьги. При цьому Том не просто бунтар, а відважний лицар з thumos, що ризикує життям у річці й печері та захищає інших, порушуючи букву правил заради їхнього духу. Авторка сумнівається, чи зрозуміють його нинішні підлітки зі смартфонами і без досвіду церкви.

GitHub - Millillion/lasm: Lean for JavaScript and WebAssembly runtimes · GitHub

Lasm компілює звичайні програми на Lean 4 ahead of time у WebAssembly, тож одна кодова база може стати Node-сервером, serverless чи edge-функцією, WASI/Fastly-модулем або браузерним застосунком. Інструмент ставиться через npm разом з Lean і Lake, працює на Node, Bun або Deno і викликає JavaScript та npm-пакети через один атрибут @[js] на функцію. Флагманський приклад Conduit це RealWorld-застосунок повністю на Lean зі 117 доведеними теоремами про авторизацію, пагінацію, валідацію та інші властивості коду, що реально виконується.

Нарешті можна математично довести коректність коду, а потім деплоїти його в той самий хаос npm.

Tracks Along the Longest Drive on Another World - NASA Science

Perseverance проїхав Марсом 45,22 км і встановив новий рекорд дальності поїздки на іншому небесному тілі. Щоб долати камʼянисті поля і круті схили, команда підняла ліміт нахилу до 24 градусів, зменшила вимогу до кліренсу до 20 см і оновила софт гальмування та моделювання пробуксовки. Головним проривом стала onboard Global Localization, яка порівнює наземні й орбітальні знімки і дає роверу щось на кшталт GPS для довших автономних заїздів без втручання людей.

Плакетку від Guinness за це отримав його земний двійник, бо доставка на Марс поки не працює.

Should a medical diagnosis reshape the past?

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

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

AGI Economics: Coordination vs. Competence — DeepMind Institute

Дослідники DeepMind пропонують дивитися на економіку ШІ не через окремі моделі, а через організації, які складають людей з різними сильними сторонами в мозаїку, що перемагає будь-якого одинака. Вони розділяють прогрес на два виміри: competence, тобто індивідуальні навички, і coordination, тобто здатність агентів працювати разом без втрат. Зростання competence лише плавно тисне на зарплати і робить фірми худішими, а от перехід coordination через критичний поріг різко змінює все, запускаючи гігантські фірми з AI-агентів і обвал зарплат у масових ринках. Звідси чотири режими: minimal AGI, supercompetent AI, supercooperative AI і ASI, причому саме координації зараз бракує і її майже не міряють існуючі benchmark.

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

Google Search Is Less Than 50% of Alphabet's Revenue for the First Time Ever | Company Atlas

У кварталі до вересня 2026 року Google Search вперше приніс менше половини виручки Alphabet, $63,4B зі $128B, або 49,7%. Сам пошук при цьому зріс на 12% рік до року, просто решта бізнесу росла ще швидше. Головний двигун цього зсуву Google Cloud, який підскочив на 103% до $30,7B і виріс з 4,4% виручки у 2018 році до 24,1% зараз.

Ще пара таких кварталів, і пошуковик стане приємним бонусом до рахунку за хмару.

New Release: Tor Browser 16.0 | The Tor Project

Вийшов Tor Browser 16.0 на базі Firefox ESR 153, з річним аудитом понад 270 змін з Firefox, що могли зачепити приватність. На десктопі повністю переробили Settings, додали опціональні generic window titles проти стеження з боку інших програм, оновили офлайн manual і додали нативну підтримку Linux on ARM, прибравши 32-бітний x86. Версія для Android перейшла на Jetpack Compose і Material Design 3, а далі готують новий circuit display з підтримкою multi-path circuits.

GitHub - zacharybenson/arken-protocol: Passwordless authentication via DID signatures. No passwords. No sessions. Nothing to breach. · GitHub

Arken Protocol це middleware для passwordless автентифікації в Express і FastAPI без паролів, сесій і бази користувачів. Сервер повертає 401 з одноразовим nonce, клієнт підписує його приватним ключем через eth_sign, а сервер перевіряє ECDSA підпис через ethers-rs і звіряє адресу з did:key. Поки що це рання версія не production-ready: nonce живуть тільки в memory з TTL 60 секунд, для встановлення потрібен Rust toolchain, а цільове використання це API та server-to-server auth.

Зламувати нічого, бо і красти тут теж нічого.

If IPv4 Were Land - World Map Redrawn by IPv4 Addresses | IPTrust

Сайт перемальовує карту світу так, що розмір країни показує її частку світових IPv4-адрес, а не реальну площу суші. Порівнюються 135 млн км² землі без Антарктиди та 3,6 млрд адрес з бази IP Trust за жовтень 2026 року, з інтерактивним повзунком між географією та IP-розподілом.

The brain liquidates billions of mutant neurons around the time we’re born | Nature

Дослідники проаналізували геноми понад 2300 окремих нейронів кори мозку від 14-тижневих плодів до людей похилого віку і з'ясували, що у плодів понад чверть нейронів мали copy number variation, тобто втрату або надлишок ділянок хромосом. Після народження частка таких дефектних клітин падала до близько 6%, що свідчить про масове відбракування мутованих нейронів саме в цей період. Імовірно мозок розпізнає їх за порушеною роботою генів, що відповідають за формування синапсів, а збій цього контролю може бути пов'язаний з аутизмом та епілепсією.

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