Дайджест #77. Субота, 29 серпня

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

Refund4Freedom

Кампанія Refund4Freedom вимагає від виробників ноутбуків не нав'язувати Windows і повертати гроші за невикористану ліцензію. У матеріалі описано процедуру: задокументувати відмову від EULA, звернутися до вендора, а при відмові подати скаргу до італійського антимонопольного органу. Також зібрано політики HP, Lenovo, Asus, Dell і Acer та реальні кейси відшкодувань від 40 до 129 євро, які часто вдавалося отримати лише після судових позовів.

State of the Map 2026 × Paris

State of the Map 2026 відбудеться 28-30 серпня 2026 року в Парижі (Cité Descartes, Champs-sur-Marne) та онлайн. Це щорічна конференція для учасників і користувачів OpenStreetMap, у програмі доповіді, воркшопи, дискусії та соціальна подія. На сторінці є посилання на програму, веню, live-стріми, чати в Matrix і Telegram. Серед спонсорів: TomTom, Michelin Mapping Factory & AI Lab, ESRI, HERE та інші.

Learn Languages From the Content You Love – SubSmith

SubSmith: десктопний застосунок для вивчення мов із локальних відео та аудіофайлів. Створює синхронізовані субтитри для MKV, MP4 і MP3, дозволяє наводити курсор на слово для миттєвого перекладу та експортувати речення, аудіокліпи й скріншоти в Anki. Підтримує понад 99 мов, редагування таймкодів і експорт SRT. Ціна: $15 на рік або $40 одноразово, є 7-денний тріал без картки.

autistici.org - Welcome to Autistici/Inventati

Колектив A/I (Autistici/Inventati) з 2001 року надає безкоштовні сервіси цифрової самооборони для активістів, не монетизує дані користувачів і фінансується лише з добровільних пожертв. Кожен запит на акаунт розглядається вручну, а сервіси призначені виключно для некомерційного використання.

Заголовок анонсує санкції США проти колективу, але в тексті про жодні санкції не йдеться.

htmx 4.0.0 has been released! ~ htmx

htmx 4.0.0 вийшов після 8 місяців роботи. Основні зміни: атрибути тепер успадковуються лише з суфіксом :inherited, події стандартизовано за схемою htmx:phase:action, а історія більше не використовує localStorage за замовчуванням. Внутрішньо бібліотека перейшла з XMLHttpRequest на fetch(), додано morph swaps, тег <hx-partial> та низку нових розширень.

The Twelve-Factor App

Методологія Twelve-Factor App описує принципи створення SaaS-застосунків, які легко розгортати на хмарних платформах, масштабувати та підтримувати. Вона охоплює 12 практик: від керування кодом і залежностями до розділення build/release/run, stateless процесів, портів, конкурентності, логування та адміністративних завдань. Документ орієнтований на розробників і ops-інженерів, які працюють із сервісними застосунками.

Rosenzweig – Hilariously Fast Volume Computation with the Divergence Theorem

Автор виводить формулу обчислення об’єму замкненої тріангульованої 3D-сітки, використовуючи теорему про дивергенцію і зводячи потрійний інтеграл до поверхневого, що дає лінійний алгоритм O(n) за кількістю трикутників. Обчислення зводиться до суми по трикутниках із сімома додаваннями та трьома множеннями на трикутник, тобто близько 11n операцій, що дозволяє обробляти до 30 мільйонів трикутників за кадр на Raspberry Pi. Автор зазначає, що алгоритм не новий, і вказує на попередню статтю Cha Zheng і Tsuhan Chen.

I Used AWS Cognito for a Startup. I Wouldn't Do It Again. | Josh Karamuth

Автор описує, як використання AWS Cognito для автентифікації у стартапі перетворилося на три тижні боротьби: документація плутана, Amplify v6 зламав зворотну сумісність, локальна розробка ускладнена, а конфігураційні помилки з атрибутами user pool неможливо виправити без повної міграції користувачів. Він робить висновок, що при виборі auth provider варто керуватися developer experience, а не зручністю інтеграції з AWS.

