Дайджест #38. Понеділок, 13 липня

Стаття аргументує, що здатність розуміти математику є стратегічною інфраструктурою, яку не можна швидко відновити, і що одночасне зростання математичних здібностей AI та занепад освітнього pipeline для людей у США є стратегічною помилкою. На тлі нещодавнього спростування AI гіпотези Ердеша та скорочення федерального фінансування математики автор пропонує вимагати від AI формальних, machine-checkable обґрунтувань критичних рішень, щоб зробити їх аудитованими, а не просто переконливими.

Книга «Understanding the Odin Programming Language» Карла Зилінскі навчає мові Odin, зосереджуючись на низькорівневих концепціях: manual memory management, data-oriented design та parametric polymorphism. Видання розраховане на читачів із досвідом програмування й пояснює не лише синтаксис, а й логіку дизайну мови. Доступне у форматах HTML та eBook на кількох платформах, регулярно оновлюється (версія 1.10).

Автор уперше спроєктував і виготовив власну друковану плату для модуля датчика BME280, використавши KiCad для створення схеми та розводки, а потім замовив плату на JLCPCB менш ніж за $10. Він власноруч припаяв SMD-компоненти (включно з датчиком, знятим із готової плати) за допомогою паяльника та термоповітряної станції. Попри сумніви, плата запрацювала з першого разу, не вимагаючи змін у коді, що дало автору впевненості для майбутніх складніших проєктів.

У маршрутизаторі Motorola MR2600 виявлено unauthenticated RCE, що дозволяє завантажити довільну прошивку без автентифікації. Атака використовує обхід перевірки магічних чисел через неправильний парсинг multipart під час завантаження та обхід автентифікації через неконсистентне порівняння URI під час активації. Пристрій є end-of-life, механізм автоматичних оновлень не працює, а обидва підрозділи Motorola відмовилися визнавати його своїм.

Єдине, що працює безвідмовно — це самі вразливості та бюрократичний пінг-понг між відділами компанії.

Дослідження пояснюють, чому полінезійці після 1700-річної паузи раптово почали заселяти східну частину Тихого океану. Аналіз ізотопів водню з болотних відкладень показав, що між 850 та 1200 роками н.е. на південному заході тропічної Пацифіки була найсильніша за 2000 років посуха. Ймовірно, саме кліматичний стрес разом зі зростанням населення та вдосконаленням технологій каное підштовхнули людей до ризикованих подорожей на схід.

Стаття розглядає друковану рекламу Atari ST другої половини 1980-х, яка просувала 16-бітні комп’ютери під гаслом «Power without the Price». Автор показує приклади оголошень, де ціна Atari відкрито порівнювалася з дорожчими IBM PC, Macintosh та Amiga, а також реклами, які наголошували вже не лише на ціні, а й на наявності стороннього програмного забезпечення. Попри скромні маркетингові бюджети оновленої компанії після приходу Джека Траміеля, ці реклами вирізнялися детальністю й інформативністю, за якими автор ностальгує.

Річ Саттон описує «one-step trap» — поширену помилку, коли вважають, що AI-агент може обмежитися одноетапними прогнозами, а довгострокові отримувати простим ітеруванням. Особливо небезпечно це у моделях світу: спокусливо вивчити лише одноетапний перехід і потім «розгортати» його. Автор наголошує, що такий підхід є пасткою, яка гальмує розвиток справді розумних систем.

У статті описано експериментальний механізм hijax у JAX, який дозволяє визначати власні типи (HiType), що з’являються в jaxpr як одне ціле, а не як набір окремих масивів. Тип задає правила зниження до звичайних «lojax»-масивів, а також власний тип дотичних для autodiff, специфікації для vmap та шардування. На прикладі квантованого масиву (int8 з per-row scale) показано, як це працює разом із primitives, VJP, batch-правилами та explicit sharding.

Стаття розглядає історію чоловіка, який витратив $3 млн на віртуальну модель, а при реальній зустрічі назвав її «товстішою», щоб показати, як люди закохуються в ідеалізований образ, а не в живу людину. Автор порівнює це з практикою rubber ducking у програмуванні та духовним запитанням «Хто я?», наголошуючи, що справжні відповіді завжди приходять зсередини, а не ззовні. Метафора порожнього човна ілюструє межу між справжнім самозреченням і страхом показати себе справжнім, а практика спостереження за диханням (Hong-Sau) показує, що шукане вже присутнє в нас самих.

Метафора з rubber ducking — це, по суті, медитація для дебагера: проблема розв’язується, коли перестаєш чекати відповіді від зовнішнього об’єкта.

