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

Цей дайджест датований 6 липня 2026. Не зупиняйся на архіві — актуальний дайджест тут.
Аудіоверсія дайджесту

The best pint in England

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

Homegames

Homegames — безкоштовна опенсорсна платформа для створення, гри та поширення ігор прямо в браузері, без реєстрації. У студії є редактор коду, live-перегляд із мультиплеєром, керування асетами та можливість публікації. Ліцензія GPLv3 дозволяє self-host і форки, що гарантує збереження ігор; проект веде один розробник з 2018 року.

Dark mode with web standards

Використання мета-тегу `<meta name="color-scheme" content="light dark">` дозволяє поважати системну тему, а перемикач на сайті через JavaScript — змінювати її примусово. Медіа-запит `prefers-color-scheme` не враховує зміну `color-scheme` (за винятком iframes та SVG), тому для ширших змін стилів доводиться використовувати style queries. Функція `light-dark()` тепер підтримує градієнти й зображення, спрощуючи адаптацію дизайну.

List and map of airplane boneyards in the United States and worldwide, including a list of post-WWII boneyards and modern-day airliner storage facilities

Після Другої світової війни США мали величезний надлишок літаків — понад 100 000 одиниць, які звозили на десятки спеціальних майданчиків (boneyards) для продажу або утилізації. Сьогодні найбільше у світі кладовище літаків — AMARG на авіабазі Девіс-Монтан в Аризоні — використовує сухий пустельний клімат для тривалого зберігання, розбирання на запчастини та переробки як військових, так і комерційних повітряних суден. Подібні потужності для авіалайнерів діють також в Іспанії (Теруель), Австралії (Аліс-Спрінгс) та інших країнах.

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

Tau day 2026: Pi square is nearly 10 · mihai.page

У публікації до дня τ автор показує, чому π² ≈ 10, через оцінку ζ(2) за допомогою телескопічного ряду: π² = 6ζ(2) ≤ 10, із похибкою близько 0,125. Він демонструє практичну користь цього збігу для швидких обчислень, наприклад для оцінки log₁₀ π ≈ 0.5, та анонсує подальший аналіз подібного наближення π² ≈ g.

Приклад із периметром виявився тривіальним, але для логарифма працює — отже, день τ прожитий не дарма.

Cannabis Users Face Substantially Higher Risk of Heart Attack - American College of Cardiology

Нові дослідження свідчать: споживачі канабісу мають значно вищий ризик серцевого нападу. Ретроспективний аналіз показав шестикратне збільшення ризику для осіб молодше 50 років, а мета-аналіз 12 попередніх робіт виявив підвищення на 50% у загальній популяції. Дослідники радять лікарям включати питання про вживання марихуани до оцінки серцево-судинного ризику, хоча визнають, що не всі confounding factors вдалося врахувати.

You need a webring!

Автор закликає створювати webrings — кільцеві списки особистих сайтів, об’єднаних спільною темою чи просто дружніми зв’язками. Простий варіант — вручну домовитись про взаємні посилання; складніший — запустити Cloudflare Worker, який за JSON-списком учасників автоматично скеровує відвідувача через /prev, /next або /random на сусідні або випадковий сайт у кільці.

Залишилось тільки знайти n+0 друзів з особистими сайтами.

It's not about physical vs digital games, it's about ownership – Popcar's Blog

PlayStation відмовляється від дисків до 2028 року, але головна проблема — не зникнення фізичних носіїв, а втрата права власності: без дисків неможливі перепродаж, обмін і довготривале збереження ігор. Консолі перетворюються на закриті екосистеми, де все контролює виробник, на відміну від ПК з DRM-free магазинами та відкритими можливостями для резервного копіювання. Індустрія рухається до моделі підписки на кшталт Netflix, що загрожує повним знищенням цифрових прав споживачів.

Speech and Noise Corpora for Pitch Estimation of Human Speech | Zenodo