GitHub - HexLasso/FF-16-TUI: Interactive static analysis tool to locate structures from frequent patterns · GitHub

FF-16-TUI це інтерактивний інструмент статичного аналізу, який шукає найчастіші локальні 16-бітні патерни в усьому файлі. Він допомагає виявляти структури за повторюваними патернами та розуміти layout файлу. Інструмент має текстовий інтерфейс з панелями hexdump, патернів і фільтрів, де можна навігуватися по байтах, підсвічувати патерни та налаштовувати параметри пошуку. Працює з командного рядка та підтримує словник для анотацій.

Advertisers Could Soon Demand 'Verified Clicks' - A Media Operator

Звіт Omnivery показує, що бот-кліки в email-кампаніях суттєво зросли: у Gmail їхня частка зросла з 2% до понад 20% за 2026 рік, а в B2C-розсилках загалом сягнула 16%. Головні причини - агресивне префетчинг посилань поштовими провайдерами та соціальний краулер Meta, який при архівуванні розсилок може підняти рівень бот-кліків до 58%. Платформа Beehiiv вже запровадила метрику verified clicks, фільтруючи нелюдські кліки та стягуючи гроші з рекламодавців лише за підтверджені, і очікується, що рекламодавці почнуть вимагати такий підхід і від інших.

ALMA Reveals Long-Lived Hotspots on Betelgeuse’s Bubbling Surface | ALMA Observatory

ALMA отримала детальне зображення поверхні Бетельгейзе, яке показує яскраві гарячі плями та нерівний контур, спричинені конвективними рухами. Найяскравіша північно-східна пляма майже не змінила положення й інтенсивність між спостереженнями 2015 і 2023 років, що вказує на тривалість щонайменше сім років, значно більшу, ніж передбачають моделі. Радіус зорі змінюється приблизно на 6%, а випромінювання молекул SiO і CO вказує на нерегулярне, грудкувате оточення. Дослідники сподіваються з'ясувати, чи залишаються ці плями стабільними і як вони пов'язані з конвекцією та втратою маси.

What Running Kafka On Vms Taught Us About Systems Thinking | Moniepoint | Engineering

Команда Moniepoint перевела Kafka з VM і Docker Compose на Strimzi в Kubernetes, бо ручне керування через SSH, port-forwarding і неконсистентні версії забирало час і не давало думати про систему. Тепер кожен CDC pipeline ізольовано в окремому namespace, конфігурація живе в YAML і синхронізується через ArgoCD, а кастомний Kafka Connect образ фіксує всі конектори в одному Dockerfile. Це прибрало ручні рестарти, дало self-healing, rolling updates, єдиний UI в Kafbat і знизило операційне навантаження. Головний висновок: декларативна інфраструктура як код дає інженерам змогу проєктувати системи, що працюють самі, замість постійного гасіння пожеж.

Smaller reactors bring nuclear power closer to fulfilling its promise | Nature

Стаття описує розвиток малих модульних реакторів (SMR) потужністю до 300 МВт, які мають бути дешевшими і швидшими у будівництві завдяки заводському виробництву модулів. Розглядаються різні конструкції: Kairos Power використовує TRISO-паливо у вигляді гранул і розплавлену сіль FLiBe як теплоносій, а TerraPower будує натрієвий реактор Natrium з металевим паливом і пасивним повітряним охолодженням. Рідкосольові реактори дозволяють перезавантажувати паливо без зупинки і допалювати актиніди, зменшуючи обсяг відходів. Водночас критики зауважують, що SMR не обов'язково економічніші за великі реактори, а деякі конструкції можуть бути небезпечнішими через незвичні паливо й теплоносії.

Luanti removed from Google Play due to baseless AI copyright notice - Luanti Blog

