Дайджест #43. Субота, 18 липня

Цей випуск вийшов 18 липня 2026. ШІ вже нажартував нову порцію — актуальний дайджест тут.

VulnHunter: an open-source, agentic AI code security tool | Capital One Tech

Capital One анонсувала open-source інструмент VulnHunter, який використовує agentic AI для пошуку вразливостей у коді. Він симулює шлях атакуючого від точок входу, має falsification engine для відсіювання false positives і пропонує конкретні виправлення. Інструмент вже протестовано на внутрішньому коді компанії та потребує доступу до Claude Opus 4.8.

Learning a few things about running SQLite

Julia Evans описує свій досвід використання SQLite як бази даних для Django-сайту. Вона виявила, що команда `ANALYZE` може кардинально пришвидшити запити (з 5 секунд до миттєвого виконання), а тривалі DELETE-операції блокують запис і спричиняють падіння воркерів, тому їх варто виконувати малими партіями. Для бекапів вона використовує restic або Litestream, а також радить розділяти таблиці на кілька файлів SQLite, якщо це можливо.

[2605.18991] Agent Security is a Systems Problem

Стаття обґрунтовує, що безпеку AI-агентів слід розглядати як systems problem: модель потрібно вважати ненадійним компонентом, а захисні інваріанти реалізовувати на системному рівні. Автори формулюють ключові принципи зі сфери systems security і на прикладі 11 реальних атак демонструють, як ці принципи могли б їм запобігти, а також окреслюють пов’язані дослідницькі виклики.

Open Book Touch | Crowd Supply

Open Book Touch — це кишеньковий e-reader з відкритим апаратним забезпеченням і MIT-ліцензованою прошивкою на базі ESP32-S3. Пристрій має 4.26-дюймовий e-paper дисплей із регульованим теплим/холодним frontlight, читає EPUB без DRM та підтримує понад 70 000 символів через GNU Unifont. Книги завантажуються через Wi-Fi або microSD, акумулятора вистачає на тиждень читання, ціна — від $149.

Попри чесний опис ризиків, дефіцит драйверів для дисплеїв і загальна нестабільність роблять early 2027 радше оптимістичним прогнозом.

minikotlin — a Kotlin compiler that runs in a browser tab

minikotlin — це компілятор Kotlin, написаний на C, який транслює `.kt` файли у WASM-GC байткод безпосередньо в браузері, без JVM, LLVM чи Binaryen. Він підтримує класи, успадкування, sealed-класи, смарт-касти, generics, корутини (через CPS), оператори, розширення та значну частину стандартної бібліотеки. Компілятор сам скомпільований у WASM, тому весь цикл — від редагування коду до його виконання — відбувається в одній вкладці.

Схоже, тепер можна забути про встановлення тулчейнів: запустив браузер — і вже пишеш на Kotlin.

AI Design Makes a Wild Invisible Spinning Drone - IEEE Spectrum

Phantom Twist — монокоптер, що обертається з частотою 15–25 Гц і використовує persistence of vision, щоб ставати майже невидимим для людського ока. Computational design з оптимізацією за метрикою LPIPS дозволив розташувати компоненти так, що видимість дрона вдесятеро нижча, ніж у звичайного квадрокоптера. Наразі апарат літає лише в приміщенні під optical tracking, але дослідники розглядають його для автономного спостереження за дикою природою або прихованого surveillance.

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

FCC Officials Took Gifts From Paramount While It Had Business Before Them — ProPublica

Посадовці Федеральної комісії зі зв’язку США (FCC) роками приймали дорогі квитки на гала-концерт у Кеннеді-центрі від CBS та Paramount, зокрема під час розгляду угод зі злиття на мільярди доларів. Голова FCC Брендан Карр отримав подарунків на понад $63 000, а комісарка Олівія Трасті — на $12 000 уже після голосування за схвалення злиття Paramount зі Skydance. Експерти з етики називають це очевидним конфліктом інтересів, проте FCC виправдовує практику «багаторічною традицією», яку нібито дозволяли власні юристи.

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

Multi-Primary Color Display Emerges as Next-Generation Color Reproduction Technology | UBIResearchNet

Дисплеї multi-primary (з чотирма й більше первинними кольорами) представили як новий рубіж після традиційного RGB: конкуренція зміщується від роздільної здатності та яскравості до точності кольоровідтворення і людського візуального сприйняття. Hisense показала технологію RGBX з колірним охопленням понад 130% BT.2020, яка може допомогти Mini LED LCD диференціюватися від OLED. Для комерціалізації потрібна перебудова всієї екосистеми — від алгоритмів конвертації кольору й оптичних вимірювань до кодування, передачі та сертифікації контенту.