Набір даних об’єднує сім загальнодоступних мовленнєвих і шумових корпусів (CMU-ARCTIC, KEELE, MOCHA-TIMIT, PTDB-TUG, NOISEX-92, QUT-NOISE, FDA) для оцінювання алгоритмів визначення основної частоти (fundamental frequency, F0). Корпуси перетворено на зручні JBOF dataframes та опубліковано як частину дисертаційного дослідження про методи оцінки F0 у мовленні. Загальний обсяг файлів — 15.5 ГБ, ліцензії різняться, але всі дані доступні безплатно принаймні для некомерційного використання.

Composite Video on the NES: Why's it so wobbly?

Через неціле співвідношення тактових частот (~227,33 циклів кольорової несучої на рядок) композитний сигнал NES міг би давати трикадровий цикл артефактів. Інженери Ricoh обійшли це в NTSC-версії «ледачим черезрядковим» трюком: кожен другий кадр останній рядок укорочений на один піксель, що звело мерехтіння до двох кадрів. Але якщо гра примусово вимикає рендеринг для доступу до VRAM (як Battletoads), механізм ламається і проявляється повний трикадровий патерн.

Knowledge Should Not Be Gated | Formaly

Більшість інструментів для AI-агентів (RAG, vector databases, складні SDK) замикали знання у нечитабельних форматах, тоді як LLM найкраще сприймають звичайний markdown — що підтверджують практики на кшталт `CLAUDE.md` і LLM Wiki. Google випустила Open Knowledge Format (OKF) — просту специфікацію каталогів markdown-файлів з YAML frontmatter, яка робить знання інтероперабельними без прив’язки до вендора. Суть у тому, що знання слід тримати у відкритих, людино-читабельних файлах, а не ускладнювати доступ до них.

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

Fast Software, the Best Software — by Craig Mod

Швидкодія софту безпосередньо впливає на довіру до його якості та здатність не переривати робочий потік. Автор ілюструє це на прикладах: nvALT і Figma захоплюють миттєвим відгуком, тоді як Photoshop чи Google Maps дратують затримками, що змушує шукати альтернативи. Навіть мілісекундні лаги підточують відчуття тактильності й надійності, перетворюючи інструмент із помічника на перешкоду.

Показово, що Figma у браузері працює швидше за нативний Photoshop — красномовне свідчення про пріоритети розробки.

megawatts by microwave

BPA створила одну з перших у світі мікрохвильових мереж у 1950-х для керування розподілом електроенергії з дамб на річці Колумбія, оскільки первинні carrier-current системи не справлялися з навантаженням. Мікрохвильові лінії зв’язку забезпечували телеметрію, захисне реле (protective relaying) і дистанційне керування підстанціями, з’єднавши вісім штатів у єдиний Master Grid. Її кульмінацією став комп’ютеризований диспетчерський центр Dittmer на базі PDP-10 із системою RODS, що дозволяло синхронізувати дані та швидко локалізувати аварії на лініях.

Окремий вид задоволення — усвідомлювати, що мережа, яка живить AWS us-west-2 та алюмінієві заводи, досі частково працює на лампових радіорелейках 76-річної давнини, поки телеком-гіганти міряються AI-чипами.

Programmers need to start meditating now | Jake Gold

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

Reducing Assumptions, Exploding Your Code | Rye blog

Зменшення припущень у коді — валідація аргументів, обробка відсутніх файлів, мережевих помилок — призводить до вибухового зростання коду на Python (з 15 до 45 рядків), руйнуючи його початкову структуру. Rye уникає цього завдяки трактуванню помилок як звичайних значень та використанню функцій `check`, `^check`, `fix`, які дозволяють зберігати потік виконання без try/catch.

Phosh 0.56.0 · Phosh

Phosh 0.56.0 — новий великий реліз мобільної графічної оболонки. Додано плагін load meter для верхньої панелі, можливість приховувати додатки на іммутабельних системах. Wayland-композитор phoc оновлено до wlroots 0.20.1, а в phosh-mobile-settings з’явився інтерфейс для атомарних оновлень ОС через systemd-sysupdate. Клавіатура Stevia тепер підтримує окремі розкладки для додатків і навігаційні клавіші за замовчуванням.

