Дайджест #17. Понеділок, 22 червня

У знайденому тексті 1992 року автор розмірковує, чому IBM не створює дедалі кращі компілятори FORTRAN, хоча писати компілятори стало значно легше. Він доходить висновку, що прогрес стримує не якість компіляторів, а наше невміння мислити, проєктувати мови та керувати складністю програм. Програмування на той час він описував як «чорну магію», де інструменти обігнали нашу здатність ними користуватися.

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

Данський колишній поліцейський і активіст Ларс Андерсен опублікував у жартівливій формі номер соціального страхування та телефону прем'єр-міністерки Метте Фредеріксен, а також скріншот спроби взяти в неї інтерв'ю щодо заборони шифрування та масового стеження. Після цього озброєні поліцейські в масках виламали йому двері без попередження. Один із них одразу знеструмив роутер через щиток, потім вони вилучили камери Google Nest із локальним сховищем, щоб уникнути відеофіксації арешту. Андерсен встиг зняти момент, як у нього відмовляються назвати підстави затримання, але доступу до запису більше не має.

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

Sakana Fugu — це мультиагентна система, що подається як єдиний модельний API: вона динамічно координує пул спеціалізованих LLM, навчаючись ефективних стратегій співпраці для розв’язання складних, багатокрокових завдань. Доступна у двох варіантах: Fugu (баланс швидкості та якості) та Fugu Ultra (максимальна точність із глибшою оркестрацією), без прив’язки до одного постачальника та з можливістю вимикати конкретні моделі під вимоги приватності. У бенчмарках Fugu перевершує публічні frontier-моделі, а в якісних тестах демонструє сильні результати в кодогенерації, наукових дослідженнях, обробці історичних текстів та автономній роботі.

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

Автор перевірив, чи можна fine-tune крихітну локальну LLM (Qwen 3:0.6B) для класифікації домашніх питань за категоріями перед RAG-пошуком. Базовий prompting дав лише 10% точності, модель плутала категорії та вигадувала нові. Перший fine-tuning на ~850 прикладах підняв точність до 79%, але заміна виводу з назв категорій на фіксовані двобуквені коди (без семантичного перекриття) дала 92%. Основними проблемами залишилися плутанина між семантично близькими категоріями, як-от water heater і pool.

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

Стаття пояснює, як використовувати JSON-LD для додавання структурованих даних на персональні сайти, що допомагає пошуковим системам та AI-краулерам краще розуміти семантику сторінок. Розглянуто основні типи (WebSite, Person, ProfilePage, SoftwareApplication, BreadcrumbList, CollectionPage, Blog, BlogPosting) із практичними прикладами коду, описами властивостей та впливом на відображення в пошуку. Автор наголошує, що навіть статичні сайти без збірки можуть отримати користь від мінімального набору тегів на головній сторінці.

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

Стаття пояснює японську дієслівну кон’югацію через систему основ з wildcard-голосним (*): ічідан-дієслова мають незмінну основу (наприклад, tabe), а годан-дієслова — основу зі зірочкою (nom*), яка «поглинає» прихований голосний із суфікса, інакше той зникає. Замість заучувати таблиці, автор пропонує кілька правил: конкатенація з wildcard, орієнтація на справжні японські склади (s+i=shi), вставка w перед a та спрощення для -ta/-te форм (типу nom* + (i)ta → nonda). Винятки (suru, kuru, iku) згадані, але модель охоплює більшість випадків.

Елегантна система, доки не побачиш, що * розчиняє цілі склади в -tta, наче японська фонетика любить жартувати над чистими правилами.

Recall — це плагін для Claude Code, який повністю локально веде журнал сесій (history.md) і створює стислий файл контексту (context.md) за допомогою TF‑IDF та TextRank, без звернень до мережі чи зовнішніх моделей. Він дозволяє наступній сесії швидко відновити, на чому зупинилися, замість повторних пояснень проєкту, і не витрачає токени на підсумовування. Плагін не потребує встановлення залежностей, працює офлайн, фільтрує секрети та безпечно обробляє git‑дані.

Замість того, щоб просити дозволу на дію, варто повідомляти керівника про свій намір і давати йому можливість відмовити до вказаного дедлайну. Такий підхід знижує навантаження на зайнятого менеджера, якому не треба вникати в деталі для явного “так”, і водночас пришвидшує рух уперед. Автор радить застосовувати це до завдань, що входять у вашу зону відповідальності й не потребують обов'язкового фідбеку.

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

