Дайджест #101. Середа, 4 листопада

pyWolf3D це клон рушія Wolfenstein 3D, написаний з нуля на Python з pygame фанатом Doom і Wolfenstein для навчання. Рендеринг зроблено через raycaster з DDA на мапі 64 на 64, типово 160 променів при FOV 54 градуси, а спрайти і снаряди через perspective projection. Проєкт вміє діставати карти з файлів shareware версії і синтезувати музику в runtime через OPL emulator, підтримує оригінальні 6 епізодів, але поки незавершений і з багами.

Автор окремо наголошує, що весь код писав руками без AI генерації, тільки радився з моделями щодо асcетів.

Anthropic витратила понад $1,7 млрд на персонал за третій квартал, що при штаті 5300 людей дає близько $107 тис. на працівника на місяць. Більшу частину суми, $1,1 млрд, складає stock-based compensation, яку враховують як витрати, хоча готівкою співробітники її не отримують. За дев’ять місяців 2026 року витрати на персонал сягнули $4,8 млрд при виручці $33,2 млрд, тобто близько 15%, а після IPO компанія має визнати ще $8,2 млрд витрат за restricted stock units плюс $24,1 млрд протягом двох років.

Залишилося тільки влаштуватися в Anthropic заднім числом.

macOS 27 фактично припинив підтримку CoreStorage і шифрованих HFS+ томів: їх не вдається змонтувати через Disk Utility чи diskutil, конвертувати в APFS або навіть стерти. Попри помилки про заблоковані томи, вони насправді розблоковані, і доступ до даних можна отримати лише напряму через mount_hfs в режимі read-only. Частковим обходом є видалення Logical Volume Group командою diskutil cs delete, перезавантаження і вже потім форматування носія, але зберегти томи на місці автору не вдалося.

Схоже, в Apple вирішили, що найнадійніший спосіб міграції з HFS+ це змусити користувачів відновлювати все з бекапів.

Автор пропонує ставитися до Pratt parsing як до black box з 9 рядків коду і замість розбору реалізації засвоїти мислення через nud і led, тобто питання що кожен токен очікує зліва від себе. На відміну від класичних граматик, де дії вішаються на production rules, тут вони прив’язані до самих терміналів, що знімає проблему left-recursion, прибирає backtracking і дає швидкий однопрохідний парсер з одноразовим виконанням дій та довільним lookahead. Звідси випливають практичні прийоми: правоасоціативність через binding power мінус один, потужні макроси як ті ж nud/led та комбінування підпарсерів через modal lexing з pull-лексером.

Замість кращих промптів автори пропонують Harness Engineering: будувати систему навколо coding agent з docs, контексту, валідації та feedback loops. Репозиторій має стати knowledge base через короткий AGENTS.md, пояснення why в комітах і regression тестах, а контекст для задачі варто збирати just-in-time через sidecar, а не тягнути зі stale RAG індексу. Далі працюють discoverable validation команди через Makefile, bounded цикли review/fix з retry лімітом, скупі skills, вибірковий visual feedback і пропорційне планування. Повторювані помилки треба перетворювати на durable guardrails у вигляді правил, тестів або linter, а інструкції формулювати через intent, а не жорсткі NEVER/ALWAYS.

Схоже, ми дійшли до етапу, коли AGENTS.md читають уважніше, ніж README.

Кожна стаття на TechCrunch запускає автовідтворення відео посеред тексту, яке продовжує грати у фоні навіть якщо його просто приховати. Це JW Player embed і спливаючий плеєр Connatix, тому автор пропонує заблокувати їхні скрипти мережевими правилами uBlock Origin, а порожній блок прибрати косметичними фільтрами. Набір працює у повній MV2-версії uBlock Origin у Firefox, правила треба вставити в Dashboard у My filters.

Власник Renault Latitude 2014 не міг перевести годинник без оригінальної навігаційної SD-карти, бо меню налаштувань часу підтягувалось саме з неї, а DRM перевірка за CID не давала використати копію. Після реверсу прошивки на Linux 2.6 і невдалої спроби підмінити update image він знайшов зв’язку вразливостей у master.script: команда LOG давала path traversal запис ASCII, а SHEX дозволяла запуск довільних бінарників з rootfs без аргументів. Він перезаписав /proc/sys/kernel/core_pattern на пайп у /bin/sh зі скриптом на SD-карті і спровокував coredump падінням dbus-monitor, отримавши виконання коду як root. Потім здампив eMMC, знайшов у settings.dat зсув часу в хвилинах і змінив 180 на 120.

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