Застосунок Luanti (колишній Minetest) видалено з Google Play через DMCA-скаргу від Tracer.AI, поданої від імені Microsoft, яка без конкретики звинувачує платформу в порушенні авторських прав Minecraft. Команда Luanti заперечує наявність пропрієтарних ресурсів і зазначає, що подібна скарга вже була у 2023 році, а поновлення зайняло 46 днів. Вони закликають Microsoft, Mojang і Tracer.AI припинити покладатися на AI для надсилання розмитих DMCA-повідомлень, а Google — ретельніше перевіряти скарги.

Автоматизовані takedown-запити без людської перевірки стають дедалі більшою проблемою для відкритих проєктів.

Talos — an AI agent with a permission kernel

Talos — це shell-агент для Claude, де кожен виклик інструмента проходить через детермінований security kernel: ефекти мають бути задекларовані, рішення allow/deny/ask фіксується до виконання, а токени одноразові й живуть 30 секунд. Shell, делегування коду і браузер працюють у пісочниці, 23 інструменти поділені на 15 read, 5 write і 3 exec. Передбачені аварійні команди /stop, /undo та /autonomy 0, які спрацьовують без участі мовної моделі. Інсталятор запускає 2063 unit-тести та 179 adversarial cases і не стартує агента без явно вказаної довіреної identity.

Announcing Sovereign Tech Agency Investment in Flatpak — Modal Collective

Sovereign Tech Agency інвестує 508 640 євро у дворічний проєкт розвитку Flatpak, щоб покращити його sandboxing та безпеку до рівня Android і iOS. У планах нові Portals для аудіо, мережі, VPN, перевірки правопису та автозаповнення паролів, а також системи Entitlements і Intents. До роботи залучені контрактори з досвідом GNOME STF, зокрема Philip Withnall, Julian Sparber і Dhanuka Warusadura.

Terry Rozier and the Teleprompt Operator

Стаття порівнює інсайдерські ставки у спорті та на prediction markets. Легалізація спортивних ставок різко збільшила обсяг і ліквідність ринку, що дозволило приймати великі парі, як-от $200,000 на under Террі Розьє, хоча нелегальний букмекер раніше, ймовірно, відмовив би. На prediction markets на кшталт Kalshi з'являються нові форми інсайдерської торгівлі: оператор телесуфлера Білого дому заробив близько $100,000, ставлячи на слова в промовах Трампа. Автор вважає, що prediction markets можуть бути суспільно корисними, але якщо не наведуть лад, стануть супутньою жертвою майбутньої реакції проти спортивного гемблінгу.

“iT woRKs BeTter in THe aPp!!” – Terence Eden’s Blog

Автор обурений, що в мобільному застосунку Google Calendar не можна підписатися на календар за посиланням, хоча офіційна довідка радить використовувати комп'ютерний браузер. Він обійшов обмеження, відкривши calendar.google.com у режимі desktop на телефоні, після чого календар з'явився в застосунку. Далі розмірковує, що більшість функцій застосунків можна реалізувати у вебі, а розробники часто недоробляють свої продукти.

Класична історія: щоб скористатися застосунком, треба обійти його через браузер.

openai-python/httpx2.md at main · openai/openai-python · GitHub

OpenAI Python SDK перейшов на HTTPX2 для синхронних і асинхронних HTTP-клієнтів, тому httpx більше не встановлюється автоматично. Користувачі стандартного клієнта здебільшого не помітять змін, але TLS-перевірка тепер використовує системне сховище сертифікатів замість certifi, що може зламати мінімальні контейнери та корпоративні проксі; це можна обійти через SSL_CERT_FILE/SSL_CERT_DIR або ssl.SSLContext. Кастомні клієнти, auth-хуки, моки й транспортні об'єкти мають перейти на httpx2. Для сумісності є тимчасовий escape hatch: встановити legacy httpx і передати його клієнт через cast(Any, ...), але статична типізація на це скаржиться.

Sesame: Open Source Passwords, 2FA and Recovery

Sesame це відкритий менеджер паролів для Windows, який зберігає паролі, 2FA коди, дані відновлення та резервні копії локально, не передаючи vault на сервери. Він підтримує імпорт із 15 форматів, розблокування через Windows Hello або PIN, а також має security checkup і відкритий код під AGPL-3.0. Зараз триває публічна безкоштовна бета, але Sync, мобільні версії, passkeys і браузерне розширення ще не готові.

