Дайджест #30. Неділя, 5 липня

OxCaml, надмножина OCaml від Jane Street, дозволяє позначати функції анотацією `[@zero_alloc]` — компілятор відмовляється збирати код, якщо в дереві викликів трапляється хоча б одна алокація в купі. Замість традиційного пошуку алокацій профілювальником, розробник одразу отримує список порушень і може крок за кроком усунути їх. Автор демонструє це на прикладі парсера CSV: переніс буфер назовні, замінив `Buffer` на власний парсинг цілих чисел, а структуру розмістив на стеку — програма прискорилась у 2,12 раза.

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

Дані телескопа Джеймса Вебба показують, що надмасивні чорні діри та яскраві галактики з’явилися в ранньому Всесвіті набагато швидше, ніж передбачали попередні моделі. Щоб пояснити аномалії, дослідники розглядають гіпотези super-Eddington accretion, прямого колапсу газових хмар, епізодичного зореутворення та більшої кількості масивних зірок. Спостереження загадкових «маленьких червоних крапок» і нові симуляції допомагають поступово відсіювати варіанти та будувати нову картину космічного світанку.

Серія «Little Mathematics Library» від радянського видавництва «Мир» — це добірка невеликих, але змістовних книг з різних розділів математики. Кожне видання обсягом зазвичай до 100 сторінок розкриває окрему тему — від геометричних побудов і методу математичної індукції до machine Поста та теореми Геделя. Книги виходили в 1970–80-х роках і досі цінуються за строгість викладу без спрощень.

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

Bloomberg Terminal утримує монополію на фінансових ринках не через технічну досконалість, а через потужний lock-in: чат IB став головним каналом комунікації та укладання угод, глобальні індекси прив’язали до себе трильйони доларів, а користувачі роками вивчають його 30 000 команд. Саме тому навіть санкціоновані іранські чиновники користуються терміналом, а дешевші конкуренти не можуть відтягнути клієнтів. У відповідь на AI Bloomberg інтегрує власний BloombergGPT прямо в термінал, перетворюючи потенційну загрозу на ще один шар свого захисного рову.

Парадокс у тому, що висока ціна та незручний інтерфейс виявилися конкурентною перевагою: що важче опанувати інструмент, то дорожче його покинути.

Ovasabi Foundation — це фулстек-фреймворк для побудови високопродуктивних event-driven систем із tenant-ізоляцією, власною «performance ladder» (від 10 нс до звичайного HTTP/JSON) та вбудованою observability. Стек охоплює Go-сервер, TypeScript-клієнт, Rust/WASM-ядро та нативний шар на Tauri, а також контракти для крос-мовної генерації коду. Проект націлений на команди, готові до жорсткої дисципліни, і надає готові шаблони, worker orchestration та Hermes-шар для суб-мікросекундних читань. Поточна версія 0.0.1, але документація вже включає інструкції для AI-агентів і вимірювання регресій продуктивності.

Схоже, автор одразу націлився на космос, минаючи атмосферу — v0.0.1 з наносекундними гарантіями та контрактами для агентів виглядає радше як архітектурний маніфест, ніж готовий інструмент.

У закритих переговорних кімнатах рівень CO₂ часто перевищує 1000 ppm уже за першу годину, а дослідження показують, що це помітно погіршує стратегічне мислення, планування та ухвалення рішень. Автор радить додати якість повітря до переліку факторів, які варто моніторити в робочому середовищі, і просто відкривати вікно перед важливими нарадами.

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

Фермер із Каліфорнії Цезар Мора безкоштовно роздав понад 45 тонн нектаринів, оскільки судова заборона унеможливила їх продаж. Компанія Giumarra Brothers Fruit Co. звинувачує його в порушенні контракту на ексклюзивний сорт Monalise, ліцензія на який належить французькій Star Fruits Diffusion. Ця справа наочно демонструє, як патенти на фрукти й маркетингові угоди можуть залишати врожай гнити на деревах, а дрібних виробників — без доходу.

Сатирична стаття від імені постдокторантки, яка під час співбесіди на tenure-track позицію спробувала використовувати ChatGPT замість того, щоб пояснювати свої дослідження самостійно. Вона щиро обурена, що їй не дозволили «промптувати» замість відповідати з голови, і вважає це дискримінацією, адже у своїй щоденній роботі майже 85% тексту генерує ШІ. Пошуковий комітет не оцінив підхід, відмовивши через «брак незалежного мислення», а героїня розмірковує про перехід в індустрію, де «AI-підсилене пізнання» сприймають краще.

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