Під час інференсу LLM генерують текст послідовно, токен за токеном (autoregressive generation). Prefill-фаза за один forward pass обробляє весь prompt, зберігаючи Key і Value вектори у KV cache, що усуває потребу повторно їх обчислювати надалі. Decode-фаза на кожному кроці додає один новий токен, обчислюючи K/V лише для нього та використовуючи кеш для всіх попередніх. Стратегії декодування (top-p, top-k, temperature) контролюють баланс між передбачуваністю й різноманітністю виводу.

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

Ghostel — це емулятор терміналу для Emacs на основі libghostty-vt (рушія Ghostty), реалізований як нативний модуль на Zig. Він підтримує протоколи Kitty (клавіатура та графіка), OSC 8 гіперпосилання, синхронізований вивід (DEC 2026), true color, різноманітні стилі підкреслення та сповіщення, що відсутні в vterm чи eat. Пакет пропонує гнучкий набір режимів вводу (зокрема line mode для локального редагування), автоматичну інтеграцію з bash/zsh/fish і повноцінну роботу з віддаленими сесіями через TRAMP. Завдяки асинхронному читанню PTY у фоновому потоці він досягає швидкості ~75 MB/s на звичайному ASCII, зберігаючи Emacs чуйним під час інтенсивного виводу.

mindwalk — інструмент, що візуалізує сесії coding agents (Claude Code, Codex) як 3D-карту репозиторію. Він анімує логи, підсвічуючи файли, до яких агент звертався, читав чи редагував, і дозволяє оцінити, наскільки робота агента відповідала очікуваній. Працює повністю локально, не передаючи жодних даних назовні.

З таким інструментом аудит сесій AI-агентів нарешті стає схожим на детектив, а не на читання сирих JSONL.

У 1994 році співзасновники Naughty Dog Енді Гевін та Джейсон Рубін, завершивши Way of the Warrior, вирішили створити тривимірний character action game для нової PlayStation — першими в жанрі. Вони назвали концепцію «Sonic’s Ass», розуміючи, що гравець постійно дивитиметься на спину персонажа, і обрали Sony через технічну перевагу над Saturn і 32X. Разом із Дейвом Беггетом та Марком Серні вони почали розробку гри, яка згодом стала Crash Bandicoot.

У бразильському місті Форталеза врятували 62-річну жінку, яка з 7 років перебувала в домашньому рабстві — без зарплати, відпусток, освіти та будь-яких соціальних контактів. Три покоління однієї білої родини використовували її як прислугу, а також привласнювали її соцвиплати. Після угоди з прокуратурою родина зобов’язалася придбати їй квартиру й виплатити компенсацію, але через глибоку залежність жінка поки залишається в тому ж домі.

Сучасне рабство у Бразилії часто ховається за фасадом добропорядності — спадок 1888 року досі дається взнаки.

За даними опитування Incogni, 55% американців стали рідше постити в соцмережах, а понад половина респондентів називають підтримання онлайнової присутності радше роботою, ніж розвагою. Найбільше цей тиск відчуває покоління Z (60%), тоді як бумери сприймають соцмережі спокійніше. Головні чинники, що відштовхують користувачів, — політизований контент, проблеми з безпекою, переслідування та шкода для психічного здоров’я. Автор радить свідомо чистити стрічку, залишаючи лише реальні зв’язки, а за бажання — взагалі проміняти скролінг на прогулянку.

Сатиричний проєкт LARP пропонує фаундерам «обмінюватися» $10 000 — обидві сторони визнають це як виторг, реальні гроші не рухаються, а ARR злітає до небес без жодного клієнта. Це глузування над світом стартапів, де кругові угоди та взаємне фінансування часто маскують відсутність справжнього попиту. Автор порівнює цю механіку з цілком легальними схемами великих технокомпаній, які вкладають кошти одна в одну, накручуючи виторг по колу.

Моторошно реалістично — деякі «єдинороги» відрізняються від цього жарту лише наявністю реальної юридичної команди.

Автор простежує занепад свого читання від дитинства до зрілості, виділяючи головних винуватців: соціальний тиск, роботу, фінансову тривогу та, перш за все, смартфони і соцмережі. Він повертає звичку, змушуючи себе читати лише з конкретною метою (дослідження чи рецензія), вимикаючи сповіщення та використовуючи airplane mode. Читання для нього тепер — це спосіб зберегти внутрішній світ і культурну спадщину в епоху алгоритмів.

