Дайджест #32. Вівторок, 7 липня

IOCCC 2025 вийшов особливо вражаючим: Adrian Cable втиснув повноцінний емулятор Subleq-комп'ютера (OISC) у 366 байт — він запускає Linux і має реальне застосування у збереженні застарілого софту. Jonah Uellenberg створив quine-версію Pong, де кожен кадр гри генерує новий вихідний код із оновленим положенням м’яча. Nick Craig-Wood показав емулятор Game Boy у 66 рядках, а Yusuke Endoh — Nixie-симулятор, що підсвічує цифри прямо у власному коді, та самопатч-програму, яка виводить код diff.

Після такого навіть звичайний «Hello World» здається непристойно багатослівним.

PetReminder — це нативний macOS-застосунок, який показує анімованих тваринок на робочому столі, коли спрацьовують нагадування. Доступні коти й собаки, базовий набір безкоштовний, додаткові породи — через in-app purchase. Працює офлайн, оптимізований під Apple Silicon, споживає мінімум ресурсів і має гнучкі налаштування поведінки улюбленців.

Автор показав, як за допомогою протоколу x402 і Cloudflare Workers можна прикрутити до статичного блогу платний API-ендпоінт за $0.01 у USDC на Base або Solana. Реалізація з використанням Hono та бібліотек @x402 виявилась на диво простою і не потребувала жодних сторонніх сервісів для приймання платежів. Після тестових мереж paywall успішно запрацював у мейннеті через фасилітатор PayAI.

Іронія в тому, що реалізувати мікроплатіж самому вдалося швидше, ніж дочекатися офіційного релізу Monetization Gateway від Cloudflare.

США здобули незалежність не лише зброєю, а й інженерією — розвитком власного виробництва всупереч британським обмеженням. Проте з кінця XX століття фінансіалізація та offshoring підірвали цю самодостатність, залишивши країну без критичних виробничих ланцюгів. Сьогодні залежність від імпорту та обмеження right to repair загрожують реальному суверенітету.

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

Есе показує, що великі мовні моделі, навчені на минулому, неминуче тяжіють до усереднення: вони повертають найтиповіше, а нове сприймають як помилку. У циклі «відповідь стає запитом» варіативність думок звужується, і культура втрачає «хвости» — саме те, де народжуються відкриття. Тому справжня цінність тепер не в середньому, а в девіації, яку модель намагається виправити.

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

Стаття описує погіршення умов для розробників у Anthropic: нестабільне API, примусову прив’язку до їхніх інструментів (Claude Code) та нову систему оплати «extra usage», яка різко здорожчує використання Claude через сторонні застосунки. Автор перейшов на відкриті моделі (Qwen, GLM) із гнучкими AI-шлюзами та радить agent-assisted підхід, де AI лише доповнює власне розуміння коду. У підсумку він звинувачує Anthropic у низці неетичних практик і закликає відмовитися від їхніх сервісів.

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

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

Бренди, які будують маркетингову стратегію навколо відкритого використання AI, дедалі частіше стикаються з backlash — споживачі миттєво розпізнають AI-generated контент і сприймають його як ознаку недбалості, що руйнує емоційний звʼязок. Провальні кампанії Coca-Cola та безконтрольне втручання Meta в рекламу показали, що AI без людського нагляду шкодить автентичності. Успішні компанії на кшталт Spotify і Netflix використовують AI непомітно — для personalization та оптимізації, не роблячи технологію самоціллю.

Схоже, найкращий AI-маркетинг — той, про який споживач навіть не здогадується.

Kani — це модельний чекер для Rust, який компілює proof harnesses із MIR у верифікаційний рушій CBMC і автоматично перевіряє безпеку unsafe-коду, відсутність panics та функціональну коректність. Для unbounded verification підтримує function contracts, loop contracts, квантори та function stubbing. Інструмент знайшов шість нових багів у промислових проєктах, а в CI стандартної бібліотеки Rust на кожен PR запускається понад 16 000 верифікацій.

Масштабування Kani до 16 000 верифікацій у production CI виглядає як тихий перехід Rust у світ, де "якщо компілюється — значить працює" можна сприймати майже буквально.

Автор, засновник стартапу Val Town, стверджує, що навчання програмуванню не втратило сенсу навіть у добу vibe coding і великих мовних моделей. Він бачить код як найкращий спосіб вивчати математику через дослідження, як це пропагував Сеймур Пейперт у проєкті Mathland, а також як форму творчого вираження, що поєднує точність математики з миттєвим зворотним зв’язком відеогри. Код не гарантує швидкого збагачення, але залишається потужним інструментом для розвитку мислення, навичок налагодження і радості творення.

