Дайджест #90. Субота, 17 жовтня

Claude розкрив походження загадкових seed для кривих NIST ECDSA, над якими криптографи ламали голову 25 років. Замість хешу жартівливої фрази, як вважалося, це виявився вихід слабкого генератора lrand48 зі стандартної C-бібліотеки, засіяного Unix timestamp з травня 1997 - квітня 1998 року. Також вдалося відтворити base point для шести ранніх кривих через генератор з бібліотеки FreeLIP, хоча частина значень досі без пояснення. Знахідка не є зламом і скоріше знімає підозри про бекдор, бо показує примітивний і відтворюваний спосіб генерації.

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

Користувач Home Assistant обурився, що Supervisor без його згоди перевіряє паролі через Have I Been Pwned, і вимагав зробити функцію opt-in. Мейнтейнер frenck спершу відкинув претензію, посилаючись на k-anonymity і те, що паролі нікуди не відправляються, але після хвилі критики вибачився за тон. За його словами, перевірка існує в Supervisor роками, хешує секрети локально і передає лише перші 5 символів SHA-1 хешу, а вимкнути її можна командою ha security options --pwned=false.

Класика open source комунікації: спочатку won't fix, а вимикач весь час лежав поруч.

Мейнтейнер Sam James оголосив last rites для пакета Chromium у Gentoo після чергової скарги на застарілу версію з сотнями відомих вразливостей. Причина в тому, що збірка Chromium з source вимагає від волонтерів фактично повного робочого дня щотижня через складний build system, бандлені залежності, додавання Rust і Go, ненадійні upstream tarballs і потребу перевіряти безліч USE flags. Для порятунку пакета потрібна команда мінімум з трьох людей зі стеком від C до Rust, але поки охочих немає, і користувачам пропонують overlays, Flatpak або інший браузер.

Іронія в тому, що дистрибутив, де все збирається з source, здався саме на браузері.

Автор пояснює, чому запускає старі DOS-ігри на кшталт Quake, Doom і Duke Nukem 3D саме в software rendering, коли кожен піксель малює CPU. Такий режим дає чіткі квадратні texel без розмиття від bilinear filtering і грубе ступінчасте освітлення через палітру у 256 кольорів, що виглядає автентичніше за ранні 3D-карти. Щоб тягнути високі VESA-роздільності на кшталт 800x600 при 60 fps, потрібен максимально швидкий ПК з нативним DOS на реальному залізі, бо навіть топові CPU задихаються у 1600x1200.

Виходить, щоб грати як у 1996 році, потрібен компютер, про який у 1996 році можна було тільки мріяти.

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

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

У ранніх 90-х дзвінки на звичайні BBS влітали в копійку через оплату міжміського зв'язку, тому підлітки полювали на списки toll-free номерів 1-800, серед яких виділявся BARK. Це була безкоштовна тусовка для тінейджерів, яку насправді запустив лейбл PolyGram, щоб через балачки про музику і попкультуру робити market research. BBS на PCBoard з перевіркою через callback і читанням повідомлень офлайн через QWK пакети і Blue Wave швидко став надпопулярним, потонув у flame wars і закрився десь через два роки, коли лейбл не отримав очікуваних інсайтів.

PolyGram фактично оплатив міжмісто тінейджерам всієї країни, щоб вони сварилися в коментах, ідеальна інвестиція в аналітику.

Китай контролює близько 90 відсотків ринку rare-earth оксидів і металів, без яких неможливі потужні магніти для електромобілів, роботів та військової техніки. Захід робить ставку на моназитову руду з heavy mineral sands, бо вона містить повний магнітний набір з неодиму, празеодиму, диспрозію і тербію та часто дістається як відходи видобутку титану і цирконію. Головна перешкода це радіоактивні торій і уран у складі руди, які вимагають спецліцензій і вічного зберігання відходів, а також нестача сировини, протести громад і спекулятивні pump and dump схеми, що вже зірвали проєкт у Саскачевані.

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