Активна розробка Phosh поступово робить Linux-смартфони реальною альтернативою для щоденного використання.

Introduction to Compilers and Language Design | Prof. Douglas Thain at Notre Dame

Безкоштовний підручник “Introduction to Compilers and Language Design” професора Дугласа Тейна охоплює повний цикл створення компілятора: від сканування та парсингу до генерації асемблерного коду для X86 або ARM. Книга розрахована на семестровий курс для студентів-бакалаврів, знайомих із C та структурами даних. Супутній код із прикладами доступний на GitHub.

GitHub - Trystan-SA/claude-design-system-prompt: Reverse-engineered system prompt and skill library that turns an LLM into an opinionated, accessibility-aware, AI-slop-resistant design collaborator. · GitHub

Це зворотно розроблений системний промпт Claude Design від Anthropic — набір із 14 скілів, що перетворює LLM на дизайн-асистента, який свідомо уникає шаблонного «AI-дизайну» (градієнти, емодзі, надмір заокруглень) і натомість фокусується на доступності, семантичній верстці та системному мисленні. Промпт працює з будь-якою LLM, що підтримує системні інструкції; є окремі варіанти для Claude та OpenAI Codex. Ліцензія MIT.

The Preemptive Draw and Preemptive Grip in the Cash-in-Transit Sector. Part 1. – Guts, Gates, & Guards.

Стаття досліджує історію «превентивного діставання» (preemptive draw) та «превентивного захоплення» (preemptive grip) зброї у сфері cash-in-transit — практики, коли інкасатори завчасно виймають або тримають пістолет напоготові без прямої загрози. Автор знаходить задокументовані згадки про цю тактику в газетах, журналах та внутрішніх документах компаній від 1920-х років до 2000-х, переважно у США та Канаді. Зібрані свідчення показують, що йдеться не про випадковий вибір окремих працівників, а про усталену процедуру, яка століттями співіснувала з правовими обмеженнями та публічними дискусіями між потребами безпеки й сприйняттям пересічних громадян.

OpenTools / OpenPrinter

Openprinter — це компактний принтер з акцентом на ремонтопридатність: стандартні та open source компоненти, відсутність DRM-блокувань на картриджах і змога перезаправляти чорнило через власну систему Inkit. Він підтримує друк на A4, A3, рулонному папері з вбудованим різаком, працює без драйверів через Wi-Fi, USB Type-C/A чи Bluetooth із Windows, macOS, Linux, Android, iOS. Виробник обіцяє постачання як DIY-набору, так і зібраного пристрою, а всі пластикові деталі можна надрукувати на 3D-принтері. Триває pre-order кампанія на Crowd Supply.

Виглядає як спроба зробити для принтерів те, що Framework зробив для ноутбуків, але поки це радше нішевий злітний проєкт.

Organic Maps: Offline Hike, Bike, Trails and Navigation

Organic Maps — це безкоштовний, орієнтований на приватність офлайн-додаток на основі OpenStreetMap від творців Maps.Me. Він забезпечує повноцінну навігацію для піших прогулянок, велосипеда та авто без реклами, відстеження й потреби в інтернеті, а також містить контурні лінії та голосові підказки. Проект із відкритим кодом уже має понад 6 мільйонів встановлень і фінансується через пожертви.

Dependencies should be fetched directly from VCS

У Go залежності отримуються напряму з VCS за URL, що дозволяє легко аудити зміни за історією комітів та унеможливлює приховану ін'єкцію коду на етапі публікації пакету. Натомість у Ruby та більшості інших систем існує окремий крок створення архіву (.gem), який часто не відповідає вихідному репозиторію і є основним вектором атак на ланцюг постачання. Автор пропонує для Bundler опцію примусового використання git-репозиторіїв замість RubyGems, що дозволить розробникам звіряти код без необхідності розпаковувати та порівнювати архіви вручну.

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

Run Windows 2000 on a DEC Alpha with a new es40 fork - Raymii.org