EPA Issues Permitting Guidance to Further President Trump’s Agenda Promoting Data Centers and Safeguarding Communities | US EPA

EPA випустила роз'яснення, що Acid Rain Program за Clean Air Act не застосовується до електростанцій, не підключених до загальної мережі ("islanded" power generation). Це дає девелоперам більше гнучкості у будівництві автономних потужностей для data centers. Роз'яснення узгоджується з Ratepayer Protection Pledge президента Трампа, який зобов'язує компанії повністю оплачувати енергію та інфраструктуру своїх об'єктів.

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

Stopping the smart TV from being used against you. – S-Config

Підключення LG Smart TV до Windows через HDMI або DisplayPort може призвести до автоматичного встановлення драйвера, який тягне за собою небажане ПЗ, наприклад McAfee. Телевізор через EDID передає системі свої ідентифікаційні дані, а Windows Update завантажує «драйвер», що фактично є каналом для bloatware. Автор радить використовувати апаратні EDID-блокери, які приховують справжню модель дисплея і не дають системі знайти та встановити таке ПЗ, а також застерігає від підроблених DisplayPort-блокерів.

GUIs should be fully keyboard-driven | Charalampos Kardaris

Автор спростовує аргумент, що TUI варто віддавати перевагу через повну підтримку клавіатури, оскільки GUI можуть бути так само повністю keyboard-driven. Він посилається на рекомендації GNOME Human Interface Guidelines, які вимагають, щоб кожна дія була доступна як мишею, так і клавіатурою. Розробникам нагадують не ігнорувати клавіатурну навігацію, адже це питання волі, а не здійсненності, і вона покращує загальний досвід користувача.

Just a rumour of a bug is enough to find a security exploit these days | Anil Madhavapeddy

Автор випустив security fix для cohttp і виявив, що вже за кілька хвилин після публічного PR його сервер почали сканувати на path traversal, а власний агент зміг створити exploit лише з приблизного опису вразливості. Традиційні security embargoes більше не дають часу, бо середній час до експлуатації становить -7 днів, тобто атака випереджає патч. У відповідь пропонується приватна розробка виправлень, безперервні швидкі релізи з кращим пакуванням і скануванням, а також проактивні правила захисту на рівні протоколу, які можна поширювати швидше за upstream патчі.

Нерівний доступ до frontier models залишає невеликі OSS-проєкти без тих самих інструментів, що вже є в атакуючих.

zai-org/GLM-5.3 · Hugging Face

GLM-5.3 використовує ту саму базову модель, що й GLM-5.2, але всі покращення отримані завдяки post-training. Модель значно посилила складний кодинг та довготривалі задачі: на 50% краща у внутрішньому Z.ai Code Bench, досягає open-source SOTA на Terminal Bench 3.0 і Agents' Last Exam. Окремо виділяється швидкий розвиток кібер-можливостей: GLM-5.3 лідирує в CyberGym для виявлення вразливостей і більш ніж вдвічі перевищує GLM-5.2 на exploitation benchmarks.

Поява таких emergent cyber capabilities у відкритій моделі порушує питання про відповідальний випуск і контроль за використанням.

[2608.23691] Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment

Дослідники запустили відкрите багатоагентне середовище Station, де AI-агенти різних моделей без центрального координатора спільно займаються математичними відкриттями. На 12 задачах з каталогу AlphaEvolve і двох кейс-стаді агенти отримали нові результати в п'яти: нова нескінченна сім'я множин Какея над скінченними полями, точні 604-точкові kissing-конфігурації у вимірі 11, нові рекорди для discretized Kakeya needle і sign uncertainty, а також покращена нижня межа для задачі мінімального перекриття Ердеша. Крім того, знайдено нові нескінченні сім'ї для Book Ramsey numbers. Агенти генерували не лише числові конструкції, а й теореми з поясненнями, що робить результати інтерпретовнішими; всі діалоги, доведення та код відкриті.

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