Схоже, що «learn to code» просто переїхало з категорії «як швидко заробити» до категорії «як бути освіченою людиною» — і це навіть краще.

Керівництво Xbox оголосило наймасштабнішу реструктуризацію в історії підрозділу: скорочення близько 3200 посад протягом FY27, вихід чотирьох студій (Compulsion Games, Double Fine, Ninja Theory, Undead Labs) та призначення першого COO з повною P&L-відповідальністю. Бізнес виявився хронічно збитковим через низькі маржі, завищені витрати та недостатнє зростання Game Pass і мультиплатформних ініціатив. Управлінську структуру спростять до 5 рівнів, скоротять витрати на вендорів на 50% і сфокусують інвестиції на ключових проєктах, не скасовуючи вже анонсовані ігри.

Титан, супутник Сатурна, має атмосферу з азоту й метану, поклади рідких і твердих вуглеводнів та доступний окисник у формі водяної криги. Ці ресурси можна використовувати для виробництва пального, їжі та будівельних матеріалів, що критично для довготривалих місій у зовнішній Сонячній системі. Однак Титан бідний на важкі метали, тож їх доведеться доправляти. Стаття порівнює потенціал in-situ resource utilization (ISRU) на Титанi, Місяці та Марсі й окреслює необхідні майбутні дослідження.

WS4000 Simulator — сучасний погодний додаток, що з високою точністю відтворює зовнішній вигляд і функції класичної системи Weather Star 4000. Він охоплює поточні умови, прогнози на 36 годин та розширений на три дні, радар, попередження та інші оригінальні блоки. Програма дозволяє гнучко налаштовувати порядок блоків, створювати музичні плейлисти через FMOD, додавати власні біжучі рядки та точно контролювати анімацію. Ядро написане на сучасному C++ із власним рендер-рушієм, працює портативно (лише три файли, без змін у реєстрі) й отримує прогностичні дані з цифрових сіток National Weather Service.

AMD Ryzen AI Halo — це компактний міні-ПК для AI‑розробки на базі Ryzen AI Max+ 395 зі 128 ГБ уніфікованої пам’яті. Його головна особливість не в залізі, а в готовій екосистемі: AMD Ryzen AI Developer Center, Best Known Configurations (BKC) та інтерактивні Playbooks, які знімають головний біль із сумісністю драйверів і бібліотек. Продуктивність локального інференсу обмежена смугою пропускання пам’яті 256 ГБ/с, однак NPU вдалося задіяти для енергоефективних задач — хоча і зі скромними показниками.

`pon` — JIT/AoT компілятор для Python 3.14 на Rust, що транслює код одразу в машинний через Cranelift без жодного інтерпретатора чи байткоду. Замість reference counting використовується Green Tea garbage collector, а коректність перевіряється byte-exact диференційними тестами відносно CPython (244 модулі наразі проходять). Проект також включає власний пакетний менеджер і націлений на повну сумісність із тестовим набором CPython.

OfficeCLI — CLI-інструмент для роботи з Word, Excel і PowerPoint, який постачається як єдиний самодостатній бінарник і не потребує встановленого Microsoft Office. Він надає власний рушій рендерингу в HTML і PNG, дозволяючи AI‑агентам «бачити» результат редагування, а також підтримує повний цикл операцій: створення, читання, модифікацію, валідацію, шаблонне злиття, роботу з формулами та зведеними таблицями. Інтегрується з AI‑інструментами через вбудований MCP‑сервер та автоматичне поширення скіл‑файлів, що робить його особливо зручним для агентних робочих процесів у headless-оточеннях і CI/CD.

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

CS2FOW — серверний плагін для CS2, який використовує occlusion culling на основі попередньо запеченої статичної геометрії карт (BVH8) і AVX-прискорення, щоб не надсилати клієнтам позиції ворогів, повністю прихованих за стінами. Це перекриває основний канал даних для wallhack-читів, не втручаючись у клієнтські файли, і досягає значно вищої продуктивності, ніж традиційні TraceRay-перевірки. Плагін автоматично запікає дані для поточних карт (включно з Workshop), але динамічні об’єкти (двері, дими) наразі не опрацьовує.