Вчені виявили, що вибір місця зимівлі у мухоловок-пеструшок визначається поєднанням генетики та середовища, а не навчанням від батьків. Усі європейські популяції, від Іспанії до Сибіру, летять в Африку кружним шляхом через Піренейський півострів — це еволюційний рудимент льодовикової епохи. Експерименти з переміщенням яєць між Нідерландами та Швецією показали, що успадковується не напрямок міграції, а її тривалість.

mcpsnoop — це прозорий проксі для налагодження MCP, який у реальному часі показує всі JSON-RPC виклики між AI-клієнтом (Claude, Cursor тощо) та серверами в термінальному UI. Він перехоплює справжній трафік, дозволяє фільтрувати запити, перевіряти узгоджені capabilities, перезапускати окремі виклики та виявляти завислі операції. На відміну від MCP Inspector, не потребує окремого підключення — достатньо обгорнути команду сервера у `mcpsnoop --`.

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

USPS опинилася у фінансовій скруті, що активізувало плани приватизації, зокрема запропонований Wells Fargo сценарій продажу прибуткового посилкового бізнесу та розпродажу нерухомості для покриття збитків від доставки листів. Проблема в тому, що жодна приватна компанія не має логістичної інфраструктури, порівнянної з USPS, щоб виконувати Universal Service Obligation — доставляти пошту в кожну адресу країни. Приватизація фактично знищить гарантовану доставку ліків, соціальних виплат і кореспонденції, особливо в сільських та бідних районах, де часто немає цифрової альтернативи. Натомість вона збагатить конкурентів на кшталт FedEx і UPS, які прагнуть позбутися державного демпінгу, а також підштовхне Amazon пришвидшено будувати власну сільську мережу.

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

Новіші моделі Anthropic (Opus 4.8, Sonnet 5) виявилися гіршими за попередників у чіткому дотриманні JSON-схем інструментів — вони додають вигадані ключі в об’єкти, через що такі інструменти як Pi відхиляють виклики. Імовірна причина — постнавчання з підкріпленням у закритому середовищі Claude Code, яке мовчки ігнорує зайві поля, тож моделі навчаються бути неохайними. Як наслідок, альтернативні схеми дедалі частіше опиняються поза розподілом, і strict mode для обмеження семплінгу стає необхідним, щоб уникнути деградації.

Іронічно, що зростання загальної “розумності” моделі супроводжується зниженням її здатності коректно слідувати довільним контрактам — overfitting на одну екосистему погіршує гнучкість.

Plein Air — це веб-застосунок, який підбирає картини з відкритих музейних колекцій відповідно до поточної погоди та часу доби у вашій локації. Використовуючи дані Open-Meteo та геокодування Nominatim, він знаходить полотна (переважно імпресіоністів), що передають схожі атмосферні умови — туман, грозу, захід сонця тощо. Ідея натхненна пленерним живописом, коли митець працював просто неба, аби вловити живу мить світла. Усі картини є суспільним надбанням із колекцій музею Метрополітен, Чиказького інституту мистецтв, Клівлендського музею та інших.

Проект портує Command & Conquer Generals: Zero Hour на macOS, iOS та iPadOS без емуляції — оригінальний рушій 2003 року скомпільовано під ARM64, а графіка проходить ланцюжок DirectX 8 → DXVK → Vulkan → MoltenVK → Metal. Підтримуються кампанія, сутички, випробування генералів і сенсорне керування (тапи, жести), але ігрові ресурси не включені — потрібна власна копія зі Steam. Код базується на GPL v3 релізі EA та форку fbraz3/GeneralsX, до якого додано порт під iOS/iPadOS і низку виправлень рушія.

Цікаво, що порт значною мірою створений у парі з Claude Code, а інженерний щоденник у `docs/port/` читається як детектив — особливо розділ про «археологію багів» (чорна мінікарта, зниклі голосові репліки EVA).

У YouTube Studio є AI-асистент Ask Studio, який аналізує коментарі. Автор виявив prompt injection: коментар з інструкціями змушує AI виводити довільний текст ніби від YouTube, а також генерувати посилання, клік на які дозволяє зловмиснику отримати назви приватних відео. Google не визнав це вразливістю, хоча атака експлуатує довіру до AI-інструменту без жодної соціальної інженерії.

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