I Owe My Life to the Commodore 64 - by Sung J. Woo

Автор ділиться спогадами про Commodore 64, який батьки купили йому в дитинстві за $199 після різкого зниження ціни. Завдяки піратським іграм без інструкцій він навчився методу проб і помилок, що пізніше лягло в основу його роботи Lead Application Developer. Крім того, комп’ютер допоміг опанувати спортивні правила, знайти друзів через BBS та почати письменницьку діяльність.

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

Pushinka - Wikipedia

У 1961 році радянський прем’єр Хрущов подарував родині Кеннеді цуценя Пушинку — доньку космічної собаки Стрєлки, яка літала на «Кораблі-Супутнику-2». Перед тим як оселитися в Білому домі, Пушинка пройшла ретельну перевірку ЦРУ на шпигунські пристрої: рентген, магнітометр, УЗД — нічого не знайшли. Згодом вона народила чотирьох цуценят від собаки Кеннеді, яких президент жартома назвав «pupniks»; її нащадки живі до 2024 року.

Найбезпечніший висновок тієї операції ЦРУ: єдиним підозрілим елементом виявився характер — лабораторне виховання зробило Пушинку трохи кусючою.

Commentary: Gen Z is pushing back against AI - a reminder that the future isn’t written - CNA

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

Схоже, риторика «адаптуйся або помри» лише посилює опір, коли структурна нерівність поколінь ігнорується.

Frame - the first Linux Assembly X server – Geir's Everything

Автор створив перший X-сервер на асемблері для Linux — `frame`, який при 20 тис. рядках коду не має залежностей і споживає втричі менше CPU, ніж Xorg. Разом з іншими асемблерними утилітами (`tile`, `glass`, `bare`, `bolt`) та власним набором Rust-інструментів він побудував повністю підконтрольний, легкий і енергоефективний десктопний стек. За допомогою Claude він поступово додає нові можливості, замінюючи стандартний софт на той, що ідеально пасує саме йому.

The State of Open Source AI — V1.0 · July 2026

Open-weight моделі майже зрівнялися із закритими за якістю (розрив 3.3% на Chatbot Arena, паритет у кодінгу) і обробляють більшість виробничих токенів, однак лише 51% команд доходять до продакшну — через брак інструментів розгортання, безпеки та підтримки. Комерційна екосистема вибухнула: Databricks, Mistral і DeepSeek уже заробляють сотні мільйонів на відкритих моделях, а понад 70 національних стратегій бачать у них інструмент суверенітету й виходу з вендорської залежності. Ключове поле бою змістилося до agentic harness — оркестрації, пам’яті та моделі дозволів, де закриті платформи намагаються «заварити» інтеграцію і повторити історію браузерної монополії.

Схоже, open source AI виграв битву за код, але програв битву за «воно просто працює» — і це поки що тримає closed models на плаву.

A Road to Lisp: Which Lisp

Lisp — це не одна мова, а родина діалектів зі спільним синтаксисом, де знання одного полегшує освоєння інших. Автор порівнює три активні діалекти: Common Lisp (стандартизований, компілюється в нативний код, має потужний REPL), Clojure (функціональний, працює на JVM з доступом до Java-екосистеми, найпрактичніший для продакшену) і Racket (мова для створення інших мов, має зручний IDE, добре підходить для навчання). Початківцям радять Clojure для реальної роботи, Common Lisp — для глибокого інтерактивного програмування, а Racket — для студентів і конструювання DSL.

First atmosphere found around Earth-like planet LHS 1140b

Дослідники вперше знайшли атмосферу на скелястій планеті земного типу в зоні, придатній для життя. Планета LHS 1140 b розташована за 48 світлових років і обертається навколо червоного карлика. Атмосфера містить гелій, але науковці припускають наявність інших газів, які потенційно можуть підтримувати життя.

Kimi K3, and what we can still learn from the pelican benchmark

Moonshot AI анонсували Kimi K3 — модель на 2.8 трильйона параметрів, що за власними бенчмарками випереджає Claude Opus 4.8 max та GPT-5.5 high, але поступається Claude Fable 5. Це найдорожча модель від китайської лабораторії ($3/$15 за мільйон вхідних/вихідних токенів), із помітно надлишковим використанням reasoning-токенів навіть для простих задач. Автор аналізує свій жартівливий «пелікан-бенчмарк», який колись корелював із якістю моделей, але тепер втратив цю здатність, хоча лишається корисним для швидкої перевірки просторового мислення, геометрії SVG та вартості одного простого запиту.

Схоже, індустрія настільки захопилася reasoning-токенами, що незабаром пелікан на велосипеді коштуватиме більше, ніж сам велосипед.