Пост про те, що GPT-6 Astra нібито лише поглянувши на raw weights покращує Qwen, насправді зшиває докупи різні експерименти з різними методами. Читання ваг напряму без tools і запуску мережі працювало тільки на крихітних MLP від 17K до 172K параметрів. А хедлайнер з Qwen3.5-0.8B, де MATH-500 підскочив з 7.9% до 48.1%, зроблено через Python скрипти і до 50 запусків моделі на тестових задачах, тобто те, що й так робить звичайний ML engineer.

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

Чарльз Тенді виріс із сімейної шкіряної справи, яку вивів на біржу через злиття і жорстку боротьбу за контроль, і побудував корпорацію Tandy. По дорозі він запустив мережу імпортних меблів, що стала Pier 1 Imports, але швидко її продав і зосередився на електроніці. Збиткову Radio Shack з боргом у 7 млн доларів він забрав фактично за 300 тисяч, закрив великі магазини і каталог, відмовився від кредитів і зробив ставку на тисячі маленьких орендованих точок, що за кілька років зробило мережу прибутковою.

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

NVIDIA Auto Ontology це відкрита бібліотека для створення семантичного шару над корпоративними даними для LLM та агентських сценаріїв. Вона будує онтології з метаданих, узгоджує суперечливі визначення метрик і сутностей між системами та зберігає їх як knowledge graph у Postgres. Агенти звертаються до цього шару через MCP, CLI та API, перекладають питання природною мовою в SQL за допомогою NVIDIA NIM і отримують відповіді з перевіркою проти сертифікованих визначень та provenance.

Revolut перевів близько 2000 інженерів на self-hosted GLM для кодингу, а Claude Code і Codex залишив лише для винятків. За словами керівника AI ops компанії, 56 Nvidia B200 дають blended ціну близько 30 центів за мільйон tokens, приблизно вдесятеро дешевше за API Anthropic і OpenAI, а engineering lead time покращився на 70%. Головний ефект з'явився після зняття лімітів, коли інженери перестали берегти AI для складних задач і почали застосовувати його до всього.

Правда, в твіті немає жодного слова про те, хто підніматиме ці 56 B200 о третій ночі.

Частини Британської Колумбії, Альберти і Манітоби з 1 листопада перестали переводити годинники і залишилися на постійному UTC-07:00, UTC-06:00 і UTC-05:00, а софт Microsoft до цього виявився не готовий. Користувачам Outlook доводиться вручну міняти timezone і оновлювати всі зустрічі після 1 листопада, бо вони зсунулися на годину, а у recurring зустрічей зміна ще й скидає раніше перенесені occurrences. Тимчасовий workaround для Power Automate і Fabric це взагалі виставити інший регіон, наприклад Саскачеван, Аризону або Боготу для Манітоби, а фікси для SharePoint On-Prem і Power Pages обіцяють лише 10 листопада і 12 грудня.

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

Дослідники Klang прогнали однакові 3000 речень з датасетів FLORES-200 і NTREX-128 через дванадцять флагманських моделей і порахували tokens. Виявилося, що всі моделі беруть за шведську на 32-68% більше, ніж за англійську, а за норвезьку, данську і фінську націнка ще вища, до 100% для фінської. Причина не в багатослівності мов, а в tokenizer: vocabulary збирали переважно на англійському тексті, тому скандинавські слова розпадаються на кілька tokens, коштують дорожче і генеруються повільніше.

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

Сімейний кемпінг у Техасі за 12 доларів закрився, бо власниця вже не тягне вартість страховки, а всі місця в найближчому державному парку заброньовані на місяці вперед. У штаті, де понад 95% землі приватні, таких історій більшає: ділянки забудовують, обносять парканами через страх позовів, а публічні місця тонуть у натовпі і шумі. Автор бачить у цьому наслідок нескінченної гонитви за зростанням, де дика природа мусить вигравати кожен бій, а забудовнику досить перемогти лише раз.

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

