Newspaper

← Назад к дайджесту
Разработка • Open Source

Casilda 1.2.4: важное обновление для Wayland

20 Апрель 2026 · 1 источники

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

Источники (1)

Casilda 1.2.4 Released Lobste.rs 20 Апр 2026, 10:24

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

  • Патентуем ML-пайплайны по правилам USPTO

    Инженеры часто сталкиваются с трудностями при патентовании машинного обучения из-за строгих требований USPTO к чертежам. Важно понимать, что привычные схемы не подходят — патентные диаграммы должны быть чёрно-белыми, формально структурированными и пронумерованными. Новые AI-инструменты, такие как PatentFig AI, позволяют автоматически создавать такие схемы из простого описания, значительно ускоряя процесс. Это открывает инженерам путь к эффективной защите своих разработок и быстрому внесению изменений в заявки.

  • Firefox 150: новые возможности и безопасность

    Вышел Firefox 150 с расширенным режимом Split View, позволяющим открывать ссылки рядом и менять порядок вкладок. Появилась функция мультивыделения вкладок для быстрого копирования ссылок. Встроенный PDF-редактор теперь поддерживает перестановку страниц, их копирование и экспорт. Для пользователей Linux добавлен вызов системной панели эмодзи по сочетанию клавиш. Также введены обязательные разрешения для доступа сайтов к локальной сети, что повышает безопасность. Обновление значительно расширяет функционал и улучшает защиту.

  • Creusot 0.11.0 — победитель VerifyThis

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

  • Firefox получил поддержку WebUSB

    В браузере Firefox появилась новая расширенная возможность — поддержка WebUSB, позволяющая напрямую взаимодействовать с USB-устройствами. Для работы требуется установка расширения и отдельной программы-«родного» модуля на компьютере, доступной для macOS, Linux и Windows. Это важный шаг к расширению функционала браузера и улучшению работы с периферией. В дальнейшем разработчики обещают доработки и расширение совместимости.

  • tRPC заменяет Apollo Federation

    Новая технология tRPC становится серьёзной альтернативой Apollo Federation, обеспечивая полную типобезопасность без необходимости в схемах и снижая количество ошибок API на 89%. Переход на tRPC позволил сократить время отклика до 28 мс и уменьшить размер клиентских пакетов на 80%, что заметно улучшило пользовательский опыт. Кроме того, отказ от генерации кода ускорил CI/CD на 40%, устранив проблемы с синхронизацией схем. Внедрение tRPC в продакшн уже меняет подходы к построению масштабируемых и надёжных API.

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

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

  • bpfvet проверит переносимость eBPF

    Инструмент bpfvet анализирует скомпилированные eBPF-объекты и сообщает минимальную версию ядра, используемые хелперы, карты и проблемы с переносимостью. Он работает с ELF-файлами, созданными на разных языках, и предупреждает о прямом доступе к структурам ядра без CO-RE, что важно для совместимости. bpfvet поддерживает все платформы и интегрируется в CI, облегчая разработчикам проверку и адаптацию eBPF-программ под разные версии ядра. Это шаг к более надежному и универсальному использованию eBPF.

  • Современный фронтенд: необходимость или излишества?

    Дискуссия о сложности современных фронтенд-технологий набирает обороты: разработчики спорят, что из текущего многообразия инструментов действительно необходимо, а что — случайное усложнение. От простых статичных страниц с HTML и CSS мы пришли к SPA на React и Angular, где исходный код сильно отличается от того, что выполняется в браузере, требуя сложных сборщиков и трансформеров. Эта сложность даёт пользователям быстрый и интерактивный опыт, но усложняет жизнь программистам. Впереди — поиск более простых подходов, учитывающих современные возможности браузеров.

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

    Новая система Proxy-Pointer RAG продемонстрировала стопроцентную точность при ответах на 66 сложных вопросов по финансовым отчетам компаний, включая AMD и Boeing, без использования векторных баз данных. За счет использования структуры документов и двухэтапного поиска с переоценкой релевантности Proxy-Pointer обеспечивает точный и масштабируемый поиск, в отличие от традиционных методов, разрывающих контекст. Это открывает новые возможности для корпоративных AI-систем. Полный код доступен в открытом доступе для дальнейших исследований.

← Назад к дайджесту