Новий форк емулятора es40 додав JIT-компілятор, портовану з MAME графіку S3 та підтримку ARC, що уможливило встановлення Windows 2000 RC2 на процесори DEC Alpha. OpenVMS також отримала суттєвий приріст швидкодії й локальний графічний вивід, більше не потрібен X11-тунель. У репозиторії доступні прекомпільовані бінарі та детальний гайд з оновлення firmware.

Installing A/UX 1.1 like it’s the 90s | Thomas

Автор ділиться досвідом запуску A/UX 1.1 — ранньої UNIX-версії Apple для 68k Mac — на власному емуляторі Snow. Для сумісності довелося додати емуляцію відеокарти “Toby”, виправити помилки в реалізації ADB-клавіатури (активний низький рівень модифікаторів) та в логіці завершення DMA контролера SCSI. Інсталяція з 34 дискет виявилася виснажливою, але успішною, і тепер A/UX 1.x стабільно працює, хоча графічний режим обмежений лише трьома програмами.

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

Zero-copy in Go: sendfile, splice, and the cost of io.Copy · Segflow

Стаття детально розбирає, як Go автоматично використовує sendfile(2) (для file-to-socket) та splice(2) (для socket-to-socket), щоб уникати копіювання даних у користувацькому просторі під час io.Copy. Головне відкриття: будь-яка обгортка над *os.File чи *net.TCPConn — навіть найпростіша «порожня» структура — приховує конкретний тип і змушує рантайм повернутися до звичайних read/write, що збільшує кількість системних викликів на порядок (~131 тис. замість ~3 тис.) і споживання CPU на байт у 3.4 рази. Єдиний wrapper, який рантайм вміє розпізнавати, — *io.LimitedReader, тому він зберігає zero-copy безкоштовно. Автор радить уникати непотрібних обгорток, за потреби реалізовувати io.ReaderFrom/io.WriterTo для прокидання fast path та перевіряти поведінку через strace.

Одне невинне «я просто хочу порахувати байти» — і 24-разове сповільнення на системних викликах. Класика.

sneakerweb

Sneakerweb — це peer-to-peer протокол для публікації веб-сайтів без DNS, реєстраторів доменів чи хостингу. Сайти зберігаються на пристроях користувачів і передаються через фізичні носії, а переглядати їх можна офлайн у звичайному браузері. CLI-інструмент дозволяє створювати сайти, експортувати та імпортувати колекції у вигляді .snk файлів, блокувати небажані домени та запускати локальний сервер для перегляду. Протокол базується на Willow для запобігання підробкам, злиття оновлень і створення ефективних .snk файлів.

has_not_been_viewed_much — Will W.

API Чиказького художнього інституту містить булеве поле `has_not_been_viewed_much`, яке стає `true`, якщо конкретний твір переглянули менше 200 разів на сайті з 1 січня 2010 року. Автор закликає використовувати цей фільтр, щоб знайомитися з маловідомими роботами.

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

Castro Podcasts — Things I got wrong: Support

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

[2605.20049] Does Code Cleanliness Affect Coding Agents? A Controlled Minimal-Pair Study

Дослідження вивчало, чи впливає чистота коду на AI-агентів для програмування. За допомогою мінімальних пар репозиторіїв — однакових за функціональністю, але різних за чистотою — автори провели 660 експериментів із Claude Code. Частота успішного виконання завдань не змінилася, проте на чистому коді агенти витрачали на 7–8% менше токенів і на 34% рідше повторно зверталися до файлів. Отже, традиційна підтримуваність коду залишається важливою в епоху AI-розробки, насамперед через зниження обчислювальних витрат і підвищення навігаційної ефективності агента.

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

GitHub - 514-labs/dnsglobe: Global DNS propagation checker TUI — watch a DNS record propagate across 34 public resolvers worldwide, on a world map in your terminal · GitHub

dnsglobe — TUI-застосунок на Rust для перевірки глобального поширення DNS-записів: він паралельно опитує 34 публічні резолвери з усього світу, групує їхні відповіді та на широких терміналах показує мапу з кольоровими точками статусу. Підтримує watch-режим із повторними перевірками кожні 30 секунд до повної пропагації та одноразовий вивід для використання у скриптах.