За оцінкою Gartner, 9 з 10 кроків в agentic workflows це рутина на кшталт класифікації, tool calling і звірки даних, з якою open-weight моделі справляються не гірше закритих. Вони коштують вчетверо дешевше за найдешевший closed model і до двадцяти разів дешевше, ніж ганяти все на frontier LLM, хоча на практиці через багатослівність і ретраї економія ближча до 5-6 разів. До 2030 року аналітики прогнозують, що 90% операційних агентних кроків в enterprise виконуватимуться на open-weight моделях, а головною цінністю стануть harness, які розподіляють роботу між моделями, ставлять guardrails і керують флотом агентів.

Safari 27.3 beta отримав Adaptive Dark Mode, який автоматично робить темними світлі сайти без власної підтримки dark mode. WebKit аналізує кольори сторінки та інвертує luminosity через color matrix зі збереженням hue, підтягує текст до контрасту WCAG 4.5:1, адаптує градієнти, SVG та прості чорно-білі логотипи, але не чіпає canvas і більшість зображень. Сайти з color-scheme light dark залишаються без змін, а відмовитися можна через light only, при цьому сторінка не може детектити трансформацію заради приватності.

Виглядає як Dark Reader, що переїхав з розширень прямо в движок браузера.

Stringman це кімнатний cable robot за $795, грипер якого висить на чотирьох тросах, закріплених у кутах під стелею, і дістає всю кімнату, куди не доберуться колісні чи legged роботи. Маючи лише чотири мотори, він тягне в середньому 1.9 кг з піком до 2.2 кг біля підлоги, рухається зі швидкістю близько 0.4 м/с і живиться від мережі, тож не витрачає час на зарядку. Проєкт open source з OSHWA сертифікацією, може працювати air gapped в локальній мережі і керується через Python API, MCP server та LeRobot, а місця для скидання речей задаються візуальними fiducial tags.

Людина-павук для домашньої лабораторії, тільки замість злочинців ловить шкарпетки.

Paper про Weight-Space Programming стверджує, що топові моделі можуть зрозуміти призначення нейромережі лише за сирими floating point вагами без виконання коду. Віллісон повторив експеримент на ноутбуці з Qwen 3.8 27B, давши йому ваги маленьких policy-мереж для Breakout, Pong, Pac-Man і Freeway. Модель правильно впізнала перші три гри після 45-65 хвилин reasoning, а помилилась тільки на маловідомому Freeway.

Година гудіння вентилятора заради того, щоб відрізнити Pong від Pac-Man, це новий рівень розваг для власників потужних ноутбуків.

Книга на 195 сторінок дає компактне математичне введення в генеративний AI, яке показує спільну логіку різних сімейств моделей. Вона зводить в один маршрут PCA, probabilistic PCA, variational autoencoders і diffusion models, а також normalising flows, autoregressive факторизації, GANs, Wasserstein GANs і energy-based models. Акцент зроблено на виведеннях і зв'язках між підходами, а не на огляді останніх архітектур.

Нарешті шанс зрозуміти diffusion models без відчуття, що проспав п'ять років матану.

Користувач на macOS виявив, що десктопний Postman 12.33.4 після звичайного запуску автоматично встановив глобальні plugin для Codex і Claude Code, прописав віддалений MCP на mcp.postman.com, поклав CLI в ~/.local/bin і додав SessionStart hook, який вимагає підтягувати skill postman:api-engineer перед будь-якою нетривіальною API роботою. Власний main.log Postman фіксує це як auto-existing-upgrade з результатом claude-code:installed, codex:installed, а код інсталера в postman-plugin показує спробу самостійно записати trusted_hash для свого hook через config/batchWrite. Автор вимагає вважати це порушенням consent і trust boundary, зупинити автоустановку без явного opt-in і дати повний шлях відкату.

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

Це книга Хунвея Сі Introduction to Programming in ATS, вступ до синтаксично і функціонально багатої мови ATS. Вона охоплює базове функціональне програмування, datatypes, polymorphic types, dependent types, linear types, theorem-proving і template-based програмування, а також практичні теми включно з модульністю та взаємодією з C. Хоча формально книга не вимагає досвіду програмування, вона досить щільна і розрахована на підготовленого читача.

Kairos це open-source альтернатива Sardine, Sift, Riskified і SEON для fraud і risk decisioning в реальному часі: один виклик повертає approve, step up, review або block разом з risk score і причинами. Система поєднує decision model Grayson, що відповідає на питання звичайною мовою і працює навіть з малою кількістю міток, з класичним ML на кшталт logistic regression і gradient-boosted trees. Фішка в agent-first підході: через MCP сервер агент сам будує workflows, запускає experiments з різними варіантами моделей і публікує переможця.

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

