Catala - новый доменно-специфический язык, позволяющий создавать алгоритмы на основе юридических документов, обеспечивая высокую точность соответствия между кодом и законом.
Язык построен таким образом, чтобы отражать логическую структуру закона, что делает его доступным для изучения и сертификации специалистами в области права; в нем даже есть компилятор, который генерирует PDF-файлы, удобные для чтения юристами.
Проект Catala, названный в честь Пьера Катала, пионера французского legaltech, является исследовательской инициат ивой, возглавляемой Inria, Национальным исследовательским институтом компьютерных наук Франции. Однако компилятор остается нестабильным и ограниченным по возможностям.
Разговор идет об использовании языка программирования Catala для описания законов и юридических документов, подчеркиваются его преимущества, недостатки и возможные трудности перевода английского языка в систему формальной логики.
Ведутся споры об использовании кода в качестве регулятора, о сложности правового кода, об использовании кодовых символов в правовых соглашениях, о концепции кодирования намерений в законах с помощью языков программирования.
Участники обсудили идею написания понятных юридических текстов, роль специфического языка для юридических договоров, сравнение разработки программного обеспечения с юридической системой, а также опасения по поводу выбора названия для таких языков программирования.
Petals - это платформа, позволяющая пользователям работать с большими языковыми моделями, такими как Llama 2, Falcon и BLOOM, на своих устройствах, используя GPU потребительского класса или Google Colab.
Платформа позволяет своим пользователям объединяться в сеть для обслуживания различных частей модели и адаптировать модели для решения разнообразных задач, предоставляя как API, так и гибкие возможности с помощью PyTorch и Hugging Face Transformers.
Проект Petals был отмечен на исследовательском семинаре BigScience, что свидетельствует о его значительном вкладе в область разработки языковых моделей.
В статье рассматривается возможность запуска больших языковых моделей (LLM) в домашних условиях по методу BitTorrent путем объединения вычислительных ресурсов, создания производных моделей и использования методологии эффективной тонкой настройки параметров и LoRA.
Обсуждаются трудности и затраты, связанные с обучением больших моделей, а также возможные решения, такие как водяное охлаждение и модификация старых серверных плат. Также рассматриваются такие концепции, как децентрализованные вычисления и тонкая настройка моделей.
Упоминается сервис Petals, позволяющий запускать LLM на низкоуровневых устройствах, отзывы участников о котором неоднозначны. В статье высказываются предположения о возможном использовании токенов и децентрализованных вычислений для поддержки LLM с открытым исходным кодом в будущем.
Брайан Баклю переводит игру Caves of Qud с Unity на Godot, и этот шаг получил положительную оценку благодаря удобству Godot для пользователя и преимуществам в разработке инструментов и применении 2D-графики.
Несмотря на отсутствие в Godot экосистемы магазинов и торговых площадок, аналогичной Unity, ведутся работы по исправлению этой проблемы.
Автор освещает проблемы использования масштабируемой векторной графики (SVG) в игровых движках и предлагает в качестве решения использовать библиотеки рендеринга.
В недавнем отчете Global Witness подчеркивается тревожная тенденция убийств экологических активистов - почти 2000 убийств по всему миру в период с 2012 по 2022 год, причем только в 2022 году произойдет 177 инцидентов.
Латинская Америка, особенно Колумбия, была отнесена к группе повышенного риска для экологических активистов, а в Бразилии, Мексике, Гондурасе и на Филиппинах также отмечен высокий уровень смертности. Коренные жители составили треть жертв, что подчеркивает их важнейшую роль в смягчении последствий изменения климата.
В докладе подчеркивается настоятельная необходимость защиты и оказания помощи тем, кто выступает за охрану окружающей среды.
В ходе дискуссий затрагиваются такие темы, как риски, с которыми сталкиваются экологические активисты, важнейшая роль культур коренных народов в сохранении окружающей среды, стратегии и репутация климатических активистов.
Они также рассматривают вопросы этических последствий техногенных экологических катастроф, феномена полицейского иммунитета и его влияния на уголовное правосудие, владения оружием и связанных с ним убийств, а также проблемы доверия к СМИ и пропаганды.
Застреленный сотрудниками полиции Мануэль Эстебан Паес Теран также является одной из главных тем, и в ходе бесед высказываются различные точки зрения и точки зрения, подчеркивающие противоречивость и сложность этих тем.