Андрій Севастьянов пояснює, як математичні доведення можна записати у вигляді коду в мові програмування Lean 4.

У статті про те, чому мова для цього не може бути Т'юрінг-повною, що таке структурна рекурсія та залежні типи і як на практиці працює ізоморфізм Каррі — Говарда.

👉 https://dou.ua/goto/6jKN

Андрій Курдюмов розповідає, як звичайний файл prn.ap раптом уперся в легасі Windows - Git for Windows відмовився його індексувати через зарезервоване ім’я PRN.

У статті автор розбирається, звідки взялося це обмеження, а у підсумку показує, як локально змінити поведінку Git і таки клонувати Linux-репозиторій на Windows.

👉 https://dou.ua/goto/EWBW

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

Що скажете про такий підхід?
👉 https://dou.ua/goto/q5cQ

Денис Макогон розбирає, чому напряму поєднати Java з C++ складніше, ніж здається, де закінчуються можливості FFM API та jextract і навіщо між ними потрібен C ABI.

У статті автор на прикладах пояснює роботу з opaque handles, reinterpret_cast та C-адаптерами.

👉 https://dou.ua/goto/lMzH

Створити Agent Skill неважко, складніше зробити, щоб агент викликав його на правильний запит, промовчав на схожий та дав кращий результат, ніж без скілів.

Максим Даниленко зробив великий практичний гайд із створення Agent Skill: від мінімального SKILL.md і вибору між постійними інструкціями, Skill та MCP до тестування activation, A/B-evals, командного поширення та перевірки сторонніх Skills.

📌 https://dou.ua/goto/GmV5

Данило Іванов написав власну мову програмування Oberih, де таймаути, ретраї, fallback та інші механізми відмовостійкості вбудовані прямо в синтаксис.

Під капотом власний парсер, байткод, VM на Rust, типізація, конкурентність, LSP для VS Code та механізм Shared Budget для ланцюжків викликів між сервісами.

👉 https://dou.ua/goto/hXuG

Хочете спробувати Java, але поки не готові налаштовувати все на комп’ютері?

У новому випуску рубрики розповідаємо про курс Codecademy, де можна безкоштовно проходити уроки й писати код просто в браузері.

👉 https://dou.ua/goto/W3Hf

Маєте якісь цікаві ресурси, якими ви готові поділитися зі спільнотою? Заповнюйте форму, не тримайте їх в секреті 😎

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

У дописі читайте про PowerTrace на Python і FastAPI, історія споживання, двозонний тариф, аналіз аномалій, Health Score та підтримка різних Tuya-пристроїв через YAML-профілі.

👉 https://dou.ua/goto/XZ7S

Михайло Климнюк ділиться досвідом переходу від аналітики в Google Таблицях до власного Data Lakehouse без дорогих ліцензій. У статті — архітектура на базі MinIO, Iceberg, Nessie та Dremio, кейси відновлення даних і труднощі, з якими команда зіткнулася під час налаштування оркестрації через Dagster.

👉 https://dou.ua/goto/edvx

Катерина Грицаєнко підготувала Java-квіз для початківців, щоб ви могли перевірити свої знання Java Essentials.

Проходьте квіз, діліться результатами в коментарях і пишіть, як вам такий формат та чи варто зробити цю рубрику регулярною.
👉 https://dou.ua/goto/vKWc

Ігор Маринич, Senior React Native у SoftServe, створив KindMorsel і паралельно перебудував під AI-агентів сам процес розробки. У своїй статті він розповідає про агентний SDLC, розподіл задач між агентами, рев’ю й тестами, роботу з RAG та про те, чому навіть «зелений» код усе одно треба перевіряти на реальному iPhone.

👉 https://dou.ua/goto/EJwn

Ордер уже виконаний на Binance, але Python-процес упав та не встиг це зафіксувати.

Денис Туровський розбирає на реальному TESTNET-кейсі, що робити після перезапуску, чому retry може погіршити ситуацію та де закінчуються гарантії transactional outbox, Saga, Temporal та idempotency key.

👉 https://dou.ua/goto/Z1js

Учасник форуму з ніком flyman продовжує цикл про бюджетну віддалену телеметрію і цього разу збирає Meshtastic інтернет-шлюз всього за $3.23 на ESP32-C3 та SX1262.

У своєму дописі він показує підключення компонентів, прошивку, налаштування, а також розбирає проблеми з bootloop, BLE, пам’яттю та стабільністю роботи.

👉 https://dou.ua/goto/z0wJ

Ігор Каленюк розповідає, як скарга дружини на довгу ретуш стала поштовхом до створення українського AI-редактора для фотографів.

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

👉 https://dou.ua/goto/9ThV

Володимир Кубицький разом з командою The Fourth Law виклали у відкритий доступ базову програму підготовки для ML/CV Engineer. У добірці рекомендують тільки те, що колись проходили самі.

👉 https://dou.ua/goto/UnDR

Microsoft оновила WSL 3.0 і зробила Linux-контейнери повноцінною частиною середовища. Тепер ними можна керувати напряму через WSL без окремого Docker Desktop, а серед інших змін є швидший доступ до файлів Windows через virtiofs, нова мережева модель, робота з GPU та корпоративне керування через Defender і Intune.

Детальніше про головні й другорядні зміни та нюанси нового релізу читайте на форумі DOU.

Що станеться з вашим сайтом, якщо ляже дата-центр, а разом із ним DNS, пошта й бекапи?

Богдан Хомин, засновник OLBO, розповідає, як команда переносила DNS на Cloudflare, де найчастіше виникають помилки та як розвести інфраструктуру так, щоб одна точка відмови не поклала все одразу.

👉 https://dou.ua/goto/MEX2

AI може швидко писати автотести, але так само швидко додавати хардкод, зайві таймаути, слабкі assertions і залежності між сценаріями.

Віталій Михайлюк ділиться сімома правилами, які допомагають налаштувати AI-агента під реальні вимоги QA-команди, та показує, як оформити їх у skill для Playwright, щоб отримувати стабільніші й підтримувані тести.

👉 https://dou.ua/goto/R3VH

Микита Скрипченко змусив українськомовну модель MamayLM працювати на iPhone повністю офлайн, без сервера та підписки.

Автор розповідає, як переніс її на Apple Neural Engine через ANEMLL/Core ML, про проблеми конвертації, запуск на iPhone 16 Pro та порівнює ANE з GPU-варіантами за latency, пам’яттю та енергією.

👉 https://dou.ua/goto/8sgV

Останнім часом здається, що сил вивозити вже просто немає.

Дуже хочемо вас підтримати, тому 5 жовтня, о 19:30 проведемо новий DOU Live разом із психологинею Анастасією Філімоновою.

Обговоримо, як допомогти собі та іншим, коли саму причину стресу прибрати неможливо, а також:

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

Також відповімо на ваші питання у прямому етері — спитати можна у чаті під час стріма або анонімно, заповнивши форму: https://dou.ua/goto/iFnA 

Приходьте на стрім — будемо разом шукати способи зробити цей час хоча б трохи легшим 🧡

Антон Шумейко у своїй статті пояснює, що насправді означає відповідати за AI-систему в production. На двох реальних кейсах він показує, чому самих evals і логів недостатньо, як шукати регресії, що має бути в trace, як безпечно міняти моделі та чому рахувати варто не ціну виклику, а вартість успішної задачі.

👉 https://dou.ua/goto/JXP2