Автор простежив еволюцію діалогового вікна при відкритті файлів невідомого типу у Windows: від лаконічного «не виконуваний» у версіях 2.11 та 3.1 до зручного вибору програми прямо в діалозі у Windows 95. У Windows XP з’явилася спроба підштовхнути користувача до веб-сервісу Microsoft для пошуку асоціацій, який виявився марним і швидко зник. Сучасний Windows 10 демонструє «плаский» дизайн, де інтерактивні елементи важко відрізнити від звичайного тексту, і приховує частину опцій за скролом.

Автор стверджує, що Geometric Algebra (GA) спирається на невдалий фундамент — геометричний добуток, який штучно змішує вектори з операторами й не дає справжньої геометричної інтуїції. Справді цінними є лише зовнішня алгебра (wedge product, мультивектори), що вже давно використовується в математиці й фізиці. На думку автора, нав’язлива фіксація GA-спільноти на геометричному добутку та її сектантський запал відлякують серйозних фахівців і гальмують розвиток корисних ідей.

Pulse for Claude Code — локальна панель без зовнішніх залежностей, яка в реальному часі показує витрати токенів, контекст сесій, дозволяє схвалювати виклики інструментів з телефона через push-сповіщення ntfy, відновлювати втрачені сесії та шукати по всій історії роботи Claude Code. Вона працює на 127.0.0.1, лише читає файли з ~/.claude, не робить зовнішніх викликів і не збирає телеметрію. Також є функції сповіщень при перевищенні бюджетів та «офісний» режим із маскотом.

Ідея використовувати публічний сервіс ntfy для push-сповіщень і віддаленого схвалення дій без відкриття портів виглядає елегантно.

Ця стаття розповідає про рідкісний телефон Northern Telecom Commodore Phone 1983 року, випущений обмеженим тиражем виключно для канадського ринку. Через тогочасну монополію Bell Canada всі телефони мали незнімну трубку (hardwired), що унеможливлювало пряме підключення модему VICModem. Аби обійти регуляції, Commodore замовила у Northern Electric спеціальну партію дискових апаратів, а інженери розробили адаптер VIC-1605 з тумблером для перемикання між телефоном і модемом.

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

Незалежні радники FDA одноголосно підтримали мРНК-вакцину Moderna проти сезонного грипу: після клінічних досліджень вона показала приблизно на 27% вищу ефективність, ніж стандартне щеплення, та сильнішу імунну відповідь у людей 65+ порівняно з високодозовим препаратом. Попередню спробу чиновника адміністрації Трампа відмовити в розгляді заявки FDA скасувало після скандалу. Остаточне рішення агентства очікується до 5 серпня, але подальші рекомендації CDC залишаються невизначеними через судову заборону на роботу консультативного комітету.

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

Автор аналізує, чи варто купувати готове ПЗ у часи великих мовних моделей. Він вводить поняття «зони життєздатності» — коли складна програма коштує достатньо дешево, щоб її було вигідніше купити, ніж створити за допомогою LLM. На прикладі Jira він показує, що навіть помірна ціна не окупає витрат на створення і підтримку саморобного клону, і позиціонує свій проєкт River саме в цій зоні.

Google вперше зафіксував 50% використання IPv6 серед своїх користувачів — це важливий рубіж для протоколу. APNIC Labs, використовуючи зважені за населенням методи, оцінює глобальний показник у 42%, що разом із даними Google окреслює ймовірний діапазон реального впровадження. Поширення IPv6 нерівномірне: нові мобільні мережі часто одразу будуються на IPv6, тоді як старі оператори покладаються на IPv4 і NAT. Попри складнощі, протокол уже став буденністю для половини користувачів Google у всьому світі.

Залишається чекати, коли GitHub теж помітить, що на дворі вже не 1995-й.

У 2024 році ставки відмов за медичними страховими вимогами серед найбільших планів ACA Marketplace коливалися від 13% до 35% — тобто ймовірність отримати відмову майже втричі залежала від того, який саме страховик у вас у кишені. Лише 5% відмов пояснювалися медичною недоцільністю, решта — адміністративні причини, з яких найбільша категорія «інше» (36%) взагалі не уточнювала підставу. Споживачі оскаржили менше 1% відмов, і навіть у цих випадках страховики підтверджували початкове рішення у 2/3 випадків.

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

Ваш PDS-оператор володіє ключами підпису та ротації, а тому може криптографічно бездоганно видавати себе за вас у всіх застосунках ATProto — від Bluesky до Tangled та Leaflet, — і ви не зможете довести, що це не ви. На відміну від ізольованих централізованих платформ, компрометація одного оператора дає зловмиснику повну владу над вашою ідентичністю в усій екосистемі (і можливість повністю вас із неї викинути). Автор наполягає, що резервний ключ ротації під контролем користувача має стати стандартом під час реєстрації, інакше децентралізація зводиться до сліпої довіри посереднику.