Bye, Bye GitHub

Автор повністю перейшов з GitHub на власний homelab з Forgejo, мотивуючи це нестабільністю сервісу та недовірою до політики компанії щодо використання коду для навчання AI. Він скасував підписку, включно з Copilot, і тепер зберігає приватні репозиторії на своєму обладнанні. Основна теза: не варто довіряти великим технологічним компаніям у питаннях приватності та безпеки.

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

Verschlimmbesserung: The Word Your Software Updates Need | Geeky Schmidt

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

Barrier lake continues to pose flood risk, China warns

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

The Analytical AI Handbook - Sutro Handbook

Посібник описує аналітичний ШІ як використання foundation models для обробки неструктурованих даних і прийняття масштабованих операційних рішень, на відміну від генеративного ШІ, що створює контент. Аналітичні задачі вимірювані, вимагають консистентності та толерантні до батч-обробки, тому часто достатньо менших моделей. Документ структурований за розділами primitives, patterns, architectures і deployment та орієнтований на дата-команди, AI-інженерів і операційні команди.

EasyEffects should be part of every Linux distribution and desktop environment to massively improve laptop speaker sound quality – OSnews

Більшість лептопних динаміків звучать погано, але Linux вже має інфраструктуру для якісної обробки звуку через PipeWire. EasyEffects дає доступ до цього через пресети еквалайзера, компресії та інших ефектів, що суттєво покращує звук навіть без ручного налаштування. Автор пропонує, щоб дистрибутиви, desktop environment і виробники Linux-лептопів інтегрували EasyEffects або готові пресети за замовчуванням.

Africa's Wild Dogs Are the Most Hated Carnivores on the Continent. Here's Why Some Conservationists Are Saving Them Anyway

Африканські дикі собаки є одними з найбільш загрожених хижаків, головним чином через конфлікти з фермерами та власниками мисливських угідь. Програма Endangered Wildlife Trust переселяє тварин між резерватами, щоб формувати генетично різноманітні зграї. Історія трьох сестер з Мозамбіку показує, наскільки крихким є процес: одна померла від capture myopathy після транспортування, а подальші спроби створити пару зривалися через напади лева, леопарда та браконьєрські пастки. Попри це, популяція в межах проєкту зростає: у 2025 році народилося 150 цуценят, а доступна територія розширилась на 1,5 мільйона гектарів.

GitHub - sseshachala/conductai: AI agent governance for teams. Runtime firewalls tell you what happened; Conduct Guard controls what can happen — signed policy, verified chain, fail-closed by default. Ships with Router (LLM proxy), 20+ compliance packs, canvas UI, and a playbook engine. · GitHub

Conduct AI — це open-source платформа для runtime governance AI-агентів. Вона включає Guard, полісі-движок, який блокує або дозволяє дії до їх виконання, Router як LLM-проксі, підписану конфігурацію та hash-chained audit log. Підтримує CLI hooks для Claude Code, Cursor, Copilot, Codex і MCP, а також 20+ compliance packs. Пропонує Discovery mode для безкоштовного моніторингу протягом 14 днів.

Are Crows Really Our Friends? | Audubon

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

Debugging my new network, when 10 Gigabit Ethernet Runs at 300 Megabits - Scott Hanselman's Blog

Автор діагностував, чому копіювання файлів по 10GbE мережі йшло на 100–200 Мбіт/с замість очікуваних гігабіт. Підозри на NAS, RAID і кеш не підтвердилися: iperf3 між Windows і Linux показав асиметричну проблему. Збільшення receive buffers до 4096 покращило прийом з 1.33 до 5.15 Гбіт/с, а вимкнення Large Send Offload V2 IPv4 підняло передачу з 313 Мбіт/с до 7.03 Гбіт/с. Висновок: при дивних проблемах зі швидкістю сховища варто спершу перевірити сиру мережу iperf3, а не звинувачувати диски.

Kumander Linux