Anna's Archive пропонує винагороду в $200,000 за витягнення повних сканів книг із закритої бази Google Books, де вони доступні лише у вигляді коротких фрагментів. Охочих просять заздалегідь показувати прототип методу — команда готова допомогти з масштабуванням. Особливу увагу звертають на працівників Google: тих, хто зможе «винести» дані, називають легендарними архівістами. Винагорода дійсна також для колекцій аналогічного розміру, зібраних AI-компаніями, якщо в них значна частка рідкісних книг.

Схоже, Anna's Archive вирішили перетворити злам закритої бази на офіційний баунті-хантинг — раніше таке обговорювали хіба що на закритих форумах.

Verizon вимикає старий застосунок Gizmohub для дитячих годинників Gizmo 6 липня 2026 року, перевівши всіх на новий Verizon Family. Однак новий застосунок досі не підтримує випадки, коли годинник — єдиний пристрій на акаунті, без смартфона Verizon. Автор кілька разів звертався до підтримки, де визнали проблему, але не змогли її вирішити, і тепер він ризикує втратити змогу переписуватися з дітьми та відстежувати їхнє місцезнаходження.

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

Усі команди керування пакетами та пов’язана логіка (HTTP, TLS, git, стиснення) перенесені з компілятора Zig в maker-процес, що зменшує розмір бінарника на 4% і дозволяє вмикати перевірки безпеки для мережевих операцій. Це також спрощує виправлення коду пакетного менеджера без перекомпіляції компілятора та уможливлює використання хостових інструкцій CPU для криптографії. Зміна вирішує архітектурну проблему для протоколу build server, роблячи maker батьком для configurer, що дає змогу перезапускати конфігурацію без втрати довготривалого процесу збірки.

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

Проект воскрешає стокову Windows CE 2.12 з Sega Dreamcast і перетворює її на самодостатній десктопний досвід: віконний менеджер із робочим столом, панеллю завдань, курсором миші та власним набором застосунків (Explorer, Task Manager, Clock, Calculator). Уся збірка реалізована через CMake з вендореним SH-4-компілятором і SDK, тож bootable образ диска генерується без зовнішніх залежностей або Platform Builder. Мережева підтримка (Ethernet через Broadband Adapter або W5500/SPI) наразі в процесі розробки — автор підмінює PPP-стек універсальним шімом для роботи з TCP/IP напряму.

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

Curveball — генератор кривих для Neverball, який замінює обмежений `curve.c` і дає змогу створювати складні форми через екструзію 2D-профілів уздовж 3D-шляхів. Кожна крива складається з опуклих brushes, які автоматично обчислюються за допомогою алгоритму convex hull, а орієнтація профілю вздовж траєкторії (за потреби) реалізована через Frenet frame. Інструмент написаний на Rust і доступний як веб-застосунок та десктопний застосунок; його зроблено для власного набору рівнів, але викладено у відкритий доступ для спільноти.

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

BareMetal-RAM-Dumper — завантажувальний інструмент для x86, який працює без ОС і дампить фізичну RAM прямо на завантажувальний диск. Він використовує BIOS-переривання, входить в unreal mode для доступу до пам’яті вище 1MB та парсить карту пам’яті через INT 0x15 E820, щоб записувати лише доступні регіони. Інструмент створювався для експериментів із Cold Boot Attack, коли охолоджену RAM швидко зчитують після перезавантаження для вилучення ключів шифрування.

Проект орієнтований на Legacy BIOS і без модифікацій не запрацює на більшості сучасних систем із UEFI та Secure Boot.

П'ятизірковий Powerscourt Hotel у Віклоу скасував закриту конференцію групи Dialog, співзасновником якої є Пітер Тіль. Захід, що мав прийняти старшого командувача НАТО та чиновників адміністрації Трампа, включав сесії про підготовку до світової війни, ядерну енергію та «культобудівництво». Скасування відбулося на тлі кампанії протестів через роль компанії Palantir, іншого проєкту Тіля, у військових операціях Ізраїлю в Газі.

Фінляндія повністю відключила аналогові стаціонарні телефонні лінії після 150 років роботи, ставши черговою країною, що перейшла на цифрову інфраструктуру. Останній дзвінок здійснили CEO оператора Elisa та голова регулятора Traficom, а відмова від мідних кабелів пояснюється застарілістю технології та малим попитом — у мережі залишалося лише кілька тисяч абонентів. Відтепер стаціонарний зв’язок у країні підтримуватимуть лише окремі локальні оператори для небагатьох користувачів.

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