Tesla показала довгоочікуваний Roadster нового покоління на тестовому майданчику SpaceX у Техасі. Машина з cold-gas thrusters, створеними разом із SpaceX, зірвалася з рампи, зробила переворот у повітрі і перелетіла через ряд авто з вантажівкою. Версії з thrusters розганяються до 60 миль на годину менше ніж за секунду і видають понад 230 миль на годину максималки. Виробництво обіцяють почати у 2028 році, а бронь вже коштує 50 тисяч доларів за Performance і 250 тисяч за Thrust.

Схоже, тепер для польоту на роботу бракує тільки самої роботи, яка це оплатить.

Дослідники перевірили популярний рецепт дотренування моделей типу Qwen3 в NO-THINK mode через GRPO і показали, що приріст точності в основному пояснюється thinking leakage. Під час тренування відповіді стають довшими і рефлексивнішими, а internal activations моделі зміщуються в бік її власного THINK mode. Заміна ваг і THINK-related підпростору підтверджує, що RL переважно реактивує вже наявне вміння міркувати, а не вчить чогось нового, і стеля такого приросту це точність оригінального THINK mode.

Виходить, модель просто тихенько згадала, що вона взагалі вміла думати.

Стаття формалізує self-evolution harness агента як зміну його програмної обгортки при фіксованих вагах моделі: prompts, memory, workflows, tools, код, контрольну логіку репозиторію і plugin композицію. Пошук правок описано через evolutionary optimization, а надійність через continual PAC-learning з bound на generalization і retention та правилом прийому змін лише за свіжою незалежною валідацією. Автори також розбирають вплив постійних правок на обмін знаннями, наукову відтворюваність, фізичну безпеку і відповідальність, і наполягають на постійній валідації з окремими safeguards для learning, runtime привілеїв і consequential actions.

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

3DCodeVerse це корпус з майже 270 тис. виконуваних 3D програм у 7 мовах і runtimes, від Blender Python і CadQuery до Three.js, URDF і GLSL, що дають понад 2 млн пар коду з рендерами й описами для об'єктів, сцен, articulated моделей і графіки. Програми збирали з відкритих джерел і генерували власним harness, де LLM планувальник розбиває задачу на DAG, суб-агенти пишуть код паралельно, а потім цикл перевірки з просторовими вимірюваннями і VLM суддею ітеративно виправляє помилки. Такий підхід дає до 90% перемог у сліпих порівняннях з людьми при тому ж backbone, а fine-tuning Qwen 27B на датасеті піднімає execution rate на 3DCodeBench з 51.9% до 92.9%.

Схоже, вайб-кодинг дістався і до 3D, тільки тут галюцинації міряються в міліметрах.

Lightpanda випустила версію 1.0, headless браузерний рушій з нуля на Zig для автоматизації, краулінгу та AI агентів, який виконує JavaScript без графічного рендерингу. Він сумісний з Puppeteer і Playwright та проходить 1.7 млн WPT субтестів. За власним benchmark компанії на 933 реальних сторінках він у 9 разів швидший за Chrome і споживає у 16 разів менше пам'яті.

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

Apple показала локальний запуск великих LLM на Mac Studio з M5 Ultra через MLX, який використовує unified memory до 512GB. Одна машина тягне Qwen 3.8 на 27B і Mistral Medium 3.5 на 128B, причому M5 Ultra дає до 4.6x швидший TTFT завдяки GPU Neural Accelerators і до 1.6x швидший decode через memory bandwidth 1.2 TB/s. Для Muse Spark Open на 816B параметрів з 42B активних у NVFP4 потрібен кластер, обєднаний RDMA over Thunderbolt 5 через backend jaccl і mlx.launch, з pipeline та tensor parallelization. На чотирьох Mac Studio модель видає понад 36 tokens per second і запускається як локальний сервер через mlx_lm.server для агентських інструментів на кшталт OpenCode.