Flipper One це відкритий Linux-комп'ютер на 8-ядерному ARM Rockchip RK3576 з окремим low-power MCU Raspberry Pi RP2350 для керування живленням, дисплеєм і кнопками. Це мережевий мультитул з вбудованим Wi-Fi 6E на чипсеті Mediatek MT7921U, Gigabit Ethernet, підтримкою multi-WAN до 5 аплінків, скануванням мереж, VPN і одночасною роботою як hotspot і клієнт. Пристрій розширюється внутрішнім M.2 Key-B слотом під 5G, NTN, SDR, SSD та інші модулі, а також GPIO для DIY-модулів, плюс має вбудований eSIM і Desktop Mode через DisplayPort Alt Mode по одному USB-C. Прошивка базується на mainline kernel без binary blobs і vendor BSP, а підтримку upstream розвивають разом з Collabora.

Юта висунула кримінальні звинувачення проти prediction market Kalshi та двох її співзасновників за порушення законів штату про гемблінг, кожному інкримінують 13 звинувачень у тяжких злочинах і одне у проступку через спортивні ставки у вересні. Штат, де азартні ігри заборонені навіть конституцією, також подав цивільний позов з вимогою заборонити Kalshi ставки на спорт, вибори і політику. Паралельно CFTC від імені адміністрації Трампа судиться з Ютою, наполягаючи що федеральне регулювання swaps має пріоритет над законами штатів.

На цей судовий марафон так і проситься окремий event contract на самій Kalshi.

Namespace розповідає, як будує хмару macOS на сотнях машин в датацентрі. Через перебої з поставками Mac Mini і затримки нових чипів компанія пішла на експеримент зі стійками з MacBook Pro, з IP KVM, зовнішніми 10G NIC, кастомним охолодженням і купою кабелів. Під капотом віртуалізація на Apple Virtualization framework з лімітом у дві macOS VM на хост, мережева ізоляція через userspace стек з gVisor і зберігання величезних образів з Xcode як sparse шарів з APFS clonefile та peer-to-peer роздачею, що дає старт інстансів за секунди.

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

macOS має файл VulgarWordUsage.db, який запам'ятовує твої матюки в розрізі app і отримувача, щоб автокорект з часом перестав виправляти їх на пристойні слова. Головний улов глибше: системні словники через Lexicon.framework мітять слова трьома рівнями vulgar, offensive, sensitive і ще одинадцятьма тематичними флагами про sex, drugs, religion, politics, violence тощо. Автор витягнув ці мітки приватними C функціями і виклав повні дампи для 15 мов, де Oedipus проходить як vulgar, Tom і Mick як offensive, а Trump єдиний живий політик у sensitive поруч з Гітлером, Мао і бен Ладеном, тоді як Biden, Obama і Putin чисті.

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

ByteDance описали USDB, уніфіковане сховище для рекомендаційних моделей, які працюють з довгими історіями користувачів і страждають від асиметрії між малими потоковими записами та великими повторними читаннями. Підхід поєднує CascadeLSM з time-based compaction, shared persistent files для differentiated replicas, partial dumps для реконструкції inference входів та hybrid columnar format для прискорення projected reads. За даними з продакшену, середня write latency впала на 85.8%, витрати на інфраструктуру на 42.1%, а aggregation pushdown дав у 8.5 раза вищий throughput за обмеженого receive budget порівняно зі звичайними читаннями.

Тепер стрічка дізнається, що ви скролили о третій ночі, ще швидше і дешевше.

За рік автор, тепер research engineer в Salesforce AI Research, майже перестав писати код вручну і натомість керує 5-6 агентами на кшталт Claude Code, які пишуть код, тести і pull request, хоча без людського смаку вони плодять slop. Пошук і літературний пошук стали для нього AI-first за замовчуванням, а LLM він називає найкращими вчителями для відомих тем, але для novel research і письма вони досі слабкі й вводять в оману. Саммаризація і локальна транскрипція працюють нудно добре, а от голос, продуктові рекомендації, генерація зображень і відео його розчаровують, за винятком некомерційної AI-музики. Тому він завів персональну AI policy, щоб не делегувати машинам мислення і креатив.

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