Децентралізація на папері — поки ключі у когось у шухляді.

Автор переглянув понад 11 000 назв птахів, щоб скласти рейтинг сотні найкумедніших, найдивніших і наймилозвучніших — від «Чадського вогняного в'юрка» до беззаперечного переможця «Mallard». Кожна позиція супроводжується коротким дотепним коментарем, а весь список — це грайлива ода людській пристрасті давати всьому імена.

Тепер хочеться вигукувати «Чак-Чалака» без жодного приводу.

Apertus — це повністю відкрита базова ШІ-модель для суверенного AI, створена Swiss AI Initiative за участю EPFL, ETH Zurich та CSCS. Вона навчена на понад 1000 мовах, доступна у версіях 8B і 70B параметрів, відповідає вимогам EU AI Act і за продуктивністю конкурує з провідними відкритими моделями. Усі компоненти — дані, код, ваги, методи та принципи вирівнювання — задокументовані та відтворювані.

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

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

Стаття описує покрокову реалізацію інтерпретатора мови Scheme на Python. Починаючи з простого калькулятора, автор додає підтримку змінних, умовних виразів, процедур, замикань та лексичної області видимості. У результаті виходить компактний інтерпретатор Lispy (117 рядків коду), здатний виконувати рекурсивні функції та демонструвати основи роботи компіляторів.

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

Творець Lodash Джон-Девід Далтон розповів, як особисті втрати — смерть матері та розлучення — призвели до вигорання і багаторічної перерви в підтримці бібліотеки. Після п’яти років відновлення він повернувся до проєкту за підтримки OpenJS, яка допомогла впровадити розподілене управління: Technical Steering Committee, security triage group та оновлену інфраструктуру. Історія Lodash нагадує, що за кожною залежністю стоїть жива людина, а стале обслуговування можливе лише через спільну відповідальність.

Викопне паливо становить 40% тоннажу морських перевезень, але через далекі маршрути споживає половину всього пального для судноплавства. Перший крок декарбонізації — не заміна молекул, а зменшення самого обсягу роботи: попит на вугілля, нафту й газ падатиме, тож частина танкерів і балкерів просто зникне. Далі йдуть електрифікація коротких маршрутів, оптимізація логістики та підвищення ефективності, які ще скоротять залишкову потребу в пальному. Тільки після цього варто обговорювати біометанол, біодизель чи інші рідкі палива для тих рейсів, де акумулятори не спрацюють, а ставка на аміак чи водень виглядає хибною через високі витрати й проблеми безпеки.

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

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

Ініціатива пропонує одноразовий податок до 5% на активи фізичних осіб і трастів вартістю понад $1 млрд (за винятком нерухомості та деяких пенсійних рахунків). 90% зібраних коштів спрямують на охорону здоров’я, 10% — на продовольчу допомогу або освітні програми, забороняючи заміщення цими грошима поточного фінансування. За оцінками, це тимчасово принесе бюджету штату десятки мільярдів доларів, але водночас може призвести до довгострокового зниження надходжень від податку на доходи на сотні мільйонів на рік.

Автор порівнює перехід на відкриті LLM із переходом на Linux у минулому: раніше це був компроміс, а сьогодні відставання від пропрієтарних лідерів становить лише кілька місяців. Основні перешкоди — сумнівна конфіденційність сторонніх API та витрати/складність самостійного запуску, однак різниця в продуктивності мінімальна. Через запровадження верифікації особи в Claude автор очікує короткочасного спаду ефективності, але не вважає це критичним.

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

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

Anthropic запроваджує верифікацію особи для деяких користувачів Claude через партнера Persona. Процес вимагає фізичний державний документ із фото та селфі, займає до п’яти хвилин. Дані не використовуються для тренування моделей, зберігаються на стороні Persona, а Anthropic має до них доступ лише для перевірки апеляцій. У разі відмови можна спробувати ще раз або звернутися до підтримки; бан після верифікації означає порушення правил і передбачає можливість оскарження.

BSharp — це додаток для тренування абсолютного (perfect) слуху за методом Eguchi, який використовує асоціацію фортепіанних акордів із кольорами. Він призначений для дітей до 6 років і передбачає короткі щоденні сесії з поступовим додаванням нових акордів. Додаток відстежує точність та адаптивно регулює частоту появи складніших акордів.

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

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

Іронічно, що для такої глибокої особистої ревізії знадобився сухий судовий позов.

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

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