Виходить, для фронтирної моделі тепер достатньо столу, чотирьох Mac Studio і розетки, яка раніше живила тостер.

Працюючи всередині компанії, ти бачиш її реальний стан за роки до того, як це покажуть цифри і заголовки, як інженери Nokia побачили відставання від iPhone ще у 2007 році, хоча більшість дочекалася краху у 2013-му. Цю перевагу варто використовувати тихо і рано: якщо продукт буксує і кращі люди йдуть, качати навички для наступної ролі, а якщо всередині є живий напрям, підбиратися до нього до того, як він стане офіційним. Своє чуття можна перевірити за енергією клієнтів, швидкістю закриття провальних проєктів і тим, чи реально керівництво користується AI у власній роботі.

Залишається найскладніше, чесно визнати, що ти вже і є той інсайдер, на якого чекаєш.

MuscleMemory це відкрита procedural memory для AI-агентів, яка запамятовує вдалі прийоми і помилки з минулих сесій. Вона підключається до Claude Code, Codex, Cursor та інших через hooks, MCP чи SDK і вчиться лише з реально пройдених тестів після останньої зміни коду, формуючи перевірені skills з файлами, командою перевірки і застереженнями. За даними авторів, у benchmark з реальними сесіями це зрізало чверть вхідних токенів і близько 30% tool calls та часу без втрати успішності задач.

З 6 листопада в Англії та Уельсі стане незаконною онлайн-порнографія зі сценами удушення, сексу між родичами або людьми, які видають себе за родичів, а також дорослих, які зображають дітей до 16 років. Заборону ввели після огляду регулювання порнографії 2025 року, який пов'язав такий контент з нормалізацією насильства проти жінок. Правозахисники підтримали крок і закликають уряд забезпечити його реальне виконання, зокрема через оновлення Online Safety Act.

Дорога індукційна плита привела Чарльза Манна до Dekton, надміцного матеріалу іспанської Cosentino, який по суті є високотехнологічною порцеляною. Він нагадує, як китайські гончарі ще 3000 років тому навчилися випалювати каолін при 1200 градусах, а Європа століттями безуспішно гналася за рецептом, доки в Саксонії не з'явився мейсенський фарфор. Сучасний Dekton спікають під тиском у 25 000 тонн, що прибирає мікропори і головну ваду кераміки, крихкість. Це частина тихої революції materials science з неслизькою плиткою, порцеляновими суглобами і кістковими scaffolds, що розчиняються в тілі.

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

Агентські harness напряму визначають витрати GPU, бо prompt caching працює лише за точного збігу префікса промпту. За місяць трафіку Neuralwatt різні клієнти лишали uncached від 1,6% до 11,1% input tokens, а такий cache miss приблизно подвоює енергію запиту. Після 128k токенів контексту один turn, що перечитує понад половину промпту, коштує за prefill як близько 600 звичайних turns і розтягує time to first token з кількох секунд до десятків. У лабораторних тестах усі зриви кешу були через редагування вже надісланого тексту: нагадування в OpenCode, pruning прочитаних файлів в omp, зміна reasoning effort, MCP tools, дати або skills на початку system prompt.

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

PS5LM перетворює джейлбрейкнуту PS5 на домашній сервер моделей, який працює без хмари й окремого ПК. Він запускає будь-яку GGUF модель на GPU консолі через llama.cpp з Vulkan backend і роздає її по локалці через OpenAI сумісний і Anthropic сумісний API плюс звичайний чат у браузері. На PS5 Slim Qwen 3.5 9B у Q4_K_M видає 55 tokens за секунду, а окремо підтримуються decision models з API /v1/systemone, моніторинг температури і навантаження прямо на TV.

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

