Тай-чі — це м’яка низькоінтенсивна практика, що поєднує повільні рухи, глибоке дихання і медитативну концентрацію. Дослідження показують, що вона покращує м’язову силу, гнучкість і рівновагу, знижує ризик падінь та може слугувати допоміжною терапією при багатьох вікових станах. Почати легко: не потрібне спеціальне обладнання, а вправи адаптуються навіть для людей у візках або після операцій.
Cut Recipe: безкоштовний сервіс, який за посиланням витягує лише інгредієнти та кроки з рецептів, прибираючи рекламу, спливаючі банери й автобіографічні вступи. Працює з YouTube, TikTok і понад 40 000 сайтів, не потребує реєстрації, підтримує чекбокси для інгредієнтів і режим утримання екрана. У планах функція розпізнавання фото холодильника для підбору рецептів з наявних продуктів.
Найкраща відповідь тим, хто втомився гортати історію про бабусю до списку продуктів.
Ринок token brokers складається з посередників, які скуповують невикористані кредити AI-провайдерів у стартапів і перепродають їх зі знижками 30–80%. Дослідження виявило маркетплейси AI Credits, CheapCredits та прямі пропозиції від брокерів, що обіцяють витрати $100k на день через проксі-пул API-ключів. Оціночний обсяг пропозиції сягає десятків мільйонів доларів, і провайдери, ймовірно, посилять боротьбу з цим зловживанням.
Сірий ринок кредитів перетворює маркетингові бюджети провайдерів на неконтрольований канал перепродажу, де безпекові ризики від використання чужих проксі-ключів можуть переважити економію.
MathCode — це термінальний AI-асистент для математичного кодування, який перетворює задачі природною мовою на теореми Lean 4 та намагається довести їх формально. Він має persistent Lean REPL з перевіркою компіляції близько 0.4 секунди після прогріву, бібліотеки теорем і аксіом для повторного використання, інтеграцію з Lean LSP для пошуку лем у Mathlib, генерацію Obsidian-графа залежностей, агентний режим доведення, розбиття на підцілі та паралельні планувальники.
Автор створив повноцінний telnet BBS на кишеньковому калькуляторі Casio VX-4 з 8kb RAM. Програмне забезпечення написане на BASIC, використовує RS232 порт, а Raspberry Pi Zero W виступає лише як міст для підключення до інтернету. Через обмеження пам'яті та швидкість 4800 baud BBS підтримує одного користувача за раз, дозволяє читати повідомлення та залишати свої до 60 символів.
Stripe уклала угоду про придбання OpenRouter, стартапу, що допомагає компаніям перемикатися між AI-моделями, за понад $7 млрд. Це сталося лише через кілька місяців після того, як OpenRouter залучив кошти за оцінкою $1.3 млрд, що підкреслює попит на ефективні AI-рішення. Для Stripe, платіжної компанії, це посилення позицій у секторі штучного інтелекту.
Автор повертається до класичної статті 1979 року, яка стверджувала, що formal verification приречена, і перевіряє шість аргументів з огляду на сучасний розвиток formal methods та AI coding. Більшість старих заперечень він вважає слабкими або застарілими: LLM-powered tools прискорюють доведення, а specification стає критичною, коли код пишуть агенти. Водночас він погоджується, що повна верифікація не є універсальним рішенням, а formal methods корисні передусім для specification, розуміння системи та замикання циклу перевірки в AI-assisted розробці.
Найцікавіше, що економічний аргумент тепер працює у зворотний бік: коли кодогенерація майже безкоштовна, correctness assurance стає головним місцем, де можна отримати конкурентну перевагу.
Автор з Тринідаду і Тобаго відповідає на критику RISC-V від Дмитра Грінберга, стверджуючи, що для країн поза США та Європою вирішальними є ціна й доступність, а не елегантність ISA. Він показує на прикладах CH32V003 за 10 центів, CH32H417 з USB 3.0 і Baochip з MMU, що один базовий набір інструкцій RISC-V масштабується від дешевих мікроконтролерів до систем із захищеною ОС, а навички переносяться між рівнями. На відміну від ARM, де межа між Cortex-M і Cortex-A визначається ліцензіями, у RISC-V розширення можна вмикати за потреби, і фрагментація є зворотним боком масштабованості. Він погоджується, що RISC-V переможе в дешевому сегменті не завдяки дизайну, а через ціну й відкритість, і вважає це не недоліком, а перевагою.
Погляд з місця, де доставка коштує більше за сам чип, добре нагадує, що ISA обирають не лише за елегантність.
Buf анонсував перший production-grade LSP-сервер для Protobuf, який реалізує go to definition, code completion, пошук посилань та семантичне підсвічування синтаксису. Сервер працює через Buf CLI і легко інтегрується з VSCode та Neovim. В основі лежить новий query-driven frontend на базі protocompile, що забезпечує інкрементальну компіляцію та точнішу діагностику порівняно з protoc.
Моделі свідомо жертвують фактичними знаннями заради reasoning: процедури добре стискаються і не застарівають, а факти займають багато параметрів, швидко псуються і живлять галюцинації. Тому знання переносять у зовнішній harness (retrieval, tools, документація), а в самих вагах залишають лише загальне розуміння, достатнє для пошуку й перевірки джерел. Це дозволяє зменшити модель до розміру однієї споживчої GPU і перетворити фактичні помилки з незафіксованих у вагах на звичайні data bugs, які можна виправити в knowledge base.
Модель стає більше схожою на процесор, якому факти подають на вхід, ніж на енциклопедію.
Міністерство фінансів США через FinCEN остаточно скасувало вимогу для американських компаній та фізичних осіб подавати інформацію про beneficial ownership за Corporate Transparency Act. Фінальне правило набуло чинності 14 серпня 2026 року, а раніше подані дані про американських осіб видалять із бази FinCEN. Іноземні компанії надалі зобов’язані звітувати про beneficial ownership іноземних фізичних осіб.
Енергоблок №1 АЕС St. Lucie у Флориді вручну зупинили після того, як три регулювальні стрижні впали в активну зону, коли реактор працював на 100% потужності. Подія класифікована NRC як неаварійна, усі системи після спрацювання відреагували штатно, блок стабілізували в режимі Hot Standby. Другий енергоблок не постраждав, і згодом перший блок знову вивели на повну потужність.
Дослідники представили LittleLearner - мовну модель, навчену з нуля на 88B токенах корпусу LittleCurriculum, відфільтрованого за стандартами шкільної програми США K-5, з контрольними моделями на нефільтрованих даних. Експерименти показали, що масштабування, пост-тренування (SFT+GRPO) та in-context learning покращують результати в межах навчальної програми, але не дозволяють моделі вийти за її межі. Автори роблять висновок, що pretraining filter задає ефективну стелю можливостей, і пропонують використовувати модель для досліджень RL, continual learning та освітніх наук.
Президент Південної Кореї Лі Чже Мьон запропонував Північній Кореї переговори про офіційне завершення війни, яка формально триває з 1953 року. Він закликав створити багаторівневу систему безпеки, щоб уникнути загострень уздовж демілітаризованої зони, і обговорити практичні кроки для стримування ядерної програми Пхеньяна. Північна Корея поки не відреагувала, а раніше відкидала подібні ініціативи й оголосила об’єднання з Півднем неможливим.
SDLC та інженерні платформи досі розраховані на людську швидкість і підзвітність, тоді як агенти можуть створювати багато змін паралельно. Вимоги в різних вакансіях сходяться до одного: standardized environments, machine-readable інструкції, permissions, audit і evaluation, щоб LLM виконували повторювану й безпечну роботу. Ключовий показник зміщується від обсягу згенерованого коду до time to safe merge, а кінцевим вузьким місцем стає координація агентів між собою.
grafana-agento11y-hermes — неофіційний плагін для Hermes Agent, який записує виклики LLM і виконання інструментів як generations та надсилає OTel traces і metrics у Grafana Cloud Agent Observability. Встановлюється через pip і вмикається правкою `~/.hermes/config.yaml`, оскільки CLI `plugins enable` ще не бачить pip-плагіни. Креденшели беруться зі сторінки setup у Grafana Cloud, а для перевірки є debug-режим.
Стаття стверджує, що наука пояснює лише близько 5% Всесвіту (звичайна матерія), а решта 95% припадає на гіпотетичні темну матерію та темну енергію, тож наше розуміння світу дуже обмежене. Автор вважає, що через Recursive Self Improvement штучний інтелект уже прискорює науковий прогрес, наводячи приклад моделі OpenAI Astra, яка розв’язала десять давніх математичних проблем. На його думку, це початок сингулярності, яка змусить переосмислити поняття можливого і людську ідентичність, а також пов’язано з нещодавніми публікаціями звітів про UFO.
Втім, стрибок від нерозв'язаних математичних задач до технологій прибульців більше скидається на вільні асоціації, ніж на науковий аргумент.
TypeScript pnpm monorepo для збору 1m/5m ринкових даних і bulk kline архівів з Binance та Bybit, детекції pump/dump режимів і Telegram-сповіщень. Використовує Turso для зберігання pumps, підписників і результатів моніторингу, а PM2 керує процесами pump-monitor, pump-bot і pump-web. Містить Pump Event Reviewer для ручної розмітки подій, експорту датасетів у JSON/CSV та скрипт для очищення ринкових даних за віком.
Стаття досліджує, як повсюдне використання GPS витісняє навичку cognitive mapping: люди дедалі більше покладаються на turn-by-turn інструкції, через що гірше запам’ятовують маршрути і помічають орієнтири. Дослідження показують, що часті користувачі GPS мають слабшу просторову пам’ять, а під час збоїв навігації до чверті людей просто відмовляються від поїздки. Авторка на власному досвіді орієнтування без GPS зауважує, що разом із навичкою не губитися ми втрачаємо увагу, терпіння і прийняття невизначеності.
Сторінка містить велику колекцію інтерактивних освітніх аплетів для візуалізації концепцій з математики, фізики та інженерії. Аплети охоплюють теми від коливань і хвиль, акустики, обробки сигналів, електромагнетизму до квантової механіки, лінійної алгебри, векторного числення, термодинаміки та механіки. Більшість з них перетворено з Java на JavaScript, тому вони працюють без спеціального плагіна.
Коли розробник вичерпує денний ліміт токенів для AI-агентів, продовжити роботу вручну після паралельних субагентів без видимих міркувань практично неможливо. Збільшення лімітів не вирішує проблему, а лише заохочує недбалість, тоді як компанії не визначилися, чи дозволяти співробітникам витрачати цей час на навчання або іншу корисну діяльність. Приклад Uber, який вичерпав річний бюджет токенів уже у квітні, показує, що управління обмеженнями нікуди не зникло, просто тепер замість кілобайтів доводиться економити токени.
Восьминоги мають розподілену нервову систему: дві третини нейронів у щупальцях, а також редагують РНК на льоту для адаптації до температури. Через таку несхожість їх пропонують розглядати як модель інопланетного інтелекту, який може мислити інакше за людей. Найбільшим викликом у контакті з позаземним розумом стане комунікація, особливо якщо вона базується на кольорових сигналах.
Reticulum є криптографічним мережевим стеком для побудови децентралізованих локальних і глобальних мереж на звичайному обладнанні, стійким до високої затримки та низької пропускної здатності. Він не використовує адреси джерела, не має центрального керування адресним простором, а адреси є self-sovereign і portable. Весь трафік за замовчуванням шифрується з ephemeral ключами та forward secrecy, незашифровані пакети відкидаються. Мета полягає в тому, щоб дати людям інструмент для створення суверенних комунікаційних мереж без цензури і контролю.
Rhombus 1.1 вийшов з новими способами визначення annotations через `annot` і `annot.def`, які не вимагають написання macro-коду. Додано binding form `as`, змінено поведінку `class` для успадкування імен, уточнено `space.enforest`, розширено FFI варіантом ініціалізованого масиву в `new`, а також покращено бібліотеки `pict` і `slideshow`. Реліз доступний на rhombus-lang.org.
Stripe, за даними Bloomberg, уклав угоду про придбання AI-шлюзу OpenRouter за понад $7 млрд. OpenRouter дає доступ до більш ніж 400 моделей з єдиної точки, має 8 млн користувачів, а в травні оцінювався у $1,3 млрд після Series B. Гендиректор раніше називав компанію «Stripe для AI», бо вона дозволяє вибирати моделі під задачу і уникати прив’язки до одного провайдера.
У вівторок розпочнеться суд присяжних за позовом 30 штатів США проти Meta, які вимагають понад $1 трлн і суттєвих змін в Instagram та Facebook. Серед вимог: прибрати лічильники лайків, нескінченну стрічку, автовідтворення відео та фільтри, що змінюють зовнішність, а також запровадити батьківську верифікацію для підлітків. Якщо Meta програє, зміни, ймовірно, поширяться на всю територію США, оскільки позивачі представляють майже дві третини населення. Внутрішнє дослідження Meta, на яке посилаються юристи, пов’язує соціальне порівняння через лайки з погіршенням настрою та самооцінки.
Flynt.js це легка бібліотека реактивності без кроку збірки, створена для Multi-Page Applications (Magento/Hyva, Blade, WordPress). Вона організовує UI-логіку через презентери і зв'язує DOM через атрибути data-fx, має розмір близько 2,2 КБ і не використовує Virtual DOM. API включає createState з гетерами для похідного стану, render для реактивних ефектів, map для keyed list reconciliation з оновленнями на місці, а також debounce та abortable request.
Mean Hamster Software анонсувала AGI-64, інтерпретатор AGI для Commodore 64. Space Quest 1 вже повністю проходиться, і рушій підтримує більшість стандартних операцій. Це буде безкоштовне завантаження, яке компілює файли .vol і .obj у 1 МБ CRT для EasyFlash, зі збереженням на 1541-сумісних дисках.
Автор розповідає, що після його коментаря на Lobsters про отримання листів для інших Sean Conners йому написали, що провина частково на Gmail. Gmail ігнорує крапки в локальній частині адреси, тому старі акаунти на кшталт [email protected] і [email protected] можуть перетинатися, і листи з банків чи шкіл іноді просочуються між ними. Він зазначає, що Google заперечує помилку, хоча випадки підтверджені користувачами, і наводить перелік ASCII-символів, які не можна використовувати в email-адресах.
Prolly — Rust-бібліотека content-addressed prolly tree storage primitives: immutable ordered key-value map над byte keys/values зі структурним sharing, ефективними diff, three-way merge, bulk loading і proof для ключів та range. Вона надає pluggable Store (memory, SQLite, RocksDB та інші), синхронний і async API, VersionedMap facade, secondary indexes і large value offloading. Проєкт ще готується до open-source 0.1, тож до 1.0 можливі breaking changes у API.
Дослідники з Кембриджа, NVIDIA та Flower Labs запропонували метод для самонавчання AI-агентів, який долає обмеження фіксованих тестів: евалуатор еволюціонує разом з агентом, стаючи дедалі складнішим. У межах Red Queen Gödel Machine агенти та їхні оцінювачі співрозвиваються, що дозволяє уникати плато продуктивності. У експериментах для наукового письма та оцінювання олімпіадних доведень co-evolution підвищив acceptance rates у 1.78–1.86 раза і точність grader на 9%.
Гібридне використання open source моделей (NVIDIA Nemotron 3 Ultra) разом із ChatGPT-5.5 знизило вартість пошукових токенів приблизно в 13 разів, зберігаючи близьку до ChatGPT продуктивність, що вказує на шлях до дешевших і відкритіших агентних систем.
Стаття-огляд описує сильне гравітаційне лінзування та мікролінзування наднових як новий інструмент космології та астрофізики. Часові затримки між кратними зображеннями наднових дозволяють вимірювати космологічні відстані й уточнювати сталу Габбла, а майбутній огляд Rubin Observatory LSST має дати конкурентні обмеження. Лінзовані наднові також використовують для вивчення прародителів, отримання спектрів на великих червоних зміщеннях, оцінки розмірів через мікролінзування та властивостей пилу в галактиках. Головна проблема полягає в рідкісності й складності пошуку таких подій, тому автори описують методи їх виявлення та вимоги до подальших спостережень.
SemiAnalysis відтворила модель PJM Reserve Requirement Study і виявила, що через ігнорування зимового приросту ефективності газових турбін та інвестицій у winterization PJM занижує наявну надійну потужність приблизно на 4 GW. Це призвело до переплати $12 млрд рахунків споживачів за 2025-2027 роки, оскільки унікальний аукціон PJM платить усім генераторам однакову clearing price, і невеликий дефіцит різко здорожчує весь обсяг закупівлі. Майбутній екстрений аукціон на 6,8 GW спирається на ту саму модель і ризикує знову перекласти витрати на домогосподарства, адже контракти не мають зобов'язаних контрагентів серед нових великих споживачів.
Повітряні сили США незадоволені якістю двигунів для винищувачів і через RFI шукають нові двигуни та, можливо, нових виробників. Поточна промислова база має значні проблеми: затримки виробництва, дефекти контролю якості та критичне застарівання компонентів, зокрема для F-35 і B-52. Нова програма передбачає понад 180 двигунів на рік до 2034 року для F-15EX і F-16, з акцентом на повну вартість життєвого циклу, стійкість ланцюга поставок і суворі вимоги до виробництва. Компанії мають оцінити ризики дефіциту титанових/нікелевих сплавів і вузькі місця лиття/кування.
Anthropic планує впровадити семантичний watermarking у всі тексти, згенеровані Claude, змінюючи вибір слів через приховані «зелені» та «червоні» списки, щоб виконати вимоги ЄС щодо прозорості AI-контенту. Джон Грубер критикує цей підхід, оскільки він неминуче погіршує точність висловлювання: синоніми ніколи не є абсолютно взаємозамінними, а вибір слів має визначатися лише якістю тексту, а не прихованими мітками. Він також зазначає, що звичайні користувачі не можуть перевірити наявність водяних знаків, оскільки ключі зберігає лише Anthropic, а зловмисники легко обійдуть захист за допомогою перефразування.
Стаття стверджує, що більшість порад про успіх просякнуті survivor bias, а в складних відкритих системах ніхто не має надійних рецептів. Цивілізація прогресує завдяки децентралізованим інституціям, ринкам і фірмам, які координують часткові знання без повного розуміння процесів. Нові AI-агенти, що діють як короткоживучі компанії з кожним користувачем у ролі CEO, є ще одним типом таких суперінтелектів і потребуватимуть подібного зовнішнього управління. Незнання у такому світі не тимчасовий дефект, а постійна умова існування.
Стаття пропонує підхід “craft coding”: писати код самому, а ШІ використовувати лише як рецензента, а не генератора. Це покращує якість і безпеку коду, обмежує deskilling і найкраще підходить для наукового коду, де критична коректність. Водночас поступово втрачається навичка глибокого ручного debugging.
Залишається питання, що буде з цим підходом, коли моделі зможуть і писати, і перевіряти код стабільно краще за людей.
Німецька автопромисловість критикує реформу розвідки, яка дасть BND та Verfassungsschutz доступ до автомобільних telemetry data. VDA і ZDK вимагають чіткого визначення цього терміна, пропорційності запитів і відкидають прямий доступ до автівок з міркувань безпеки. Автосервіси заявляють, що не мають ресурсів для юридично коректної обробки запитів спецслужб. Законопроєкт також розширює повноваження для online searches та source TKÜ.
Anthropic публікує оновлення системних prompt для Claude у веб-інтерфейсі claude.ai та мобільних застосунках. System prompt надає актуальну інформацію, наприклад поточну дату, на початку кожної розмови та заохочує певну поведінку, зокрема форматування коду в Markdown. Оновлення не стосуються Claude API. Для моделей покоління Claude 4.6 і новіших кожен model ID є фіксованим snapshot, тому має лише один запис.
Автор підключив Kimi K3 від Moonshot (2.8 трильйона параметрів, open weights, контекст 1M токенів) до Claude Code через OpenRouter і прогнав через нього реальні задачі, включно з реконструкцією фронтенду. Модель виявилася достатньою, щоб забути про неї, і приблизно на 40% дешевшою за Claude Opus та на 70% за Fable 5, але поступається їм у надійності, схильна до зайвої проактивності. Головна загроза не в тому, що Kimi перевершує американські моделі, а в тому, що він достатньо хороший і дешевий, щоб підірвати цінову премію закритих лабораторій.
Показово, що справжній рів тепер зміщується від самої моделі до harness, даних і робочих процесів навколо неї, а не до того, хто тримає frontier ще на пів року довше.
У 1926 році Генрі Форд запровадив дводенний вікенд, і за 100 років він перетворився на колективний ритуал спільного відпочинку. Тепер його межі розмиваються: для віддалених працівників п'ятниця стала неофіційним напіввихідним, а субота й неділя страждають від робочих листів і дзвінків. Водночас поглиблюється розрив між гнучкими knowledge workers і тими, чия праця жорстко прив'язана до змінного графіка.
Форд дарував вихідні, щоб люди купували більше авто, а тепер технології, що виросли з тієї ж логіки, з'їдають цей час.
Цифрові платіжні екрани з запитом чайових через соціальний тиск і приховані кнопки «без чайових» перетворюють добровільну подяку на обов’язковий збір. Бізнес замість чесного підвищення цін перекладає витрати на оплату праці на клієнтів, використовуючи поведінковий маркетинг, а пропоновані відсотки стартують з 18%. Це знижує довіру, змушує людей рідше ходити в заклади і знецінює справжню щедрість.
Головний квест сучасності: натиснути «без чайових», поки бариста дивиться.
PyScrappy — це адаптивний Python-тулкіт для веб-скрейпінгу, який перетворює сайти на структуровані, LLM-ready дані (Markdown, JSON, DataFrame). Він містить 24 вбудовані скрейпери, MCP-сервер для AI-агентів, self-healing селектори, що переживають зміни розмітки, та опціональний stealth через підробку TLS-фінгерпринта. Підтримує плагіни, паралельний скрейпінг, проксі та scraping-API.
Self-healing селектори виглядають як те, чого бракує більшості існуючих скрейперів.