Pulpie — це сімейство моделей для виділення основного контенту з HTML, яке досягає якості, близької до SOTA, за одну двадцяту вартості конкурента Dripper. Найменша модель, pulpie-orange-small (210M параметрів), отримує 0.862 ROUGE-5 F1 (проти 0.864 у Dripper) і обробляє 13.7 сторінок за секунду на NVIDIA L4 — у 20 разів швидше, тож очищення 1 млрд сторінок коштує близько $7 900. Висока ефективність забезпечена енкодерною архітектурою, яка розмічає блоки за один прямий прохід, тоді як декодер Dripper генерує мітки послідовно та впирається в пропускну здатність пам’яті. Моделі відкриті, рекомендовано використовувати Small для балансу між якістю та швидкістю.

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

Це нагадує класичний Gartner Hype Cycle: після піку завищених очікувань «яма розчарування» може виявитися глибшою і тривалішою, ніж здається, — особливо для тих, хто вже встиг закласти у вартість миттєве технологічне диво.

DayQuil та інші комбіновані препарати від застуди складаються переважно з ацетамінофену (acetaminophen) і кількох плацебо-компонентів (dextromethorphan, phenylephrine), при цьому ціна за діючу речовину завищена в десятки разів. Головна небезпека — випадкове передозування ацетамінофеном, оскільки він міститься в більшості таких засобів і перевищення добової дози призводить до тисяч госпіталізацій та сотень смертей щороку. Автор пропонує заборонити combo drugs, що змусить споживачів купувати перевірені інгредієнти окремо — це здешевлює лікування і знижує ризик токсичності.

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

Small AI-моделі, що мають лише кілька мільярдів параметрів, дедалі частіше використовуються там, де немає надійного інтернету, дата-центрів або стабільного живлення. Створені через pruning або distillation великих LLM, вони працюють безпосередньо на телефонах чи пристроях на кшталт Raspberry Pi й Arduino. Такі системи вже допомагають виявляти фальшиві ліки, хвороби рослин з дронів та малярійних комарів у Нігерії, Бразилії, Індії та інших країнах. Світовий банк активно підтримує цей напрям, але експерти застерігають: без базової інфраструктури та освіти навіть найкращий small AI не вирішить глибших проблем цифрової нерівності.

Поки одні в перегонах за AGI проєктують під дата-центри окремі ядерні реактори, інші рятують життя на мікроконтролерах за $50 — і це, здається, два паралельні всесвіти однієї технології.

У новій версії OpenSSH 10.4 виправлено низку вразливостей, серед яких path traversal у sftp/scp, обхід мінімальної затримки аутентифікації та потенційний use-after-free. Додано експериментальну підтримку постквантових composite-підписів (ML-DSA 44 + Ed25519). Також транспортний протокол став суворішим під час повторного обміну ключами, а на Linux помилки активації seccomp-пісочниці тепер фатальні.

Поява постквантових алгоритмів в OpenSSH — важливий крок, навіть якщо їх поки що доводиться вмикати вручну.

Автор аналізує третє голосування в IETF щодо стандартизації solo ML-KEM, яке лобіюють NSA, GCHQ, Cisco та Google, ігноруючи безпекові заперечення 60 опонентів. Процедура має вбудований ухил на користь затвердження: ухвалення RFC є остаточним, тоді як відхилення можна переголосувати, що виснажує ресурси критиків. Помилкове «за» відкриває шлях до масового впровадження вразливого шифрування, тоді як відстрочка не завдає шкоди.

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

M/PC — це конкатенативна операційна система для комп’ютера Varvara, що використовує постфіксну нотацію та стекову модель команд. Вона дозволяє керувати файлами без файлового менеджера, переважно за допомогою текстового prompt, але також підтримує навігацію без клавіатури. Система може працювати як BIOS ROM, підтримує шпалери при завантаженні та включає примітиви для роботи з файлами, графікою та стеком.

Subtext — інструмент для візуалізації внутрішнього стану мовної моделі під час діалогу. Використовуючи Jacobian lens, він у реальному часі показує активацію токенів на різних шарах під час читання запиту та генерації відповіді. Це дозволяє побачити, як модель заздалегідь формує судження, планує слова та оперує проміжними концепціями, ще до того як вони з’являються в тексті. Проект працює локально на Qwen3.5-4B і дає змогу експортувати сесії для перегляду без GPU.

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

Стаття закликає не пропускати через AI кожну операцію: детерміновані завдання (збір даних, форматування JSON, планування) варто виконувати на рівні звичайного коду, залишаючи моделі лише судження та класифікацію. Це зменшує витрати токенів, розвантажує контекст і робить систему передбачуваною. Автор наводить архітектуру Vybe, де агенти оркеструють, але «брудну» роботу виконують детерміновані застосунки, та застерігає від використання нотаток як бази даних.

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