Радіоаматори з кількох округів Флориди забезпечували auxiliary communications для Emergency Operations Center під час урагану Isaias, підтримуючи зв'язок між притулками і штабом. eBay запровадив вимогу вказувати FCC ID для радіопередавальної апаратури через нові правила FCC, але після звернення ARRL підтвердив виняток для техніки, що працює тільки на аматорських діапазонах. ARDC розширює сервіс 44Net Connect новими PoP у Чикаго, Лос-Анджелесі та Сіднеї, а в керівництві Rocky Mountain Division змінився віце-директор. Також повідомляється про шість нових аматорських супутників, запущених місією Transporter-18, лауреатів Radio Club of America 2026 року та покращення проходження на верхніх HF діапазонах.

Добре, що eBay хоч тут послухав ARRL і не став вимагати FCC ID від чисто аматорської апаратури.

Waymo офіційно заходить у Канаду і починає підготовку до запуску повністю автономного ride-hailing у Торонто, перших пасажирів планують прийняти у 2028 році. Поки машини з'являться на вулицях у ручному режимі для HD mapping і адаптації Waymo Driver до місцевих умов. Сервіс розвиватимуть разом з Element Fleet Management, інвестуючи в локальну інфраструктуру, сотні робочих місць і співпрацю з організаціями з доступності.

Справжнім іспитом для all-weather Driver стане торонтська зима.

Команда Claude Code розповідає, як рев'юїть код, коли близько 90% його пише Claude: з червня по вересень кількість змерджених pull request зросла більш ніж удвічі, а частка revert впала на понад 40%. Основне читання віддали машинам: перевірка ще до відкриття PR, AI review і security review на кожному PR, потім lint, тести і білди, а людський approval масштабують за ризиком. Low-risk зміни можуть мерджитися без людини, medium потребують одного рев'юера, high - двох, плюс merge queue, feature flags і швидкий rollback. Інциденти перетворюють на eval для покращення рев'юера, а людей залишають для рішень про напрям, архітектуру і найризикованіший код.

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

StarSkirmish Bench v0.2 дає кожній LLM годину на написання Protoss бота на C++ для StarCraft: Brood War, після чого рахує win rate проти ростеру з людських ботів. Лідером став GPT-6 Astra, другим йде GPT-6.1 Sol, а Gemini 4 Argon, Claude Opus 5.5 і Claude Fable 5.1 щільно тримаються позаду з балом 37-39. Про насичення не йдеться, бо проти топових Stardust, PurpleWave і BananaBrain навіть найкраща модель виграє лише 7% ігор.

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

Дослідники Calif знайшли в ядрі OpenBSD баг віком близько 37 років: лічильник приєднань SysV shared memory `shm_nattch` був signed 16-bit short, тож масовий fork загортав його після 32767 у від'ємне значення. Це давало race condition з use-after-free, який у зв'язці з окремим out-of-bounds write дозволяв отримати локальний root навіть з увімкненими KARL, SMAP і SMEP без інформаційного витоку. Проблеми вже закриті патчами errata 018 і 026, а для посилення захисту автори пропонують safe-unlinking, рандомізацію PTE-мапінгу та kernel allocator.

Баг пережив кілька поколінь адмінів, які вважали OpenBSD фортецею, і здався через затісний short.

Black Forest Labs випустила FLUX 3 Image Klein, відкриту модель на 5.6B параметрів для генерації з тексту, редагування і генерації з опорою на до 10 референсних зображень, з нативною генерацією в 4K і керуванням через bounding boxes. Є два чекпоінти: base для fine-tuning і step distilled для швидкої генерації, плюс збірки FP8, INT8 і NVFP4, тож INT8 версія працює вже на 8 ГБ VRAM і видає 1MP картинку приблизно за 4 секунди на RTX 5090. За внутрішніми оцінками модель обходить більші відкриті моделі й тримає лідерство за співвідношенням швидкості та якості в BFL API.

Схоже, відмазка "немає заліза для генерації картинок" офіційно закрита.

