Дайджест #4. Вівторок, 9 червня

Соціальні мережі стрімко змінюються з майданчиків для спілкування з друзями на розважальні відеохаби, де алгоритми показують контент від незнайомих творців. Дедалі більше користувачів, особливо підлітки, стають пасивними глядачами і майже нічого не публікують про себе. Платформи заробляють на цьому завдяки дедалі точнішій рекламі, керованій ШІ, і глобальні доходи від реклами в соцмережах сягнуть $317 млрд у 2026 році.

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

Zig by Example — навчальний проєкт із 40 анотованих прикладів, який знайомить із мовою Zig: від базових конструкцій (змінні, типи, функції) до складніших тем (comptime, generics, алокація пам’яті, C Interop). Приклади орієнтовані на Zig 0.14, а сам проєкт натхненний Go by Example.

Thunderbird через зміни в XDG створює порожню директорію ~/thunderbird при кожному запуску. Автор замість лагодження багу написав скрипт на fish, який за допомогою inotifywait відслідковує появу цієї директорії та миттєво її видаляє, і оформив це як systemd-сервіс користувача.

Класичний підхід: якщо не можеш змінити застосунок, зміни файлову систему під ним.

Xiaomi MiMo-V2.5-Pro-UltraSpeed — перша модель на 1 трильйон параметрів, яка досягає понад 1000 токенів/с генерації на стандартних GPU. Швидкість забезпечено завдяки ко-дизайну з TileRT: вибіркове FP4-квантування експертів MoE, DFlash-спекулятивний декодинг і радикально нову виконавчу модель (persistent kernels, warp specialization). Це перетворює швидкість на розширення міркувань (паралельні шляхи Best-of-N) і робить реальним використання 1T-моделей у real-time сценаріях — від кодових агентів до миттєвого аналізу в медицині. Доступ за заявкою, відкритий чекпоінт на HuggingFace.

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

Блог «human in the loop» мимоволі став буквальним: автор тепер і є та петля, яка перевіряє та вичищає роботу ШІ, поки сам сподівається не вилетіти з процесу остаточно.

Це оглядова сторінка проєкту з реверс-інжинірингу операційної системи TI-84 Plus (версія 2.55MP). Описано архітектуру мікроконтролера Z80 з підкачуванням сторінок пам’яті (flash/RAM), механізм системних викликів (bcalls) та чотири ключові підсистеми: арифметику з плаваючою комою, Variable Allocation Table, токенізатор/інтерпретатор TI-BASIC і підсистему вводу/виводу. Документація містить окремі нотатки щодо адресного простору, управління пам’яттю, переривань, дисплея, клавіатури та інших компонентів, а також детальне висвітлення користувацьких функцій (обчислення, графіка, TI-BASIC, комунікація). Проєкт на Ghidra представлений з індексацією підсистем і посиланням на повний довідник bcalls.

Замість того, щоб намагатися пропустити внутрішній код через усі популярні type-checkerи (mypy, Pyrefly, Pyright, ty, Zuban) і засмічувати його коментарями типу `# type: ignore`, варто насамперед проганяти тестовий набір. Це гарантує, що публічне API бібліотеки працює без помилок типів для будь-якого інструменту, яким користуються ваші користувачі. На прикладі Polars видно: хоча внутрішні перевантаження методів потребують різних інструкцій для кожного перевіряльника, усі вони згодні щодо коректності типів у викликах із тестів. Для вихідного коду достатньо обрати один type-checker, який відповідає бажаному рівню строгості.

Дизайн бази даних GnuCash зберігати грошові суми як дроби бере початок від іспанських торговців 17 століття, які рахували золоті дублони на пальцях, пропускаючи великий палець, через що мінімальний крок на NYSE віками становив 1/8 долара. Це рішення, попри застарілість, виявилося гнучким для сучасних активів на кшталт біткоїна, де точність можна змінити з 1 до 100 мільйонів сатоші без помилок у розрахунках. Автор порівнює це з HandsOnMoney, де обрав зберігання в цілих одиницях (minor units), жертвуючи підтримкою дробових цін на користь продуктивності.

NEC PC Engine LT — ноутбучна версія консолі PC Engine 1991 року — майже завжди виходить з ладу через витікання конденсаторів. У цьому випадку знадобився повний recapping, заміна несправного 6.5V регулятора M5291FP та відновлення негативної напруги зміщення для LCD. Оскільки оригінальний трансформатор T500 був знищений корозією (і невдалою спробою розтину), його замінили на NOYITO MC34063A inverting converter module, який вдалося компактно розмістити в корпусі.

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

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

