More from Розробка • Open Source

• 
  Як швидко патентувати ML-пайплайни

  Інженери зіткнулися з проблемою оформлення патентів на ML-пайплайни через жорсткі вимоги USPTO до схем. Внутрішні діаграми не підходять — патентні креслення мають бути чорно-білими, формальними та з чіткою нумерацією. Сучасні AI-інструменти, як PatentFig AI, автоматизують створення таких схем за простим описом, значно скорочуючи час на правки. Це дає змогу розробникам швидко захищати інновації та оперативно оновлювати патентні заявки.

• 
  Firefox 150: нові функції та безпека

  Вийшла версія Firefox 150 з покращеним режимом Split View, що дозволяє відкривати посилання поруч та змінювати порядок вкладок. Додано можливість копіювати кілька URL одночасно для зручнішої роботи з вкладками. Вбудований PDF-редактор тепер підтримує перестановку сторінок, їх копіювання та експорт. Для Linux користувачів з’явився виклик системної панелі емодзі через комбінацію клавіш. Впроваджено обов’язкові дозволи для доступу сайтів до локальної мережі, що підвищує безпеку браузера.

• 
  Creusot 0.11.0 — переможець VerifyThis

  Команда Creusot отримала нагороду Best Overall Team на змаганні VerifyThis 2026, підтвердивши ефективність свого інструменту для верифікації Rust-програм. Версія 0.11.0 дозволила повністю перевірити програми без спрощень, зокрема складні задачі з паралелізмом. У релізі додано нові можливості для позначення результатів у постумовах та покращено роботу з ітераторами логічних типів. Наступний реліз обіцяє ще більше інновацій.

• 
  Firefox отримав розширення WebUSB

  У браузері Firefox з’явилося нове розширення WebUSB, що дозволяє напряму взаємодіяти з USB-пристроями. Для роботи потрібно встановити розширення та додаткову програму-«native stub» на комп’ютері, підтримуються macOS, Linux і Windows. Це значно розширює можливості браузера у роботі з периферією. Надалі очікуються покращення та ширше впровадження цієї функції.

• 
  Casilda 1.2.4: нові можливості для Wayland

  Вийшла версія 1.2.4 віджета-композитора Casilda для Gtk 4 із підтримкою дробового масштабування, передачі змін розкладок клавіатури та покращеним позиціюванням спливаючих вікон. Виправлено проблеми з розмитим зображенням при дробових масштабах і некоректним розміром курсора, що робить Casilda повноцінним композитором. Оновлення також усуває витоки текстур і покращує сумісність з Vulkan. Джерельний код доступний на GitLab GNOME, а спільнота запрошує до обговорення у Matrix.

• 
  Google випустила ADK для Java 1.0

  Компанія Google офіційно представила версію 1.0 Agent Development Kit (ADK) для Java, що відкриває нові горизонти у розробці AI-агентів. У релізі з’явилася нова архітектура додатків і плагінів, підтримка зовнішніх інструментів, зокрема Google Maps і веб-резюме, а також функції управління контекстом і інтеграція з людським контролем. Важливою новинкою стала підтримка протоколу Agent2Agent для взаємодії агентів. Розробники тепер можуть створювати більш надійні та масштабовані AI-рішення на Java, використовуючи відкритий набір інструментів.

• 
  bpfvet аналізує портативність eBPF

  Інструмент bpfvet аналізує скомпільовані eBPF-об’єкти, визначаючи мінімальну версію ядра, залежності від хелперів і мап, а також проблеми з портативністю. Він працює з ELF-файлами, створеними різними мовами, і виявляє прямий доступ до структур ядра без CO-RE, що важливо для сумісності між ядрами. bpfvet має готові бінарники для різних платформ і підтримує JSON-формат для CI, що спрощує розробку та тестування eBPF-програм. Це допоможе розробникам забезпечити стабільну роботу своїх програм на різних версіях Linux.

• 
  Сучасний фронтенд: сутність чи надмірність?

  Дискусія про складність сучасного фронтенду триває: розробники розмірковують, що є суттєвим, а що — випадковим у нинішніх складних інструментах і фреймворках. Веб розвивався від простих статичних сторінок до SPA на React та Angular, де код розробника суттєво відрізняється від того, що виконується у браузері, що вимагає складних збирачів. Хоч це забезпечує швидкість і інтерактивність для користувачів, воно ускладнює роботу програмістів. Наступний крок — пошук простіших рішень, які враховують сучасні можливості браузерів.

• 
  Proxy-Pointer RAG: 100% точність без векторів

  Система Proxy-Pointer RAG досягла 100% точності у відповіді на 66 складних запитань за фінансовими звітами компаній, серед яких AMD та Boeing, без використання векторних баз даних. Використання структури документів та двоетапного пошуку з повторним ранжуванням дозволяє забезпечити точний та масштабований пошук, на відміну від традиційних методів, що розривають контекст. Це відкриває нові перспективи для корпоративних AI-рішень. Повний код системи опубліковано у відкритому доступі для подальшого розвитку.