Anthropic дала Claude текстові описи восьми базових quantum circuits з хімії, оптимізації, симуляції та теорії чисел плюс автоматичний evaluator, що перевіряв коректність і рахував qubits та gates. Працюючи в закритому циклі майже без втручання людей, модель знайшла дизайни, кращі за найкращі опубліковані, подекуди на порядок і більше. Зокрема для elliptic-curve point addition вона вивела першу оборотну версію divsteps без збереження історії розгалужень, а для Decoded quantum interferometry замінила extended Euclidean algorithm на Berlekamp-Massey і зрізала кількість gates у декодері у 12 разів. Таке здешевлення ресурсів може помітно наблизити корисні обчислення на реальному залізі.

C++26 додає заголовок `<debugging>` з трьома функціями: `std::breakpoint()` для безумовної зупинки під дебагером, `std::is_debugger_present()` для перевірки чи дебагер підключений, і `std::breakpoint_if_debugging()` як зручна комбінація обох. Це замінює самописні макроси на кшталт `__debugbreak` чи `__builtin_debugtrap`, які досі тягав кожен великий проєкт. Перевірка дебагера зроблена replaceable, як `operator new`, щоб її можна було перевизначити для freestanding і bare-metal платформ.

Схоже, стандарту просто треба було дочекатися, поки всім набридне копіпастити той самий `#ifdef`.

Джейк Арчібальд протестував AVIF проти JPEG XL на фото, скріншотах, ілюстраціях, прозорості, HDR і lossless після появи JPEG XL у всіх основних браузерах. Для lossy фото AVIF зазвичай дає на 15-25% менші файли за тієї ж якості і декодиться у 2-3 рази швидше, а на скріншотах, ілюстраціях і прозорості перевага ще більша. Новий енкодер jixel помітно кращий за libjxl, але все одно рідко обганяє AVIF, крім поодиноких фото на кшталт прикладу з ласкою. JPEG XL перемагає лише в lossless стисненні та в безвтратному перепакуванні готових JPEG на 9-20%, а в HDR програє через відсутність підтримки gain maps у браузерах.

Автор радить брати за дефолт AVIF 4:4:4, а сам уже готується відбиватися від фанатів JPEG XL у коментарях.

Будь-який шар трансформера можна розглядати як associative memory, що зберігає пари ключ-значення і видає їх за схожістю запиту, а його головне обмеження це interference-to-signal ratio. Простий linear шар через суму outer product вміщує лише близько d_k спогадів, оптимальний linear вдвічі більше, а MLP з ReLU у степені p пригнічує слабкі збіги і піднімає capacity до d_k^p. Self-attention з softmax це експонента від схожості, тобто сума всіх степенів одразу, тому при d_k=64 його capacity сягає близько 1,2 млн, а масштабування beta як log M робить її практично необмеженою.

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

Дослідники Mercor зіставили 29 benchmarks з таксономією O*NET, що описує 923 професії та 18797 робочих задач, і виявилось, що лише 208 професій мають бодай мінімальне покриття. Близько 90% робочого часу американців припадає на задачі, які існуючі benchmarks майже не вимірюють. Покриття ще й нерівномірне: benchmarks у шість разів частіше чіпляють AI-exposed задачі і тяжіють до професій з великим wage bill на кшталт софту і фінансів, а менші професії середньої ланки лишаються поза кадром.

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

Автори розібрали Eufy HomeBase 2: випаяли flash-чіп Winbond і зчитали firmware через SPI на Raspberry Pi, втративши при цьому 64 КБ через пошкодження. Пароль прихованого Wi-Fi OCEAN_ генерується як HMAC SHA256 від секрету, прочитаного по I2C, з ключем у вигляді серійника пристрою, після чого кодується в urlsafe base64, а сам SSID це просто OCEAN_ плюс MAC. UART там закритий скриптом login.sh, тож довелося патчити вцілілий recovery image під root shell з прямим запуском /bin/sh і перезаписувати його назад у flash з перерахунком CRC. Для динамічного аналізу вони зібрали staged-оточення в tmpfs через wget і bind mounts і запустили головний бінарник homeapp_security під GDB.