Music Decoy — крихітна утиліта для macOS, яка блокує автоматичний запуск системного додатка Music при натисканні клавіші Play. Вона працює завдяки тому, що має той самий bundle identifier, що й рідний Music, тому система вважає його вже запущеним. Програма не споживає жодних ресурсів, а з версії 1.1 може перенаправляти команду Play на інший обраний аудіоплеєр.

Елегантне рішення проблеми, яка дратувала багатьох користувачів макбуків: нуль фонових процесів, лише пасивне захоплення ідентифікатора.

xAI, тепер частина SpaceX, надає свої GPU-потужності в оренду Anthropic та Google на суму понад $2 млрд щомісяця, окупаючи капітальні витрати на датацентр Colossus за 18 місяців. Це пояснюється як гострим дефіцитом обчислень, так і вмінням xAI будувати інфраструктуру набагато швидше за конкурентів. Однак угода перетворює компанію на подобу REIT для датацентрів, залишаючи власну модель Grok на узбіччі, що дозволяє припускати фінансовий інжиніринг перед IPO SpaceX.

Ілон Маск знову довів, що вміє заробляти на дефіциті — тепер не електромобілями, а орендою відеокарт.

У 1999 році родина фермерів віддала місту Тейлор у Техасі 87 акрів землі за $10, щоб там облаштували парк. У 2025-му місто продало цю землю девелоперу data center Blueprint за $10 млн. Тепер там збудують data center площею 135 000 квадратних футів — лише за 500 футів від будинку нащадків дарувальників, які поколіннями користувалися цією територією для відпочинку.

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

Шолто Девід і Різ Річардсон виявили понад 450 верифікаційних зображень в онлайн-каталозі антитіл Thermo Fisher Scientific з ознаками маніпуляцій: дубльовані смуги, сліди цифрового пензля та повторювані шумові патерни. Ці дані мали підтверджувати працездатність дорогих реагентів, однак їх фальсифікація підриває довіру до якості антитіл. У відповідь компанія заявила, що зображення лише «оптимізовані для презентації та чіткості», заперечуючи навмисне фабрикування.

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

Массачусетс ухвалив новий закон про захист даних, який забороняє компаніям продаж точних геолокаційних даних і вимагає явної згоди на обробку чутливої інформації (біометрія, релігія, імміграційний статус). Закон стосуватиметься компаній, що обробляють дані понад 100 000 споживачів, і фактично блокує продаж даних про місцезнаходження на всій території штату, включно з відвідувачами. Це відбувається на тлі відсутності федерального закону про приватність у США.

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

Стаття описує новий клас атак на ланцюг постачання через конфігураційні файли (VS Code tasks.json, Claude Code/Gemini settings.json, .cursor/rules, package.json scripts, composer.json, Gemfile), які автоматично виконують шкідливий код при відкритті репозиторію чи запуску інструментів, як‑от IDE, AI‑агенти або пакетні менеджери. Приклад — черв’як Miasma, що додає дропер і сім лаунчерів, спрацьовуючи після того, як розробник погоджується на trust-попередження або взагалі без нього. Рекомендовано рецензувати такі файли нарівні з кодом та використовувати grep-перевірки перед відкриттям клонованого репозиторію.

Традиційні сканери залежностей цей вектор не покривають, тож SDLC мусить розширити поняття “коду” і на конфігураційні файли.

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

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

Apple на WWDC 2026 оголосила, що розробники з менш ніж 2 мільйонами перших завантажень в App Store зможуть безкоштовно використовувати її Foundation Models у Private Cloud Compute — хмарні API-виклики не тарифікуватимуться. Водночас API розширюють підтримкою зображень і можливістю підключати сторонні серверні моделі для складніших завдань. Цей крок має зробити AI-експерименти доступнішими для інді-розробників, поки великі гравці на кшталт Meta, Amazon та Uber урізають внутрішні AI-бюджети через стрімке здорожчання інфраструктури.

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

Лабораторні тести foodwatch виявили залишки пестицидів, заборонених в ЄС, у рисі, чаї та спеціях із магазинів Нідерландів, Франції, Австрії та Німеччини. Із 64 зразків 45 містили незатверджені в ЄС речовини, зокрема Chlorfenapyr, Bifenthrin та Clothianidin; у деяких випадках концентрації перевищували легальні ліміти. Причина — «токсичний бумеранг»: заборонені пестициди експортуються з ЄС у треті країни, а потім повертаються на європейські полиці у складі імпортованих продуктів.

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