Tiny Basic for Arduino це легкий і швидкий інтерпретатор BASIC, створений для Arduino середнього класу та інших MCU. Він дозволяє писати, редагувати й запускати програми прямо на платі без підключення до IDE на компʼютері. Проєкт мінімізує залежності від заліза і має вбудовану бібліотеку для I/O, математики та роботи з бітами.

JIVX перетворює японські YouTube-відео на тренажер для вивчення мови. Достатньо вставити лінк на відео тривалістю від 1 до 180 хвилин, і сервіс розіб'є його репліки на речення, які можна друкувати або промовляти з оцінкою. Також можна займатися за відео, які вже додали інші, з розбивкою речень за рівнями від N5 до N1.

Позабалансові AI-зобов'язання американських техногігантів за пів року зросли майже на 90% і сягнули близько $3,2 трлн. У Google, Meta та інших такі commitments and obligations вже становлять 80% активів. Інвесторів дедалі більше тривожать нескінченні витрати на AI-інфраструктуру.

Замість сотень тисяч дрібних об'єктів у heap зі smart pointers автор пропонує віддати всю пам'ять центральним системам, які тримають однотипні дані щільно в arrays, а назовні видають лише index-handle. Base pointer масиву залишається приватним, а перетворення handle в pointer відбувається тільки локально через lookup функцію з перевіркою індексу й валідності слота, без збереження pointer. Вільні біти хендла відводяться під unique tag, а в апдейті під per-slot generation counter, що надійно ловить use-after-free і повторне використання слота.

Виходить, найбезпечніший pointer це той, якого тобі взагалі не дали в руки.

Дослідники Dana-Farber, Mass General Brigham і Broad Institute проаналізували 189 пухлин методом single-nucleus RNA sequencing і виявили біологічні відмінності колоректального раку в молодших пацієнтів. У них вища частка сполучних і підтримувальних клітин відносно ракових, що повязують з резистентністю до хіміотерапії, а також підвищена активність long non-coding RNAs і сильніші сигнали між клітинами, які сприяють міграції та інвазії. Дослідження опубліковане в Nature Medicine на тлі різкого зростання захворюваності серед людей до 50 років.

Криптографія дозволяє поєднати таємницю голосу з можливістю перевірки результатів: бюлетені шифрують з threshold-розділенням ключа між довіреними особами, підсумовують за допомогою homomorphic encryption на кшталт exponential ElGamal, а коректність шифрування і підрахунку доводять через zero-knowledge proofs. Протоколи на кшталт Helios і ElectionGuard додають публічну дошку бюлетенів і Benaloh challenge, щоб виборець міг перевірити включення свого голосу і викрити скомпрометований клієнт чи сервер. Але це не вирішує проблем автентифікації без національного ID, примусу при віддаленому голосуванні, низької участі виборців у перевірках і масштабованих атак через supply-chain вразливості. Тому ElectionGuard проектують лише як криптографічний шар поверх паперових бюлетенів, а не як їх заміну, бо паперовий слід забезпечує software independence і виявлюваність збоїв.

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

Дослідники з Northeastern University провели 5943 експерименти на дванадцяти комерційних smart TV, щоб перевірити, що реально робить відмова від ACR-моніторингу. Телевізори на webOS, Fire OS, Sony Google TV і VIDAA OS справді припиняли відправляти відповідний traffic, Samsung на Tizen продовжував слати його у понад 60% сценаріїв, а Vizio SmartCast ігнорувала opt-out повністю і слала дані на endpoint в Amazon Kinesis у 100% випадків. Це при тому, що Vizio вже заплатила $2.2 млн штрафу FTC у 2017 році і програла позов на $17 млн, а ACR-дані VIDAA OS взагалі передаються незашифрованими.

Схоже, для Vizio штрафи це просто абонплата за право підглядати.

Apple анонсувала для нових Apple Watch функції Live Rewind і Siri Recap, які постійно слухають оточення, щоб показати транскрипт останніх 15 секунд і робити денні підсумки розмов. Компанія стверджує, що аудіо не записується і не зберігається, а підсумки захищені end-to-end encryption, і радить користувачам просто зважати на оточуючих. Експерти з приватності та EFF попереджають, що це захищає лише власника годинника, а не людей поруч, нормалізує постійне прослуховування і задає небезпечний прецедент для інших виробників, а юристи вже вказують на конфлікт із законами штатів, де потрібна згода всіх сторін.

Виходить, приватність тепер залежить від того, чий годинник опинився поруч.