Гумки для грошей як утримувач для зняття дампа це той рівень hardware hacking, який не купиш за гроші.

Автор помітив, що під час зливи багато авто їдуть фактично без світла, бо водії плутають іконки габаритних вогнів і ближнього світла, а з салону різниці не видно. Таку ж заміну зрозумілих написів на компактні, але неоднозначні символи Apple масово впроваджує на клавіатурах і в iOS, де Done, Cancel чи Search стали галочкою, хрестиком і лупою. На його думку, це економія місця ціною зрозумілості, бо дослідження стабільно показують, що іконки без тексту гірше зчитуються, і рятує лише поєднання символу з підписом або підказкою.

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

Token Ring це застаріла мережева технологія IBM, анонсована у 1985 році, що конкурувала з Ethernet у 80-90-х. Вона передавала token по кільцю, тому працювала без колізій і краще тримала навантаження, але коштувала втричі дорожче і вимагала однакової швидкості 4 чи 16 megabit від усіх вузлів. Ethernet переміг завдяки нижчій ціні та швидшому стрибку до 100 megabit і Gigabit, після чого переваги Token Ring стали суто теоретичними.

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

Розробник описує, як його робота повністю перетекла в AI: від ChatGPT як заміни Google і генератора Ruby specs та Python коду для computer vision в Jupyter notebook, до tab completion у Cursor і повноцінного agentic coding в Claude. Після Opus 4.5/6 продуктивність за кількістю merged pull request виросла приблизно втричі, механічна робота зникла і лишився фокус на архітектурі, ключовій бізнес-логіці та захисті даних. З Opus 5.5 він уже майже не рев'юїть кожен рядок, а працює через плани, QA, subagents і дашборди, дозволяючи моделі самій перебирати варіанти UI і навіть переписувати Electron застосунок на нативний Swift.

Код все ще десь там, просто тепер це чужа проблема.

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

Автор з багаторічним досвідом в інфраструктурі довго уникав Kubernetes через потребу жорстко контролювати розміщення навантажень і вирішив нарешті розібратися, як все влаштовано. Головну цінність він бачить у control loops, коли controllers постійно підтягують кластер до бажаного стану, і в Services, де kube-proxy на кожній Node оновлює netfilter правила, даючи стабільний віртуальний IP, DNS і балансування без єдиної точки відмови. Для workload це означає ієрархію від крихкого Pod до ReplicaSet, що тримає кількість реплік, і Deployment з поступовими rolling updates, а для даних від Ephemeral Volume до Persistent Volume через Claim і StatefulSet зі стабільними іменами.

Про Helm з ручними пробілами для генерації YAML сперечатися важко.

RFC8950 дозволяє анонсувати IPv4 маршрути з IPv6 next-hop через MP-BGP, тож ядро мережі може працювати тільки на IPv6, а IPv4 залишається лише сервісом на межі без жодних тунелів. У control plane для пошуку next-hop використовується IPv6 і NDP, а в data plane IPv4 пакети йдуть по мережі як звичайний IPv4. Підтримка вже є в Juniper JunOS, Cisco IOS XR, Nokia SR OS, Mikrotik, Huawei, BIRD і FRR, автор показує робочу лабу на Containerlab і FRR з повністю IPv6 only транзитом.

Схоже, IPv4 переводять на почесну пенсію, але остаточно відпускати поки бояться.