Після ударів США по ядерному об’єкту в Ірані знову набув популярності посібник з виживання 1979 року від інженера Крессона Кірні. Оновлене у 2022 році видання перелічує сім ключових речей для порятунку після ядерного удару: саморобне укриття з дверей чи поліетилену, запас води та непсувної їжі, ліхтарі, захисний одяг, документи й гроші, а також саморобний вимірювач радіаційного фону. Кірні наполягав, що дороге військове спорядження непотрібне — вижити можна за допомогою підручних матеріалів та базових навичок.

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

Різні ОС мають власні реалізації libm, через що результати `Math.tanh`, CSS-тригонометрії та Web Audio відрізняються на рівні 1 ULP. Це дає змогу анти-бот системам визначати справжню ОС браузера, навіть якщо User-Agent підроблений. Scrapfly відтворює математику цільової ОС біт-у-біт, враховуючи різні кодові шляхи у V8, Blink та Apple Accelerate, щоб фінгерпринт залишався консистентним.

Один виклик `Math.tanh(0.8)` видає три різні значення — справжній детектор ОС, який працює без жодних JavaScript-хабів.

Claude Code споживає приблизно 33 000 токенів лише на системні промпти, схеми інструментів та інʼєкції ще до того, як користувач введе запит, тоді як OpenCode обходиться ~7 000. На практиці це означає, що реальна робоча конфігурація може витрачати 75 000–85 000 токенів ще до першого слова, а кешування у Claude Code працює нестабільно: він часто перезаписує префікси навіть посеред сесії, що збільшує витрати на кеш-запис до 54 разів порівняно з OpenCode. Водночас на багатокрокових задачах різниця може нівелюватися, бо Claude Code агресивно групує виклики інструментів у меншу кількість запитів, тоді як OpenCode робить по одному виклику за хід і множить свій менший baseline на більшу кількість звертань. Вимірювання проводили через проксі, який логував точні JSON-запити й метрики API, і на однакових задачах обидва агенти давали однаково правильний результат, тобто різниця в токенах була чистою ціною за архітектурні рішення, а не за якість.

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

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

Kode Dot — кишеньковий програмований пристрій для maker'ів, пентестерів та гіків на базі ESP32-P4 і C5 з AMOLED-дисплеєм, численними датчиками (IMU, NFC, ІЧ) та 20-піновим GPIO. Користувачі можуть створювати й запускати власні програми на Arduino чи PlatformIO, а також розширювати функціонал за допомогою модулів. Пристрій успішно профінансували на Kickstarter 16 000 учасників.

Автор представляє Flash-MSA — перший відкритий продуктивний набір тренувальних ядер для MiniMax Sparse Attention (MSA), що підтримує навчання з довгим контекстом на Hopper/Blackwell GPU. Ядра використовують блокову розрідженість, GQA замість MLA, та ф’юзований backward-прохід із хитрим обчисленням градієнтів KL-втрати як різниці proxy й main attention probabilities, що дозволяє уникнути зайвих записів у shared memory. Продуктивність порівняно з Flash-Attention значно зростає на послідовностях понад 32K токенів, а коректність підтверджено в bf16 з cosine similarity >0.998.

Одне з перших реалістичних рішень для відкритого тренування sparse attention, яке до цього було доступне в inference-режимі лише закритим моделям.

Центри обробки даних в Ірландії споживають уже 23% усієї електроенергії країни — на 10% більше, ніж торік, попри мораторій на нові підключення в районі Дубліна. За останні десять років частка дата-центрів зросла з 5% до майже чверті всього енергобалансу, що вже перевищує споживання міських домогосподарств. Нові правила змушують операторів потужних ферм встановлювати власні генератори чи батареї та віддавати надлишок у мережу — але спротив суспільства і політиків тільки наростає.

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

Діофантові рівняння — це пошук цілих розв'язків поліноміальних рівнянь, і їх вивчення допомагає виявити приховані структури в цілих числах, такі як подільність, модульна арифметика та унікальна факторизація. Автор показує, як рівняння виду Ax=B ведуть до поняття подільності, а Ax+By=C — до алгоритму Евкліда, який еквівалентний унікальній факторизації. Через китайську теорему про остачі текст підводить до програми Ленглендса, яка досліджує рівняння f(x)=Ny і повʼязані з ними глибокі закономірності.

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

Репозиторій BeavisUltrasound — це open-source клон звукової карти Gravis Ultrasound PnP для ISA. На відміну від інших реплік, він містить повну схему та реверс-інжиніринговий код GAL. В основі плати — чіп AMD InterWave (AM78C201), але сам проект ще не тестувався на практиці.

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