Kumander Linux це дистрибутив на базі Debian з робочим столом XFCE, що відтворює знайомий інтерфейс Windows 7. Він постачається з Google Chrome як типовим браузером, центром програм із підтримкою Flatpak, Steam, LibreOffice, Kdenlive та Ardour 7. Систему можна запустити в live-режимі з ISO або у VirtualBox, є форум підтримки.

charles leifer | Aspirational Clownmaxxing and Joey's cadillac todo list

Автор експериментує з генерацією PySide6 todo-застосунків через Claude Opus, використовуючи екстремальні промпти: гремліни, мафіозний стиль, світобудову з павуками-голіафами, грецьку міфологію та стиль Sally Cruikshank. Більшість результатів зводяться до типового devtools-інтерфейсу, а креативні нашарування не дають справжньої дивакуватості, тільки шаблонний «slop». Найкраще працює пряма імітація відомого стилю, тоді як голос, погрози чи теоретичні есе майже не впливають.

How Dactyl works · Dactyl

Dactyl використовує власний SwiftUI-рендерер, скомпільований у Wasm, щоб показувати нативні iOS-застосунки прямо в браузері без симулятора. Рухач працює як потік команд малювання в Canvas2D, а на Android його завантажує Jetpack Compose через JNI, підставляючи справжні Material-компоненти. Swift-код ділиться на базовий модуль і маленький side module, що дозволяє гаряче оновлення без втрати стану. Для розробки рухача автоматизовані агенти порівнюють його вивід піксель за пікселем зі справжнім симулятором iOS і виправляють розбіжності.

The Forgotten History of Small Nuclear Reactors - IEEE Spectrum

Історія малих ядерних реакторів почалася ще в 1940-х, але вони неодноразово програвали економічно великим енергоблокам через низьку продуктивність, високі витрати на будівництво та дороге виведення з експлуатації. Приклади Elk River і La Crosse показують, що електроенергія з таких реакторів коштувала вдвічі або втричі дорожче за вугільну, а термін служби був коротким. Через економію на масштабі оператори в підсумку переходили до великих реакторів, тому сучасні обіцянки дешевих SMR суперечать цьому досвіду.

GitHub - Lakr233/vphone-cli · GitHub

vphone-cli дозволяє на Apple Silicon з macOS 15+ створювати та запускати віртуальні iPhone через Virtualization.framework, використовуючи інфраструктуру PCC research VM. Інструмент автоматизує повний цикл: завантаження і злиття IPSW, патчінг ланцюга завантаження, DFU restore, встановлення CFW та перший запуск. Доступні п'ять варіантів патчів (less, regular, dev, jb, exp), де jb включає повний джейлбрейк, а exp додає анти-детект патчі для досліджень. Для роботи потрібне послаблення SIP/AMFI або повне вимкнення, що може знизити безпеку хостової системи.

GitHub - stemdeckapp/stemdeck: Stemdeck is an modern stem extraction platform for musicians,producers and hobbyists, designed to isolate vocals, drums, bass, piano and guitar for practice, transcription, remixing, and creative audio workflows through a modern and interactive interface · GitHub

StemDeck — безкоштовний локальний інструмент для розділення аудіо на окремі стеми: вокал, барабани, бас, гітара, піано та інше, без акаунта, завантаження файлів у хмару чи підписки. Підтримує MP3, WAV, FLAC, OGG/Opus, MP4, M4A та YouTube URL, використовує модель Demucs htdemucs_6s, має DAW-подібний мікшер із mute/solo, регулюванням рівнів, зумуванням хвилі та експортом окремих стемів або міксу. Працює повністю локально на вашому комп’ютері, відкритий код, збірки для macOS і Windows, також є Docker і серверний режим.

I accidentally turned LLM memory into program analysis :: pwning.systems