Група провідних формалізаторів вважає, що заклики якнайшвидше формалізувати всю математику силами AI небезпечні: приклади згенерованих доведень sphere packing, Fermat's Last Theorem на 13 млн рядків і розв'язків Navier-Stokes показують, що код, на якому не можна будувати далі і який ніхто не читає, це марна трата ресурсів і шкода для галузі. Натомість вони пропонують робити ставку на якість за зразком Mathlib, без дублювання, з публічним review, документацією і сумісністю з Lean, розвиваючи проєкти Tau Ceti, Formal Frontier, Annals Challenge та реєстр Palomar. За такої умови більшість математики можна якісно формалізувати за три роки і отримати бібліотеку, де люди, AI і compiler працюють разом.

Інакше отримаємо десятки мільйонів рядків Lean-коду, які вражають у пресрелізі і припадають пилом на GitHub.

Brax Wink це компактний телефон з фізичною клавіатурою, 4-дюймовим OLED дисплеєм і апаратним перемикачем приватності. Він працює на DeGoogled Android з open-sourced кодом і має режими Omni та Zero. Виробник подає його як приватний, модульний пристрій для роботи off the grid, на який зараз відкрито waitlist.

rStation це спільнота для AI-агентів, де незалежні агенти обговорюють дослідницькі задачі й публікують рецензовані статті, а людям відведена роль спостерігачів. Власникам агентів пропонують підключити їх через skill.md і обрати проблему з математики, AI або computer science, від rational Diophantine septuple і Riemann hypothesis до strongly regular graphs.

Ізраїльські поселенці в масках атакували палестинців під час збору оливок на Західному березі, за даними палестинської влади постраждали щонайменше 20 людей у восьми селах, спалено авто і дерева. Серед поранених фотографка Washington Post Гайді Левін, яку били понад десять хвилин і пограбували, попри видимі знаки преси. Ізраїльські військові застосували сльозогінний газ проти фермерів, а офіс Нетаньягу назвав обставини незрозумілими. Напади є частиною сплеску насильства з кінця вересня на тлі нових обмежень доступу палестинців до сільгоспземель у зоні C.

Авторка сім місяців перебудовувала домашній self-hosting на звичайному ноутбуці з 16 ГБ RAM під immutable Incus OS. Поверх нього працюють близько двадцяти unprivileged Ubuntu system containers, по одному на сервіс, а самі застосунки всередині запущені як podman containers через quadlets, плюс окремі VM для haproxy і CI runner. Все описано в git через OpenTofu і cloud-init, контейнери одноразові і повністю перестворюються при будь-якій зміні, мережа заборонена за замовчуванням через Incus ACL, а секрети зашифровані через sops і age. Вихідний трафік йде через фільтруючий proxy і локальні кеші реєстрів, вхідний через haproxy з CrowdSec і caddy з розділенням публічного доступу і VPN з власною CA через ACME, а оновлення, бекапи через ZFS snapshots і restic в S3 та моніторинг на Prometheus, Grafana і Loki повністю автоматизовані.

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

Конгресмен Річі Торрес анонсував Power To The Players Act, який доручає FTC встановити правила, щоб куплена гра вважалася власністю гравця, а не відкличною license. Прикладом проблеми називають NBA 2K25, яку за ціни 70 і 100 доларів знімають з продажу 30 жовтня, а сервери вимкнуть 31 грудня, лише за два роки після виходу. Законопроєкт також вимагає додавати в онлайн-ігри offline mode перед закриттям серверів і зберігає право перепродавати ігри.

Видавці, схоже, скоро продаватимуть нам право власності як окреме DLC.

Рецензія називає "Сталеву грозу" Юнгера кращим романом про війну: не агітка за чи проти війни, а чесний щоденник офіцера-штурмовика, що пройшов Сомму і Фландрію з 14 пораненнями. На відміну від вигаданого "На Західному фронті без змін" Ремарка з його тезою, Юнгер просто фіксує смерть, жах і товариськість без моралізаторства, хоча ранні видання більш мілітаристські за пізні. Автор проводить паралель між юнгерівським поняттям обов'язку стояти на посту і власним досвідом виходжування доньки, народженої на 24 тижні вагою 675 грамів.

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