codebase-posters — це CLI-інструмент (`npx codebase-posters`), який малює генеративні постери на основі git-історії будь-якого репозиторію. Він працює суто локально, не має залежностей і створює 18 різних візуалізацій: календарну сітку, серцебиття, сузір’я комітів тощо. Готовий постер можна зберегти у високій роздільності для друку або як анімацію.

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

Стаття пояснює, як застосувати алгоритм A* для пошуку шляху серед круглих перешкод, будуючи tangent visibility graph із бітангентів (зовнішні та внутрішні дотичні) та дуг навколо кіл. Детально описано математику обчислення цих дотичних, перевірку line of sight для відсіювання заблокованих ребер, а також оптимізації: обробка перешкод, що торкаються, генерація ребер на льоту, відсіювання cusped hugging edges і врахування радіуса агента через Minkowski expansion.

Стаття моделює, скільки здоров’я у QALY принесли $26,3 млрд пожертв МакКензі Скотт, використовуючи Монте-Карло симуляцію з регульованими припущеннями. При скептичному підході це ~70 тис. QALY, при довірливому — до ~200 тис., а головна невизначеність — сила причинно-наслідкових доказів, а не загальна сума. Для порівняння, граничний долар, скерований на глобальне здоров’я (сітки від малярії, стіпендії GiveWell), дає в ~1500 разів більше здоров’я, хоча такі можливості обмежені, і модель свідомо не враховує не-здоровчі ефекти (освіта, рівність, дохід), тож загальний соціальний внесок недооцінений.

Показово, як безпристрасна метрика QALY перетворює величезну філантропію на скромні цифри, якщо міряти лише здоров’я.

Google Research провели піврічний експеримент у 10 містах США, де менше 2% поїздок у Google Maps отримували альтернативні маршрути, щоб розосередити трафік із перевантажених ділянок. Середня швидкість на проблемних сегментах зросла приблизно на 2%, споживання пального зменшилося на 0,5–1%, що в масштабах міста означає тисячі тонн скорочення викидів CO₂ на рік. Позитивний ефект поширювався на всю дорожню мережу, особливо в години пік, демонструючи, що навіть невелика координація здатна системно покращити трафік без жорсткого централізованого управління.

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

`croc` — це CLI-інструмент для прямого й захищеного обміну файлами між будь-якими двома комп’ютерами, який не потребує налаштування портів чи локального сервера. Він використовує end-to-end шифрування через PAKE, підтримує передачу тек, відновлення перерваних сесій, проксі (Tor) та працює на Windows, Linux і macOS. Обмін ініціюється простим кодовим словом, а за замовчуванням трафік проходить через вбудований relay.

Файли повзають швидше, ніж колеги до кавомашини.

Аналіз понад 40 мільйонів наукових статей показав, що вчені, які застосовують AI, публікують утричі більше, отримують до п’яти разів більше цитувань і швидше стають керівниками команд. Однак наука загалом звужується: дослідження концентруються на обмеженому колі популярних, насичених даними проблем, слабшає оригінальність і міждисциплінарні зв’язки. Автори роботи в Nature вбачають причину не в самій технології, а в академічних стимулах, які винагороджують швидкість і обсяг, а не новизну.

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

Ryan's Zen Mode — це скрипт для Hammerspoon, який створює глобальний фокус-режим на macOS: одне натискання хоткею центрує поточне вікно на всю висоту екрана та затемнює все інше (меню-бар, док, шпалери, інші вікна). Він працює в будь-якому застосунку, використовує CoreGraphics canvas для рендерингу темного тла з прозорим вирізом під активне вікно та має плавну двофазну анімацію. Скрипт (~250 рядків Lua) не потребує додаткових залежностей і легко кастомізується, щоб повернути увагу до поточної задачі без прив’язки до конкретного редактора.

Elliot Smith провів експеримент з «autoresearch», доручивши Claude Code ітеративно покращувати власний алгоритм стиснення файлів на Rust, використовуючи лише коефіцієнт стиснення та часове обмеження у 300 секунд. За 10 ітерацій агент нарощував ефективність стиснення, особливо для аудіо та відео, але схилявся до мінімальних покращень і швидкого завершення. Головний урок — вибір цільової функції критичний: агент ігнорував швидкість на користь розміру, що нагадало, наскільки складно сформулювати збалансовану метрику для реальних задач.

Виявляється, AI-агенти так само легко потрапляють у пастку проксі-метрик, як і розробники-початківці.