AI meets Cryptography 2: What AI Found in OpenVM's zkVM - ZK/SEC Quarterly

AI-аудитор zkao виявив критичну soundness-вразливість у guest-бібліотеці `openvm-pairing` проєкту OpenVM (CVE-2026-46669). Через відсутність перевірки належності scaling factor до підполя Fp6 зловмисник міг підробити результат перевірки pairing equality, що повністю ламає безпеку схем на основі KZG, Groth16 та BLS-підписів. Баг виправлено у версії OpenVM 1.6.0.

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

LEGO® building instructions through time | LEGO® History | LEGO.com US

Історія інструкцій LEGO почалася з малюнків на коробках у 1950-х, а перші покрокові схеми з’явилися в 1955 році. До 2003 року інструкції вручну малювала данська компанія Palle Munch, згодом перейшли на спеціалізований софт (Panter, 3D Vision, Easy Builder Tool), а сьогодні понад 100 людей створюють їх внутрішнім інструментом LDD Pro. Цифровий застосунок LEGO Builder додав 3D-моделі та режим спільного будівництва, але фірмовий «мультяшний» стиль інструкцій лишився майже незмінним.

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

Texas Spent $4.5 Million on Israeli Spy SUVs To Keep Tabs On Your Phone

Texas Department of Public Safety витратив $4,5 млн на чотири позашляховики, оснащені ізраїльською системою FalcoNet — симулятором стільникових вишок, що без ордера збирає дані з усіх телефонів у радіусі дії. На відміну від федеральних агентств, Техас не вимагає судового дозволу на використання такої технології, хоча подібний законопроєкт уже провалювали в легіслатурі штату. Критики вказують на лицемірство влади, яка під гаслами мінімального втручання уряду фінансує масове стеження замість лагодження енергомережі чи шкіл.

Схоже, принцип «Don't tread on me» не поширюється на випадки, коли наступають свої ж, за $4,5 млн бюджетних грошей.

3D Printable PCB Solder Paste Stencil from Gerber Files | Stenchill

Stenchill — це веб-інструмент, що перетворює Gerber-файли на STL для 3D-друкованих трафаретів для паяльної пасти. Ви завантажуєте ZIP-архів, отримуєте модель, придатну для друку на звичайному FDM-принтері. Сервіс розрахований на прототипування й малі серії, добре працює з компонентами від 0603; для 0402 або BGA рекомендують лазерні трафарети. Є плагін для KiCad, а також вбудовані напрямні для точного суміщення.

Той момент, коли безкоштовний сервіс економить $15–30 і тиждень очікування — досить переконливо.

Kaiser nurses say AI, workplace surveillance are making their jobs and patient care worse - Local News Matters

Медсестри кол-центрів Kaiser Permanente скаржаться, що роботодавець через AI-інструменти та моніторинг вимагає завершувати дзвінки швидше 15 хвилин, що шкодить якості допомоги пацієнтам. За словами медсестер, за перевищення ліміту часу їх викликають на розбір навіть у складних випадках (суїцидальні пацієнти, потреба в перекладачі), а системи штучного інтелекту, які оцінюють емпатію та тон голосу, посилюють стрес і страх звільнення. Kaiser заперечує, що використовує середній час розмови для оцінки персоналу, однак медсестри готуються підняти це питання на контрактних переговорах, поки в Каліфорнії розглядають закони про обмеження AI-спостереження на робочих місцях.

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

I started a "dirt notebook" – PINEWIND

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

Static search trees: 40x faster than binary search · CuriousCoding

Стаття про оптимізацію статичних дерев пошуку (S+ trees) для максимального throughput: від стандартного бінарного пошуку (~1150ns/query на 1GB) вдалося дійти до ~27ns/query — прискорення у понад 40 разів. Ключові оптимізації включають batching запитів для приховування latency пам’яті, prefetching наступних вузлів, interleaving обробки різних шарів для балансу між CPU та пам’яттю, а також ручне SIMD із popcount замість trailing zeros і трюки з pointer arithmetic. Використання left-max layout і варіацій розбиття за префіксом додають небагато, але загалом interleaving виявився найбільш універсальним способом витиснути продуктивність, особливо коли дані не вміщаються в L3.

Якщо чесно, після 20ns/query будь-яке подальше прискорення більше нагадує спортивний інтерес, ніж практичну необхідність.

Union Pacific Is Tackling Rail Heat to Keep America’s Freight on Track | Union Pacific

Union Pacific почала фарбувати рейки білою фарбою, щоб зменшити їх нагрівання в спеку. Запозичена з європейської практики та методів дорожньої розмітки, ця технологія дозволяє знизити температуру сталі приблизно на 20 градусів за Фаренгейтом. Таким чином зменшується ризик теплового викривлення колії, що доповнює традиційні методи кріплення та огляду. У компанії заявляють, що поки що єдині в США застосовують такий підхід.

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