riddle — додаток для reMarkable Paper Pro, що імітує щоденник Тома Редла: ви пишете пером, чорнило поступово зникає, а у відповідь з’являється рукописний текст, який проявляється штрих за штрихом і згодом згасає. Для генерації відповідей використовується OpenAI-сумісний API або локальний процес pi; сторінка з вашим рукописом надсилається як зображення. Працює у двох режимах — віконному через AppLoad та «takeover» із прямим керуванням e‑ink для мінімальної затримки.

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

GLM 5.2 — це відкрита вагова модель, яка за якістю наближається до Opus та GPT-5.5, але коштує менше 20% від їхньої роздрібної ціни ($4.40/MTok). Вона легко замінює пропрієтарні моделі завдяки сумісним API, хоча має недоліки: відсутність підтримки зображень, повільна швидкість через довгі ланцюги міркувань та слабкий веб-пошук. Автор прогнозує, що широке впровадження таких моделей спричинить обвал надприбуткової маржі на інференсі, що стане темою другої частини.

Автор ділиться витоками свого скепсису щодо технічних акронімів: його рідна іспанська має їх значно менше, а в гуманітарних науках поняття не скорочують до абревіатур. Він зауважує, що в англомовному ІТ-середовищі акроніми використовують як маркетинговий інструмент для створення «клубу обраних», і їхня популярність часто більше залежить від милозвучності, ніж від змісту. У серії постів обіцяє критично розібрати CAP, ACID, DRY, KISS та інші.

Іронія в тому, що серія зветься AFS — акронім для боротьби з акронімами.

Poly/ML — реалізація Standard ML, сумісна зі стандартом ML97. Підтримує нативну компіляцію для x86 та ARM64, на інших архітектурах використовує bytecode-інтерпретатор. Має foreign function interface для виклику C-бібліотек, символьний debugger, бібліотеку потоків для багатоядерності та паралельний garbage collector. Активно застосовується в системах Isabelle та HOL.

Схоже, Standard ML досі живий завдяки таким інструментам, як Isabelle, які потребують швидкої та надійної ML-системи.

GDID (Global Device Identifier) — це 64-бітний ідентифікатор пристрою в Windows, який Microsoft присвоює під час реєстрації облікового запису, а не генерує локально з серійних номерів. Він зберігається у реєстрі, використовується службами Connected Devices Platform і Delivery Optimization та передається до Device Directory Service. Автор показує, що соцмережеві твердження про 128 біт і прив’язку до заліза хибні — перевстановлення Windows створює новий GDID, а знайти свій можна одним рядком у PowerShell.

По суті, це добровільно-примусовий «паспорт» вашої Windows, який працює навіть якщо ви думаєте, що локальний обліковий запис вас рятує — анонімний шлях CDP все одно зареєструє пристрій.

Стівен Рудіч, фахівець з теорії складності, помер у віці 63 років. Його роботи над Natural Proofs та Program Obfuscation були надзвичайно впливовими, а разом з Расселом Імпальяццо він довів, що самих лише one-way permutations недостатньо для секретного обміну ключами. Ленс Фортнов та Імпальяццо поділилися особистими спогадами про нього.

За кожною великою теоремою стоїть людина з власною, часто непростою, долею.

56-річна жінка з протезом кульшового суглоба після ревізії (заміна керамічної головки на кобальт-хромову) почала страждати від прогресуючого оніміння кінцівок, тахікардії, когнітивних розладів та шуму у вухах. Причиною стало важке отруєння кобальтом — його рівень у крові сягав 592 нг/мл (норма <10 нг/мл), викликане тим, що залишки керамічного уламка від попереднього протеза пришвидшили зношування металевої головки та вивільнення токсичного металу в тканини. Під час другої ревізії хірурги виявили некротичні сріблясто-сірі тканини, замінили головку на керамічну та розпочали хелатну терапію; незважаючи на покращення, неврологічні симптоми зберігалися понад рік.

Otari — це open-source шлюз для LLM, сумісний з OpenAI API, який надає одну точку входу для понад 40 провайдерів. Він дозволяє керувати віртуальними ключами, контролювати бюджети до виконання запиту та відстежувати використання у реальному часі. Шлюз також підтримує опційні інструменти (code execution, web search) та guardrails для безпеки запитів, і може працювати повністю самостійно у Docker-оточенні.