Shrimple: a better, cleaner Markdown alternative.

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

Inventor, Mother, Creator: Grace Hopper - Planet Mainframe

Грейс Гоппер створила FLOW-MATIC та заклала принципи COBOL — мови, що з 1959 року стала основою бізнес-обробки даних, хоча спершу планувалася як тимчасове рішення. Сьогодні стратегія полягає не в заміні COBOL, а в його модернізації: IBM COBOL 6.5 забезпечує до 64% зниження навантаження на CPU та суттєву економію ресурсів.

Історія COBOL нагадує, що «тимчасове» іноді стає найнадійнішим.

The Private Capture of Public Genius

Історичний приклад AT&T і Bell Labs показує, як примусове відкриття патентів у 1956 році запустило інноваційний бум у Кремнієвій долині. Сучасні AI-лабораторії, тренуючи моделі на колективному людському знанні, по суті привласнюють публічний геній, не відшкодовуючи його носіям. Автор пропонує ввести «Корпус-роялті» — механізм, за якого розробники LLM відраховуватимуть відсоток від виторгу на користь суспільства.

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

Connections in Math: the two kinds of random

Стаття розрізняє статистичну випадковість (Shannon entropy) і структурну (Kolmogorov complexity): цифри π і файл зі шумом статистично невідрізні, але π стискається кількома рядками коду, бо породжується простим правилом. Майже всі рядки нестисливі — це видно з підрахунку довжин описів, однак неможливо довести нестисливість конкретного об’єкта: коротший опис завжди можна знайти, але ніколи не можна гарантувати, що його немає. У підсумку, стиснення — це вартість розрізнення: якщо не треба вибирати з множини, платити майже нема за що.

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

Vaclav Havel, The Power of the Powerless

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

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

Prism: An Impure Functional Language With Typed Effects

Prism — це proof-of-concept функціональна мова з алгебраїчними ефектами, які відстежуються в типах через рядковий поліморфізм, уніфікуючи виключення, генератори, лінзи, змінний стан та логічне програмування. Компілятор використовує evidence passing (замість вільних монад) для усунення накладних витрат ефектів, а також Perceus reference counting із перевикористанням пам’яті, що дозволяє чисто функціональним оновленням компілюватися в звичайні записи в пам’ять. Під капотом — call-by-push-value IR, компіляція через LLVM та Lean-модель із доведеним детермінізмом.

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

The mask that compiles to nothing: how HotSpot's JIT learned to reason about bits | QuestDB

JIT-компілятор HotSpot (C2) тепер відстежує не лише діапазон можливих значень, а й відомі біти (KnownBits) — маски нулів та одиниць. Це дозволяє йому доводити, що операції на кшталт `(x << 2) & -4` є надлишковими, і повністю викидати інструкцію AND, залишаючи лише зсув. У статті детально розбирається механізм канонікалізації обмежень, transfer-функції для бітових операцій та спосіб вичерпного тестування на крихітних цілих типах. Оптимізація з’явилася в JDK 27 завдяки роботі кількох інженерів, і її суть — навчити компілятор міркувати про біти так, як це вже роблять LLVM і GCC.

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

Al Vigier: Canada's AI strategy shouldn't include secret Palantir bills

Канадський уряд оголосив стратегію «AI for All» і назвав себе «стратегічним якірним клієнтом» для вітчизняних AI-компаній, однак роками таємно фінансує американські платформи на кшталт Palantir — зокрема, Міноборони непомітно збільшило контракт до $47 млн, а поліція Онтаріо користується Palantir з 2015 року. Запропоновані стратегією $500 млн на equity та сертифікацію не замінюють прямих закупівель у канадських розробників, що штовхає AI-компанії до статусу державних утриманців замість конкурентного бізнесу. Єдиний реалістичний крок — відкриті публічні закупівлі з фіксованою часткою бюджету на канадські продукти, обов’язковою аудитованістю та щоквартальними звітами.

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

2018–2025 (c) Списуй але не один в один