[2607.13276] Aurora DSQL: Scalable, Multi-Region OLTP

Aurora DSQL — це serverless SQL база даних для хмарних OLTP-навантажень із підтримкою multi-region active-active. Її архітектура розділяє обчислення, зберігання та координацію транзакцій на незалежні сервіси; SQL-запити виконуються в Firecracker MicroVM без локального стану. Для читань використовується MVCC із точними часовими мітками, що уникає координації, а записи обробляються оптимістично, відкладаючи координацію до моменту коміту через розподілені adjudicators і Journal. Це мінімізує затримки між регіонами і дозволяє еластично масштабуватися від нуля до мільйонів транзакцій на секунду, зберігаючи strict consistency та стійкість до відмов цілих зон доступності чи регіонів.

Здається, єдине, що заважає назвати це “ідеальною розподіленою БД” — це те, що вона ще не встигла впасти у продакшені під навантаженням.

The Isomorphic Labs Drug Design Engine unlocks a new frontier beyond AlphaFold - Isomorphic Labs

IsoDDE від Isomorphic Labs більш ніж удвічі перевершує AlphaFold 3 на складному бенчмарку передбачення структури білок-ліганд і, на відміну від попередніх підходів, здатен передбачати афінність зв’язування точніше за фізичні методи (FEP), не потребуючи експериментальних структур. Модель також ідентифікує нові, зокрема криптичні, сайти зв’язування на білку, знаючи лише його амінокислотну послідовність, і значно покращує моделювання комплексів антитіло-антиген, включно з найскладнішою петлею CDR-H3. Система вже використовується для дизайну ліків у компанії.

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

Mac gaming is finally getting the overpowered upgrade it deserves | Macworld

Apple випустила Game Porting Toolkit 4 beta, який дає значний стрибок продуктивності для Windows-ігор на Mac. На тому ж M4 Pro MacBook Pro GTA V показала 176 fps замість 106 (приріст 66%), а Red Dead Redemption 2 — 75 замість 60 fps, і все це завдяки оптимізації трансляції DirectX у Metal та x86-інструкцій під ARM. Апаратна частина Apple Silicon уже давно не була вузьким місцем, і тепер софт нарешті починає її наздоганяти.

Схоже, ми наближаємося до моменту, коли питання «чи можна нормально грати на Mac» відпаде саме собою.

How design, data and AI shaped Google’s Noto 3D emoji

Google оновив свою бібліотеку Noto Emoji — тепер усі 3 977 символів існують у 3D, з акцентом на виразність, доступність (зокрема AI-інструмент для високого контрасту в dark mode) та відкритий вихідний код. Використання емодзі стає геть не буквальним: гіперболічне «rolling on the floor laughing» та драматичний «wilted flower» витісняють класичні «сльози радості» та «розбите серце». Усі 3D-моделі викладено у форматі .OBJ, щоб спільнота могла створювати власні проекти, меми чи VR-світи.

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

GitHub - tokio-rs/topcoat: A batteries-included framework for building web apps · GitHub

Topcoat — експериментальний full-stack фреймворк для Rust, орієнтований на продуктивність розробки та мінімум boilerplate. Комбінує серверний рендеринг із клієнтською реактивністю: Rust-вирази у шаблонах транслюються в JavaScript без WASM, а компоненти-«shard» оновлюють HTML на сервері за потреби. Пропонує макрос `view!` для шаблонів, модульний роутинг на основі файлової системи, вбудовану підтримку Tailwind, asset bundling та утиліти для шрифтів/іконок. Використовує Tokio як асинхронний runtime.

Попереджають про часті breaking changes — до стабілізації ще далеко.

Faulty Towers, vibe sickness, and the vibe bobsled -- Dustycloud Brainstorms

Авторка описує феномен «vibe coding», коли розробники дедалі більше покладаються на згенерований ШІ код, не перевіряючи його, і вводить метафору «vibe bobsled» — некерованого спуску, де програміст поступово втрачає будь-який контроль. На прикладі експерименту Ка-Пінґа Ї вона показує, що навіть елітні спеціалісти не можуть вичитати баги в крихітному шматку коду, тож людське рев’ю принципово не здатне охопити лавину машинного виводу. Результатом стає «vibe sickness» — засилля незрозумілого, чужого «slop»-контенту, що отруює відкритий код і щоденну взаємодію. Авторка закликає не зрікатися власної участі та людського осмислення, навіть коли здається, що опиратися неможливо.

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

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