Клітини залишаються мікроскопічними через два фізичні обмеження: співвідношення площі поверхні до об’єму та швидкість дифузії. Оскільки об’єм зростає швидше за площу поверхні, великій клітині бракує мембрани для ефективного живлення й виведення відходів, а молекулам потрібно занадто багато часу, щоб випадково зустрітися всередині об’єму. Еволюція знаходить обхідні шляхи — еритроцити набувають форми диска для кращого газообміну, ооцити накопичують запаси й знижують метаболічну активність, а гігантська бактерія Thiomargarita magnifica просто заповнює більшу частину свого об’єму порожньою вакуолею, притискаючи вміст до стінок. Фізичні сили визначають архітектуру клітини так само, як інженерні обмеження диктують форму мостів.

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

Loro представив Mergeable Containers для вирішення проблеми конкурентного створення дочірніх контейнерів у CRDT: коли два офлайн-користувачі додають контент за одним ключем Map, після синхронізації видимим лишається лише один контейнер. Тепер ідентичність дочірнього контейнера визначається логічною позицією в Map, а не ID операції створення — для цього використовують синтетичний ContainerID::Root та бінарний маркер у слоті Map. Новий API `ensureMergeable*` (Text, List, Map тощо) гарантує, що всі піри отримають один спільний контейнер, а видалення ключа приховує, але не знищує його стан. Це усуває уявну втрату даних у сценаріях з динамічними ключами, лінивими міграціями схем та іншими випадками відкладеного створення.

Mergeable Containers закривають давню больову точку CRDT, але вимагають від розробника свідомого вибору між `ensureMergeable*` та старим `setContainer`.

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

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

Apple анонсувала нову архітектуру Apple Intelligence, побудовану на Foundation Models, створених у глибокій співпраці з Google на основі технологій сімейства Gemini. Моделі працюють локально на пристрої та через Private Cloud Compute, забезпечуючи мультимодальні можливості (генерацію зображень, візуальні запитання й відповіді) та покращене розуміння природної мови. Новий системний оркестратор адаптує поведінку ШІ до поточного застосунку й завдання, а Apple наголошує на конфіденційності: дані використовуються лише для виконання поточного запиту й недоступні ні компанії, ні третім сторонам, що піддається зовнішньому аудиту.

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

Apple анонсувала нове покоління Apple Intelligence з суттєво переробленою Siri AI — тепер це окремий застосунок з природними розмовами, розумінням особистого контексту користувача та можливістю виконувати дії в різних програмах. Visual Intelligence розширюється на iPad, Mac та Apple Vision Pro, дозволяючи шукати й отримувати інформацію про те, що перед вами чи на екрані. Серед нових функцій — інструменти редагування фото (Spatial Reframing, Extend, Clean Up), генерація зображень через Image Playground та Image Wand, автоматичне коригування паролів, розумні групування вкладок у Safari та покращена диктовка.

Сторінка рясніє фразами "coming later this year" — Apple знову показує те, чим не можна скористатися сьогодні, але масштаб оновлень справді значний, особливо вихід Siri в окремий застосунок.

Автор портував coreboot на ноутбук ThinkPad x61, використавши LLM (Anthropic Claude Opus 4.6) для зворотної розробки Phoenix BIOS. Модель допомогла пришвидшити процес, але потребувала значного ручного коригування через помилки в регістрах, таймінгах пам’яті та неправильне розуміння апаратури. Згодом код пройшов ретельне рецензування, яке виявило багато вад, і тільки після цього став придатним для основної гілки coreboot. Експеримент показує, що LLM можуть зробити зворотну розробку закритих прошивок (наприклад, Intel FSP) значно легшою, однак без глибокої експертизи людини результат залишається сирим і ненадійним.

FrontierCode — це бенчмарк, що оцінює здатність моделей писати не просто коректний, а якісний код, готовий до мерджу в реальні проєкти. Його створено у співпраці з понад 20 мейнтейнерами відомих open-source репозиторіїв, кожне завдання готувалося понад 40 годин і перевіряє широкий спектр критеріїв: від коректності та покриття тестами до стилю, скоупу змін і ідіоматичності. Навіть найкращі моделі на найважчому рівні Diamond показують низькі результати — Claude Opus 4.8 набрав лише 13.4%.

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

Федеральний суддя заблокував запроваджений адміністрацією Трампа збір у $100 000 для нових віз H1-B, визнавши його порушенням адміністративного та конституційного права. Суд постановив, що адміністрація не пояснила це рішення і що платіж по суті є податком. Для Аляски це критично важливо, адже 341 із 573 іноземних вчителів у штаті працюють саме за цими візами, а в деяких сільських районах вони складають до 80% педагогічного складу. Сенатори від Аляски лобіювали винятки для освітян, і тепер планують закріпити їх законодавчо, щоб уникнути залежності від майбутніх судових рішень.

Схоже, що $100 000 за право вчителювати в селі на Алясці — це був не збір, а радше ціна квитка в один кінець для місцевої системи освіти