Автор створив Lemmalog, Datalog-рушій для підтримання структурованого стану знань LLM-агентів замість простого зберігання історії розмов. Факти витягуються з природної мови, а логічні наслідки обчислюються детерміновано, тож коли певне спостереження спростовується, залежні висновки автоматично інвалідуються, а provenance пояснює, чому агент вважає щось істинним. На LongMemEval Lemmalog показав F1 0.463, а на LoCoMo 0.533, поступаючись PropMem, але явно випереджаючи повний контекст на задачах оновлення знань і відкидання хибних передумов, при цьому передаючи моделі у десятки разів менше токенів. Більшість покращень дали не зміни в Datalog-рушії, а виправлення фронтенду: entity resolution, нормалізація дат, гібридний retrieval та коректна агрегація.

Цікаво, що проблема звелася до підтримання materialized view з retractions, а не до чергового збільшення context window.

Sumerian King List Paleoclimate Alignment Test | vectorian

Автор перевіряє гіпотезу, що величезні тривалості правлінь допотопних царів у Шумерському царському списку є закодованою згадкою про палеокліматичні події: хронологію масштабують до 241,2 тис. років і прив’язують кінцеву межу до 11,6 тис. років тому. Порівняння з каталогами четвертинних подій не дає статистично значущого збігу: основна permutation p-value 0.350 (adjusted q 0.622), найкращий сирий результат у катастрофічному каталозі p=0.021, але після Benjamini-Hochberg q=0.222. Жоден результат не досягає q<0.05, тож гіпотеза не підтверджується.

PPWR lands another blow to an already precarious tabletop industry

Новий регламент ЄС про пакування та відходи (PPWR) набув чинності 12 серпня і вимагає від дрібних видавців настільних RPG реєстрації та сплати внесків у кожній з 27 країн ЄС, причому правила і тарифи суттєво різняться. Через значні витрати ресурсів і неоднозначність визначень пакування частина незалежних видавців уже припинила продажі до окремих країн ЄС або розглядає такий крок. Додаткове навантаження створюють EPR-внески, суперечлива інформація та складні умови для мікропідприємств, що посилює невизначеність у і без того хиткій індустрії.

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

Run Qwen3.8 27B locally: real numbers from my Mac Studio | TerminalBytes

Qwen3.8 27B (Q4_K_M) на Mac Studio M3 Ultra генерує близько 14 токенів/с, удвічі повільніше за qwen3.6 27B, але відповідає приблизно втричі коротше, тож час на готову відповідь майже однаковий. 1-бітна квантization (6.7GB) дає 27 токенів/с і нормально згадує факти, але не може остаточно вибрати відповідь, тому для agentic роботи мінімум Q2_K_XL. Для запуску потрібен свіжий llama.cpp через архітектуру qwen35, а Q4 вимагає 32GB RAM, Q2 — 16GB.

GitHub - pydantic/httpx2: A next generation HTTP client for Python. 🦋 · GitHub

HTTPX2 є продовженням HTTPX під стюардством Pydantic. Це повнофункціональний HTTP client для Python з підтримкою HTTP/1.1, HTTP/2, sync та async API, а також CLI. Бібліотека сумісна з requests і має інтеграцію з Logfire для observability.

Don't use musl if you care about performance

Автор виміряв продуктивність Rust-проєктів на musl і glibc та підтвердив, що allocator musl значно гірший, а з mimalloc продуктивність однаково на 26% нижча за glibc. Регресії найпомітніші у задачах scan_usages і structural_clone_smells, причому друга майже не алокує, тож причина не лише в allocator, а й у повільних memory routines. Для performance-sensitive Bifrost прибирають musl як prebuilt, для дрібних проєктів лишають musl з mimalloc.

“Weird” is a weird word - by Colin Gorrie

Слово weird походить від давньоанглійського wyrd, що означало «доля», і після нормандського завоювання збереглося лише в шотландській мові. У Шекспіровому «Макбеті» словосполучення weird sisters стосувалося відьом, але через помилку друкарів у First Folio стало weyward, поки Теобальд не виправив його. Романтики почали вживати weird у значенні «моторошний», згодом воно розширилося до «дивний» і стало одним із найчастотніших слів англійської.

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

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