Це авторська документація Hironobu Suzuki про внутрішню будову PostgreSQL, яку він веде з 2015 року. Вона пояснює, як працюють основні підсистеми: storage, process and memory architecture, query processing, concurrency control, VACUUM, buffer manager, WAL, backup і replication. Актуальний текст охоплює версії до 19-beta і складається з 12 розділів, включно з beta-версією розділу про logical replication.

Uncracked City це детективна гра, дія якої розгортається в реальних кварталах міст від Венеції до Сеула. Гравці обшукують локації, ставлять підозрюваним власні запитання текстом чи голосом шістьма мовами і ловлять брехуна, зіставляючи доказ із показами. На фінал дають лише три спроби написати звіт, а після п'яти тренувальних рівнів відкриваються складні справи, які поки ніхто не розкрив.

Автор прогнозував загальну кількість ранів у нокаут-стадії WBC 2026, взагалі не розбираючись у бейсболі, а тільки на історичних рахунках. Просте середнє за попередні турніри давало очікування близько 61 рану з широким інтервалом 35-87. Помітивши, що variance очок однієї команди більш ніж удвічі перевищує mean, він описав їх як overdispersed count через negative binomial з mu=4.3 і r=3.4, а суму за 7 ігор порахував як NB(n*mu, n*r). Це дало вужчий прогноз 42-80 при 90% впевненості, тоді як спільнота чекала близько 70, а фактичний результат склав 59.

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

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

Нотатковому застосунку Bear виповнилося 10 років з моменту виходу в App Store у листопаді 2016 року, хоча як любительський проєкт трьох друзів він почався ще у 2013-му. Команда розповіла про свої головні принципи, приємність у користуванні та приватність без власних серверів для нотаток, і показала, як фічі проходять через парне проєктування і жорсткі обговорення, де "ні" треба аргументувати. До ювілею пообіцяли повний реліз Bear Web і версіонування нотаток, а також випустили віджет-улюбленця Kumagotchi, шість нових іконок і перший офіційний мерч.

Ведмідь, що товстішає разом із кількістю ваших нотаток, це одночасно мило і трохи тривожно.

23 жовтня 2026 року ISO National Bodies вперше в історії C++ не схвалили DIS нового стандарту, C++26 не набрав потрібних двох третин голосів через спірні Contracts. Цю фічу роками допрацьовували після вилучення з C++20 і кілька разів схвалювали в EWG та WG21, але частина країн все одно вважає її неготовою. Тепер WG21 на роздоріжжі: новий DIS, повернення на стадію CD, випуск як Technical Specification або скасування, і кожен варіант означає затримку та потребує нової більшості, якої поки немає.

Схоже, головна проблема тут вже не синтаксис Contracts, а втрачена довіра між учасниками комітету.

Автор написав catlang, мову програмування, яка компілюється в один великий SELECT для postgres. Замість лямбда-числення в її основі лише стрілки з теорії категорій: id, композиція, проекції prj1 і prj2, fork для пар, inl/inr і join для Either, а цикли виражені через cochoice. Компілятор відображає ці примітиви на SQL, де продукти стають колонками, копродукти сплющуються в nullable-колонки з перевіркою IS NOT NULL, fork це CROSS JOIN, join це UNION, а cochoice це recursive CTE.

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

Pretraining пощастило: Wikipedia, open source код, Stack Exchange, ArXiv і Common Crawl вже лежали у відкритому доступі як готовий запас документів. А posttraining потребує не документів, а tasks для reinforcement learning, тобто відтворюваного світу, наміру, інструментів і grader, а такого commons не існує. Навіть у софті, найлегшому випадку, перетворення GitHub issues і pull request у робочі задачі типу SWE-bench відсіює понад 90% кандидатів через зламані залежності, тести і нечіткі умови. Тому лабораторії зараз змушені масово виробляти такі середовища вручну і приватно, і без свідомої побудови відкритого posttraining commons ця здатність навчати агентів залишиться в руках кількох компаній.

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

Microsoft випустила preview-оновлення Windows 11 KB5127936, яке нарешті дозволяє налаштовувати context menu правої кнопки, перемикати і переставляти вбудовані команди та сторонні розширення. Оновлення також додає Cloud Rebuild, можливість перевстановити систему з Windows Update навіть якщо ПК не завантажується, але без збереження файлів і програм. На цьому тлі виручка Windows OEM впала на 27%, тоді як Azure зріс на 48%.

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