ЄС пом'якшує запропоновану систему екологічного рейтингу датацентрів після тиску з боку техногігантів. Початковий проєкт вимагав компенсувати викиди лише в межах того ж регіону, де розташований ЦОД, але тепер оператори зможуть купувати "зелені" сертифікати в будь-якій країні блоку. Лобісти від AWS, Microsoft та Google наполягали, що географічне обмеження збільшить їхні операційні витрати.

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

LispWorks — це комерційна реалізація Common Lisp із власним IDE, що надає графічний stepper, tracer, браузери класів і викликів функцій, а також tree-shaker для створення компактних виконуваних файлів. Безкоштовна версія обмежена обсягом купи, сесією до 5 годин і не дозволяє білдити автономні застосунки, але дає змогу випробувати CAPI GUI. Хоча редактор IDE поступається звичному Emacs+Slime, він пропонує зручні візуальні інструменти, як-от сповіщення про перевизначені функції та компіляційні попередження.

LispWorks демонструє, що комерційний Common Lisp може мати зрілий інструментарій, але його ціна (від $750 за hobby-ліцензію) залишає його нішевим вибором.

Автор пропонує “Moby Dick Workout” — стрес-тест для застосунків продуктивності: завантажити повний текст “Мобі Діка” і виконати базові операції (скролінг, редагування, undo/redo, перевірка пам’яті). Якщо застосунок працює плавно і без надмірного споживання ресурсів, він, імовірно, впорається з будь-яким користувацьким контентом. Тестові файли доступні у форматах Bike, OPML та Markdown.

Оксфордський університет, де викладання почалося ще у 1096 році, старший за імперію ацтеків, засновану лише у 1325. Білий дім простояв довше, ніж ацтеки правили Теночтітланом, а Клеопатра жила ближче до сьогодення, ніж до будівництва пірамід. Автор наводить ці та інші приклади (Анна Франк і Мартін Лютер Кінг народилися в один рік), щоб показати, як сильно наша інтуїтивна хронологія спотворена.

HIC Mouse — це інструмент для AI-агентів, який забезпечує точне редагування файлів через координатно-орієнтовані операції (INSERT, DELETE, ADJUST тощо), атомарний rollback та вбудовані підказки у відповіді (tool-response engineering). Замість примітивної рядкової заміни агент отримує шість декларативних команд і можливість зберігати, скасовувати, інспектувати або уточнювати зміни перед фіксацією. Інструмент надає контекстні поради, оцінку ризиків та підказки щодо наступних дій, компенсуючи обмеження великих мовних моделей.

Координатне редагування справді може вирішити проблему «не тієї заміни», якщо реалізоване без помилок, але гучна заява про «найпотужніший у світі» викликає скепсис.

Нова хвиля шахрайств, націлена на авторів: фейкові книжкові клуби та приватні рецензійні групи пропонують «освітлення» книг за плату, маскуючись під реальні спільноти. Листи генеруються ШІ, містять персоналізовані лестощі, а оплата проходить через Upwork, банківські перекази на нігерійські рахунки або PayPal Friends & Family. Справжні книжкові клуби не беруть грошей з авторів; ці схеми швидко мутують, підлаштовуючи тактику під поведінку жертв.

ШІ навчився ідеально гладити авторське его — лишилось лише навчити його не вимагати гроші за це.

Нове дослідження ESO вперше кількісно оцінює сукупний вплив понад 1,7 млн запланованих супутників на наземну астрономію, зокрема дзеркальних супутників Reflect Orbital, які будуть яскравішими за Венеру. За розрахунками, повна флотилія цих апаратів зробить нічне небо в 3-4 рази світлішим, а камера Rubin Observatory втрачатиме майже всі знімки. Єдиним порятунком автор називає жорстке обмеження — не більше 100 000 супутників із яскравістю нижче 7-ї зоряної величини.

Схоже, ми на порозі епохи, коли темне небо стане розкішшю, доступною лише на старих фотографіях.

Автор замінив усі інструкції розгалуження в бінарному коді на `INT3` і запускав його у віртуальній машині TinyKVM, де обробник переривання працював без зміни рівня привілеїв — це дало змогу збирати точне покриття для фаззингу без Intel PT чи QEMU. Підхід спрацював, але виявився приблизно на 700% повільнішим за QEMU через постійні зупинки конвеєра процесора, тому на практиці він непридатний. Водночас метод дозволяє легко додавати кастомні хуки покриття та вимикати відстеження для вже досліджених гілок.

Навіть без зайвих переходів у ring 0, процесори все одно шалено не люблять, коли їх переривають кожні кілька інструкцій.

