Дайджест #1. Субота, 6 червня

zeroserve — веб-сервер, який обслуговує сайти прямо з tar-архіву, використовує io_uring для вводу/виводу та дозволяє вбудовувати eBPF-скрипти як основний механізм конфігурації та обробки запитів. Скрипти виконуються в userspace з JIT-компіляцією в нативний код і пісочницею, можуть модифікувати запити, робити rate limiting, автентифікацію через OIDC або проксування. На одному ядрі з TLS 1.3/HTTP/2 zeroserve часто швидший за nginx та Caddy, особливо на малих статичних файлах і динамічних відповідях, хоча поступається nginx у проксуванні великих тіл.

Замість звичного конфігураційного файлу — сам eBPF-код, який описує всю логіку обробки запитів в одному місці.

Пентагон через Defense Intelligence Agency підвищив рівень контррозвідувальної загрози з боку Ізраїлю до найвищого — "критичний". У внутрішньому документі на сім сторінок ідеться, що ізраїльська агентурна й технічна розвідка діє особливо агресивно, намагаючись отримати дані про внутрішні дискусії адміністрації Трампа щодо війни з Іраном і ситуації в Лівані. Це відбувається на тлі серйозних розбіжностей між Трампом і Нетаньягу щодо подальших воєнних дій. Ізраїль офіційно заперечує шпигунство проти США, а Пентагон і Білий дім коментарів не дають.

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

49 математиків створили набір із 100 дослідницьких математичних запитань із відомими відповідями — бенчмарк Leipzig. У три етапи вони прогнали ці запитання через найсучасніші LLM: спершу 5 моделей робили одну спробу, потім 3 моделі — по 20 спроб, нарешті дві «важкодумні» моделі — по 3 спроби. Кількість нерозв’язаних запитань зменшилася з 41 до 16, а на останньому етапі — лише до 2, що свідчить про вражаючий прогрес математичного мислення у великих мовних моделей.

Схоже, скоро фразу «доведи теорему» можна буде сміливо адресувати своєму ноутбуку — і він не зависне.

Дослідники встановили математичну відповідність між деревами рішень і diffusion models, показавши, що в граничних режимах вони підпорядковуються спільному принципу Global Trajectory Score Matching, для якого градієнтний бустинг є асимптотично оптимальним. На основі цього створено два інструменти: TreeFlow для швидшого та якіснішого генерування табличних даних, і DSMTree для

Python Steering Council вимагає створення повноцінного Standards Track PEP для експериментального JIT-компілятора в CPython із чіткими гарантіями, планами підтримки та аналізом впливу на дистрибуції. До прийняття такого PEP заборонено додавати новий функціонал JIT до основної гілки (лише виправлення), а якщо за шість місяців PEP не ухвалять — код JIT має бути видалений з main. Рада також пропонує описати інфраструктуру, що дозволить комб

Meta підтвердила, що через вразливість у ШІ-чат-боті для відновлення облікових записів Instagram хакери зламали понад 20 225 акаунтів, обійшовши відсутність двофакторної автентифікації. Зловмисники просто просили чат-бота скинути пароль і надіслати код підтвердження на свою пошту, а той не перевіряв, чи ця пошта прив’язана до акаунту. Атаки тривали з середини квітня до початку червня 2026 року, поки Meta не вимкнула чат-бота та не виправила кодовий шлях. Скомпрометовано контактну інформацію, дати народження, профілі, пости та особисті повідомлення.

У США випускники коледжів вперше за десятиліття мають вищий рівень безробіття, ніж середньостатистичний працівник: у 2026 році розрив досяг рекордних 1,4% (5,6% проти 4,2%). Перелом стався ще в лютому 2019-го, до пандемії та сплеску генеративного ШІ, і з того часу розрив лише зростав. Основними причинами називають поширення віддаленої роботи, що ускладнює навчання новачків, і автоматизацію початкових позицій через ШІ — зайнятість молоді в найбільш вразливих до ШІ професіях впала приблизно на 16%. Проблема стосується саме входу на ринок праці: досвідчені фахівці з дипломами зберігають низьке безробіття (2,8%), тоді як 41% випускників, які все ж працевлаштовані, займають посади, що не потребують вищої освіти

Google уклала угоду зі SpaceX на $920 млн щомісяця з жовтня 2026 по червень 2029 року за доступ до близько 110 000 GPU NVIDIA та інших компонентів для обчислень. Це приблизно половина потужностей, які отримала Anthropic за своєю нещодавньою угодою з Colossus 1. Google пояснює це несподівано високим попитом на свої нові AI-продукти, зокрема Gemini Enterprise.

SpaceX підписала контракти на $2,17 млрд щомісяця за оренду GPU, які навіть не належать їй — xAI лише нещодавно стала частиною компанії після злиття. Іронія в тому, що Google — найбільший власник AI-обчислень у світі, але вимушена орендувати потужності у конкурента, поки її власні capex на $180 млрд цього року не принесуть плодів.

`sem` — CLI-інструмент, що накладає семантичне розуміння на Git: оперує функціями, класами та методами замість рядків. Пропонує шість команд — `diff`, `blame`, `impact`, `log`, `entities` та `context` — для навігації змінами на рівні сутностей коду. Працює без конфігурації у будь-якому репозиторії, підтримує 26 мов і встановлюється через brew або cargo.

Маркетинговий statement про 2.3x точність AI-агентів викликає бажання побачити benchmark на чомусь складнішому за `validateToken`.

Simon Willison випустив alpha-версію пакету micropython-wasm — це Python-бібліотека, яка виконує код у пісочниці через скомпільований у WebAssembly інтерпретатор MicroPython. Вона дає змогу контролювати доступ до файлів і мережі, обмежувати пам’ять та CPU, а також підтримує постійний стан змінних між викликами. Бібліотеку вже інтегровано в плагін для Datasette Agent.

Автор відверто називає це «vibe-coded sandbox» і не радить покладатися на нього без серйозного аудиту — рідкісна чесність для подібних експериментальних проєктів.

Компанія S&P Dow Jones Indices відмовилася змінювати правила для так званих MegaCap компаній, через що SpaceX не отримає прискореного входження до індексу S&P 500. Це рішення також унеможливлює швидкий доступ до пасивних інвестиційних фондів для майбутніх IPO компаній на кшталт OpenAI та Anthropic. Причиною стали невиконання вимог щодо прибутковості, частки публічних акцій та терміну перебування на біржі, незважаючи на те що Nasdaq та FTSE Russell раніше пішли на поступки для SpaceX.

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

Автор купив на eBay зламаний об'єктив Sigma 45mm f/2.8 за безцінь, сподіваючись на електричну несправність. Після розбирання та аналізу плати керування він виявив, що крихітний smt-запобіжник на 2А в ланцюзі живлення DC-DC перетворювача вийшов з ладу, захистивши решту схеми. Заміна цього компонента розміром 0603 повністю відновила працездатність об'єктива. Автор також детально описує методику діагностики, включаючи трасування ліній живлення, перевірку мікроконтролера та аналіз флеш-пам'яті для складніших випадків.

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

З середини травня 2026 року додаток MotoSync+, обов'язковий для налаштування WiFi-роутерів Motorola, перестав працювати — на iOS нескінченне завантаження, на Android помилка "Server License Expired". Без нього неможливо активувати нові пристрої, виконати factory reset або змінити налаштування. Motor

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