💻 Представлен новый язык программирования Jo от TypeScope.
Язык использует модель capability-based programming для устранения проблемы «фонового разрешения» (ambient authority). В Jo доступ к сети или файловой системе передается явно через параметры функций, что позволяет безопасно изолировать код, сгенерированный ИИ.
🌍 Переход к capability-based системам решает проблему безопасности при использовании ИИ-агентов, позволяя запускать недоверенный код с минимальными привилегиями на уровне типа, а не контейнера.
👤 Это важный шаг к созданию безопасной среды для автономных ИИ-помощников, где ошибки модели не приведут к компрометации всей операционной системы.
Источник 1: https://jo-lang.org/blog/2026-06-04-introducing-jo.html Источник 2: https://github.com/typescope/jo