Дослідники провели перший системний аудит безпеки пропрієтарних протоколів AirDrop (Apple) та Quick Share (Google/Samsung), які використовуються на понад 5 млрд пристроїв. За допомогою зворотної розробки та власного protocol-aware fuzzer'а AIRFUZZ вони виявили 6 вразливостей: зокрема, Swift fatalError DoS і необмежену рекурсію XML plist у стеку Apple, pre-authentication dispatch та обхід D2D шифрування у Samsung Quick Share, а також heap use-after-free у Google Quick Share для Windows. Усі знайдені проблеми були підтверджені вендорами після відповідального розголошення.

На iPhone кнопка повороту фото буферизує швидкі натискання, виконуючи їх послідовно, тоді як на Nothing Phone (Android) повторний tap під час анімації ігнорується, хоча пристрій чесно підтверджує дію тактильно та звуком. Автор нагадує правило: не змушуйте користувача чекати завершення анімації — краще переривати її або запам’ятовувати дії. Це особливо важливо, коли звичайний інтерфейс раптово починають використовувати інтенсивно (наприклад, повертати десятки фото), тобто виникає «ситуаційна досвідченість».

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

У GPT-5.5 Codex виявлено аномальну кластеризацію reasoning-токенів навколо фіксованих значень 516, 1034 та 1552 — модель дає 82% усіх exact-516 подій, хоча генерує лише 19% загальних відповідей. Для неї 44% усіх відповідей із reasoning-токенами закінчуються рівно на 516, тоді як в інших моделей цей показник не перевищує 2%. З травня 2026 року ця поведінка різко посилилася, а загальна інтенсивність reasoning-токенів знизилась, що може свідчити про примусове обмеження бюджету міркувань і спричиняти погіршення якості на складних завданнях.

Схоже, GPT-5.5 навчився «оптимізувати» витрати — ось тільки оптимізація, схоже, стосується лише рахунків за інфраструктуру, а не якості відповідей.

Медуза *Clytia hemisphaerica* загоює рани за лічені хвилини без утворення рубців. Дослідники з’ясували, що процес запускають lamellipodia — вирости клітин, які повзуть по базальній мембрані, після чого actomyosin cable скорочується й закриває пошкодження. Якщо мембрана зруйнована або рана завелика, вмикається колективна міграція цілого епітеліального шару. Отримані механізми консервативні й можуть допомогти зрозуміти загоєння ран у ссавців.

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

Келсі Пфендлер завершила одиночний перехід на весловому човні з Монтерея (Каліфорнія) до Гонолулу за 43 дні, встановивши абсолютний рекорд швидкості на цьому маршруті — попередній жіночий рекорд становив 86 днів, чоловічий — 52 дні. Під час подорожі вона також збирала кошти для Whale Foundation, яка підтримує гідів Великого каньйону.

43 дні на 21-футовому човні без супроводу — це демонстрація не лише фізичної витривалості, а й рідкісного психологічного ресурсу.

Це серія постів, яка знайомить із ключовими темами автономності квадрокоптерів: моделюванням, симуляцією, оцінкою стану (state estimation), диференціальною площинністю, плануванням руху (motion planning) та контролем. Автор створив цей гайд як інтуїтивний «стрибок» для новачків, уникаючи надмірної академічної строгості, і додав посилання на джерела для глибшого вивчення. Окремі розділи ще дописуються (позначені WIP), але вже охоплюють основний шлях від моделі до повної архітектури.

Автор хотів написати 80-сторінкову статтю, але вчасно передумав — і це, схоже, пішло на користь усім, хто хоче розібратися без занурення в research papers.

Вчені з Caltech розробили менш інвазивний метод декодування намірів мозку за допомогою функціонального ультразвуку (fUS), який вимірює локальний кровотік із високою роздільною здатністю. На відміну від імплантації електродів, для цього потрібне лише невелике акустичне вікно в черепі. У дослідах на мавпах алгоритми машинного навчання успішно передбачали тип і напрямок запланованого руху за кілька секунд до його виконання.

backon — це Python-бібліотека для ретраїв з експоненційним backoff, яка не має зовнішніх залежностей і працює як із синхронним, так і з асинхронним кодом. Вона надає декоратори, функціональний API, контекстний менеджер, а також circuit breaker, hedging, метрики, гнучке комбінування стратегій очікування та умов retry. Бібліотека позиціонується як сучасна заміна backoff і вимагає Python 3.10+.

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