Autor: Vox Leone

Programador, Desenvolvedor, Analista de Sistemas, trabalhando (e estudando) na intersecção da Análise/Ciência de Dados, Aprendizado de Máquina e Segurança.
Publicado em in Catala, Programação

Catala: Uma Linguagem de Programação para o Mundo Jurídico

Um interessante trabalho com este nome foi pré-publicado no site ArXiv no dia 4 de março último [dia em que o blog nasceu], apresentando a linguagem de programação Catala. Segundo seus criadores “é uma linguagem adaptada para programação sócio-fiscal-legislativa; uma linguagem que imita a estrutura lógica da lei”. A estrutura lógica da linguagem foi formalizada pela Professora Sarah Lawsky em seu artigo “Uma Lógica para Estatutos”. Apresentamos o resumo do artigo do ArXiv e os comentários do blog a respeito.

Catala: A Programming Language for the Law
DENIS MERIGOUX, Inria, France
NICOLAS CHATAING, Inria ENS Paris, France
JONATHAN PROTZENKO, Microsoft Research, USA

Resumo

A lei em geral sustenta a sociedade moderna, codificando e governando muitos aspectos da vida diária dos cidadãos. Muitas vezes, a lei está sujeita a interpretação, debate e contestação em vários tribunais e jurisdições. Mas em algumas outras áreas, o direito deixa pouco espaço para interpretação e visa essencialmente descrever com rigor um cálculo, um procedimento de decisão ou, simplesmente, um algoritmo. Infelizmente, a prosa sempre foi uma ferramenta lamentavelmente inadequada para o trabalho. A falta de formalismo deixa espaço para ambiguidades; a estrutura dos estatutos legais, com muitos parágrafos e subseções espalhados por várias páginas, torna difícil calcular o resultado pretendido do algoritmo subjacente a um determinado texto; e, como acontece com um software crítico mal especificado, o uso de linguagem informal deixa os casos mais difíceis sem solução.

Apresentamos Catala, uma nova linguagem de programação que projetamos especificamente para permitir uma tradução direta e sistemática da lei estatutária em uma implementação executável. Catala tem como objetivo reunir advogados e programadores através de um meio compartilhado, onde juntos eles possam entender, editar e evoluir, preenchendo uma lacuna que muitas vezes resulta em implementações dramaticamente incorretas da lei.

Implementamos um compilador para Catala e provamos a exatidão de suas etapas principais de compilação usando o assistente de prova F *. Avaliamos Catala em vários textos legais – que são algoritmos disfarçados, notadamente a seção 121 do imposto de renda federal dos Estados Unidos e os benefícios familiares bizantinos da França; ao fazer isso, descobrimos um “bug” na implementação oficial da lei . Observamos, como consequência do processo de formalização da linguagem, que o uso da Catala permite ricas interações entre advogados e programadores, levando a uma maior compreensão da intenção legislativa original, enquanto produz uma especificação executável “correta-por-construção”, reutilizável por um ecossistema de software maior.

Link para o trabalho na íntegra

Minhas considerações

Sarah B. Lawski. Professor of Law
Associate Dean of Academic Programs – Northwestern-Pritzker School of Law (autora do trabalho “Uma Lógica para Estatutos“).

Voltando aqui para o home office, eu diria, em minha modesta opinião, que o fato de uma lei ser internamente consistente e livre de lacunas não significa necessariamente que ela seja uma boa lei. Uma abordagem algorítmica para a criação de tais procedimentos corre o risco de se tornar muito cientificista e automática [daí autoritária], de modo que podemos acabar com um grande corpo de leis que não pode ser questionado “porque foi ‘provado’ que está correto”. Lembro-me de uma observação que [o cientista da computação e matemático] Donald Knuth fez a respeito de um certo trecho de código. Era mais ou menos assim: “Cuidado ao usar isto; eu apenas provei que está correto, mas não tentei executá-lo”.

Por outro lado, o resumo do trabalho menciona que eles já descobriram um “bug” em uma lei ativa ao reescrevê-la em sua linguagem computacional. Portanto, essa pode ser uma ferramenta extremamente útil para encontrar casos extremos e brechas na legislação. E novamente, como o resumo menciona, para minha tranquilidade, o projeto se destina a leis que devem ser interpretadas 100% literalmente como um algoritmo. Essas leis existem e são exatamente aquelas que deveriam ser absolutamente consistentes.

Vou dar um exemplo de um campo em que, imagino, a lei e os contratos devem ser interpretados 100% literalmente como um algoritmo: finanças estruturadas. O prospecto de um título estruturado, por exemplo um título hipotecário, consiste normalmente de cem ou mais páginas de um texto jurídico muito denso, que foi trabalhado intensamente por advogados e banqueiros altamente especializados durante meses. Sua intenção é criar, digamos, uma empresa, de propósito específico, com regras rígidas sobre como operar até o último centavo, e discrição zero. Isso permite que os investidores (em teoria) entendam como será o desempenho do título.

Na literatura introdutória à análise de crédito estruturado, que tenho estudado, um dos autores diz que nunca leu um prospecto para um título estruturado que não contivesse erros de redação. Esse é um tipo de erro que não pode ser encontrado por um sistema formal determinístico, como a máquina de Turing de nossos computadores.

Eu concordo com o sentimento, no que se refere aos erros. De fato, os engenheiros têm a capacidade de automatizar alguns problemas muito complexos, mas sempre haverá uma classe de problemas além da automação, simulação, análise, etc. Temos apenas que aceitar que a única maneira de resolvê-los é com trabalho lento, difícil e sujeito a erros. Algumas coisas são simplesmente complexas demais para se fazer [note que estamos falando de computação clássica].

Essa é uma novidade sofisticada da qual se espera que ajude a evitar erros, reduzir custos do sistema jurídico, aumentar a consistência, etc. Tenho a impressão, porém, que ela será aplicada às leis existentes de forma mais geral do que o resumo parece sugerir.

Novas leis serão feitas com esse novo fator em mente, aumentando a aplicação da ideia, independentemente de as novas leis serem ou não interpretáveis ​​literalmente. Catala provavelmente não causará uma revolução jurídica amanhã, mas espero que possa ser o início de uma lenta reforma em direção à precisão linguística e à compatibilidade com as máquinas na legislação do futuro.

Post Scriptum

Um texto sobre linguagem de programação não poderia estar completo sem um exemplo da sintaxe. Pensei em dar uma mostra interessante e bastante genérica de como a Catala poderia ser implementada. Isso motivou uma visita ao wiki para pesquisar algum exemplo histórico de dispositivo legal. O que descobri não podia ser mais a propósito: o código de Ur-Nammu [ver DuckDulckGo ou Google], a mais antiga peça de legislação que se conhece. Escolhi como exemplo o artigo 14, que me parece bem em linha com os mores de nosso tempo, e que dispõe basicamente:

Se um homem acusou a esposa de um homem de adultério, e a provação do rio provar sua inocência, então o homem que a acusou deve pagar um terço de uma mina de prata.

Código de Ur-Nammu, art. 14

Eis a justiça em ação. Se ela se afogar, ela é culpada. Se ela sobreviver, alguém receberá 1/3 de uma mina de prata. O rei Ur-Nammu é vago aqui quanto a quem fica com o dinheiro. Provavelmente o marido.

Como poderíamos codificar isso em Catala? Vou começar, e quem quiser pode contribuir nos comentários:

declaration structure Pessoa:
    data id content integer

  declaration structure Periodo:
    data inicio content date
    data fim content date

  declaration structure CasalCasado:
    data adulterio_data content date
    data marido content Pessoa
    data mulher content Pessoa
   
  declaration structure AcusacaoDeAdulterio:
    data casal1 content CasalCasado
    data acusador content Pessoa
    data adulterio_data content Periodo
   
  declaration structure Rio
    data id content integer
 
  declaration structure ProvacaoPelaAgua:
    data acusado content Pessoa
    data rio1 content Rio
    data data_da_provacao content Periodo

  declaration scope LeiDeUrNammu:
    context requisitos_atendem condicao
    context casados_atendem condicao
    context acusado_enquanto_casado_atende condicao
    context provado_pela_água_atende condicao

Conceito da Linguagem (Segundo os criadores, no GitHub)

Catala é uma linguagem adaptada para a programação sócio-fiscal ancorada na legislação. Ao anotar cada linha do texto legislativo com seu significado em termos de código, pode-se derivar uma implementação dos complexos mecanismos sócio-fiscais que apresentam um alto nível de segurança quanto à fidelidade do código-lei.

Concretamente, primeiro você deve reunir todas as leis, ordens executivas, casos anteriores, etc. que contenham informações sobre o mecanismo sócio-fiscal que você deseja implementar. Em seguida, você pode prosseguir para anotar o texto artigo por artigo, em seu editor de texto favorito:

Depois que seu código estiver completo e testado, você pode usar o compilador Catala para produzir uma versão PDF de sua implementação legível por advogado. A linguagem Catala foi especialmente desenvolvida em colaboração com profissionais do direito para garantir que o código possa ser revisado e certificado como correto pelos especialistas de domínio, que neste caso são advogados e não programadores.

Captura de uma tela com uma rotina em Catala
Publicado em in Ciência, Mudanças Climáticas

Sem Paris: Risco de Degelo Antártico Descontrolado

Como dizem por aí, e a maioria diz que a maioria diz, o mundo corre um risco crescente de desencadear um aumento acelerado e potencialmente incontrolável do nível do mar a partir do derretimento do manto de gelo da Antártica, se as emissões de gases de efeito estufa não forem rigorosamente reduzidas. No entanto, esse destino pode ser evitado se as metas do Acordo de Paris forem cumpridas, de acordo com dois novos estudos publicados nesta quarta-feira (05/05).

Plataforma de gelo se parte no Mar de Weddel, Antártica, formando um cânion de 100 m de altura e largura crescente.

Está em jogo a viabilidade de megacidades costeiras como Xangai, Manila e Nova York, bem como de nações inteiras como as Maldivas. A gravidade do aumento do nível do mar depende muito do ritmo e da extensão do derretimento das duas maiores massas de gelo do mundo: Antártica e Groenlândia.

O Acordo de Paris, alcançado em 2015 depois de muitas negociações, prevê limitar o aquecimento adicional do planeta a “bem abaixo” de 2°C e que os países se esforcem para manter o aquecimento em 2100 a não mais que 1,5°C acima dos níveis pré-industriais.

Mas o globo já aqueceu cerca de 1,2°C em comparação com a era pré-industrial, e as promessas modestas dos países em Paris, até agora, nos colocam em curso para cerca de 3°C de aquecimento até 2100.

Já há evidências de que o aquecimento está desestabilizando partes da Antártica. As plataformas de gelo flutuantes que sustentam partes do manto de gelo continental da Antártica Ocidental estão se afinando à medida que a água quente do oceano se esgueira por baixo, enquanto as altas temperaturas do ar as corroem por cima. À medida que as massas de gelo terrestre perdem o apoio desse gelo oceânico, elas aceleram o fluxo do interior para o mar, como se removêssemos o calço de uma porta.

O climatologista Rob DeConto, da Universidade de Massachusetts em Amherst – autor de um dos novos estudos, bem como outros cientistas, mostraram que há também a possibilidade de que enormes penhascos de gelo, maciços e instáveis, ​​possam se formar na borda das geleiras – e entrar em colapso repentino.

Geleira derrete na Antártica. Em vermelho, o derretimento mais intenso

Os estudos, ambos publicados na revista Nature, mostram que as taxas futuras de aumento do nível do mar estão intimamente ligadas à rapidez [ou falta de] com que as emissões de gases de efeito estufa serão reduzidas no curto prazo.

Ambos os trabalhos concordam que se o aquecimento se limitar às metas de Paris – uma grande incógnita, dadas as tendências recentes de emissões – o aumento do nível do mar na Antártica continuará no mesmo ritmo de hoje até 2100.

Nessa altura, o continente terá contribuído com cerca de nove centímetros para o aumento global do nível do mar.

Contudo, se o aquecimento seguir o cenário de 3°C ou mais, a elevação do nível do mar pode começar a acelerar irreversivelmente logo em 2060, mostra o trabalho liderado pelo DeConto, e atingir 15 a 34 centímetros, em 2100.

Magnitudes muito maiores de aumento do nível do mar ocorreriam após 2100, da ordem de vários metros, se as emissões continuassem altas até o próximo século, mostra o estudo. “Esse é um tipo de mudança ambiental catastrófica, que vai alterar totalmente o mundo”, disse DeConto.

DeConto e seus colegas usaram centenas de simulações do comportamento do manto de gelo em modelos de computador, para recriar perdas de gelo e elevação do nível do mar (históricas e recentes) e fazer projeções futuras.

Realmente não estamos encontrando nos dados nenhuma maneira de desacelerar as coisas, depois que a camada de gelo começar a derreter rapidamente

Os pesquisadores descartaram as projeções inconsistentes com observações e dados históricos. Eles também incorporaram 16 anos de imagens de satélite detalhadas, para ajudar a tornar a modelagem o mais precisa possível. Nas simulações, eles limitaram os parâmetros de instabilidade dos penhascos de gelo ao que é realmente observado nas geleiras na Groenlândia. Contudo, DeConto observou que essa instabilidade continua sendo um fator – ainda desconhecido – que pode acelerar dramaticamente a perda de gelo da Antártica.

O outro estudo, liderado por Tamsin Edwards do Kings College no Reino Unido, analisou a perda de gelo terrestre em todo o mundo e descobriu que limitar o aquecimento global a 1,5°C cortaria pela metade a contribuição do gelo terrestre para o aumento do nível do mar em comparação com o ritmo atual.

O estudo conduzido por Edwards não inclui a plataforma glacial oceânica, nem as instabilidades dos penhascos de gelo – que podem aumentar drasticamente o derretimento da Antártica. Ele adverte que a perda de gelo daquele continente pode estar sendo até cinco vezes maior do que a registrada, o que aumentaria a contribuição para o aumento do nível do mar para até meio metro em 2100.

Devido em grande parte à instabilidade das plataformas de gelo e à baixa altitude das áreas do interior da Antártica ocidental, essa parte da camada de gelo constitui um dos muitos – e temidos – “pontos de inflexão” das mudanças climáticas. “Realmente não estamos encontrando nenhuma maneira de desacelerar as coisas, depois que a camada de gelo começar a derreter rapidamente”, disse DeConto.

DeConto e seus colegas descobriram que o degelo descontrolado ocorreria mesmo se tecnologias para descarbonizar a atmosfera – que ainda estão em sua infância – fossem empregadas no final deste século.

“Este estudo é um lembrete gritante de que são necessários cortes profundos e sustentados nas emissões de gases de efeito estufa”, diz a co-autora do estudo Andrea Dutton, da Universidade de Wisconsin-Madison.

Dutton observou que a taxa de aumento do nível do mar pode saltar rápida e acentuadamente, incluindo no futuro próximo entre 2050 e 2070, se as emissões permanecerem altas, anulando os esforços dos residentes das regiões costeiras para lidar com o aumento das inundações.

Conclusão: os novos estudos mostram que limitar o aquecimento global por meio de cortes de emissões agora evita efeitos dispendiosos e disruptivos no futuro.

Publicado em in Internet, Presença Remota

O Trabalho Remoto Veio Para Ficar (e isso é bom)

Até o presente momento, o escritório do futuro se parece muito com o escritório que você deixou há muitos meses e não o vê desde então. A maioria das pessoas que conseguiram trabalhar em casa durante a pandemia não voltou para o escritório e não quer voltar até que haja vacinação em massa.

Não está claro quando, ou se algum dia – o que é precisamente o ponto deste post – os escritórios retornarão ao nível anterior de atividade. Até o último mês de março pouco menos de 15% dos trabalhadores de escritório haviam retornado à cidade de Nova York, o maior mercado de escritórios dos Estados Unidos. Nas grandes cidades daquele grande país, as taxas de ocupação de prédios comerciais estão oscilando em torno de 25% em média, já que muitos trabalhadores permanecem presos no limbo. Ainda não é seguro retornar à capacidade total e não está claro se escritórios operando em capacidade parcial são uma solução melhor do que pessoas trabalhando em casa.

O aluguel de imóveis também diminuiu rapidamente, já que os trabalhadores administrativos / criativos passaram a trabalhar em suas salas de estar, varandas e dormitórios. Os Leviatãs da tecnologia, como Facebook e Microsoft estão oferecendo aos funcionários a oportunidade de trabalhar remotamente para sempre. Enquanto isso, empresas com menos experiência digital estão avaliando o futuro de seus imóveis e a localização de seus funcionários.

Todo o panorama do trabalho de escritório mudou, mas os próprios espaços físicos de trabalho ainda precisam mudar muito. A planta aberta ainda predomina na paisagem do escritório, e robôs exterminadores de germes ainda pertencem aos sonhos dos bloguistas tecno-científicos. Em vez disso, para estimular a volta dos trabalhadores aos escritórios, muitos empregadores adotaram uma série de pequenas precauções para torná-los mais seguros – ou para dar a aparência de segurança – mas a maioria adiou grandes e dispendiosas alterações em suas instalações até que haja mais certeza sobre a questão da imunização, o que em última análise irá definir o futuro do escritório como o conhecemos. Podemos dizer que, se depender do estudo da Universidade de Chicago do qual traduzimos o resumo abaixo, esse futuro nunca esteve tão ameaçado.

* * *

Por Que Trabalhar em Casa Vai Pegar

Jose Maria Barrero, Nicholas Bloom, Steven J. Davis

Resumo

A COVID-19 levou a um experimento social em massa sobre trabalhar em casa (TEC). Pesquisamos mais de 30.000 americanos nas várias ondas da doença, para investigar se o TEC vai durar e por quê. Nossos dados dizem que, após o fim da pandemia, 20% dos dias de trabalho completos serão executados de casa, em comparação com apenas 5% antes. Desenvolvemos evidências sobre cinco razões para esta grande mudança: experiências de home office melhores do que a esperada; novos investimentos em capital físico e humano que permitem o trabalho em casa; estigma muito reduzido associado ao trabalho em casa; preocupações persistentes sobre multidões e riscos de contágio e um surto de inovações tecnológicas possibilitadas pela pandemia que agora suportam o home office.

Também usamos os dados da nossa pesquisa para projetar três consequências: Primeiro, os funcionários desfrutarão de grandes benefícios com mais trabalho remoto, especialmente aqueles com rendimentos mais altos. Em segundo lugar, a mudança para TEC reduzirá diretamente os gastos nos grandes centros das cidades em pelo menos 5 a 10% em relação à situação pré-pandêmica. Terceiro, nossos dados sobre o planejamento do empregador e a produtividade relativa do trabalho em casa implicam em um aumento de 5% na produtividade na economia pós-pandemia devido a re-arranjos otimizados de trabalho. Apenas um quinto desse ganho de produtividade vai aparecer nas métricas de produtividade convencionais, porque elas não capturam a economia de tempo possibilitada por menos deslocamento físico.

Na íntegra em bfi.uchicago.edu, incorporada abaixo.

Why Working From Home Will Stick
Publicado em in Internet, Mídias Sociais

Facebook Pede Que Usuários do iOS Permitam Rastreamento (para permanecer grátis)

Em uma tentativa de combater o novo recurso de privacidade App Tracking Transparency da Apple, o Facebook está insistindo para que os usuários continuem a permitir que o gigante da tecnologia rastreie o uso do aplicativo, alertando que essa é a única maneira de manter os serviços “gratuitos”.

O site MacRumors dá conta de que o Facebook e o Instagram começaram a enviar mensagens notificando usuários do iOS 14.5 de que eles devem obrigatoriamente ativar o rastreamento no dispositivo, se quiserem ajudar a manter o Facebook e o Instagram “gratuitos”.

A Apple lançou recentemente seu novo recurso de privacidade, a ATT – App Tracking Transparency [Transparência no Rastreamento de Applicativo], como parte da atualização mais recente do iOS 14.5 para iPhones e iPads. A atualização agora exigirá que os aplicativos mostrem aos usuários um prompt solicitando seu consentimento para rastreá-los em outros aplicativos e sites.

Uma grande parte do modelo de negócios do Facebook é baseada na venda de anúncios em seus aplicativos e serviços. Os clientes pagantes podem usar as ferramentas de publicidade fornecidas pelo Facebook para alcançar pessoas ou obter dados demográficos específicos. No entanto, com o lançamento do iOS 14.5, os usuários podem optar por cancelar o rastreamento de suas atividades. Consequentemente, o Facebook terá acesso a menos dados para usar na segmentação de seus anúncios personalizados.

A atualização do iOS foi lançada ao público na semana passada e, desde então, mais aplicativos estão começando a exibir o prompt da ATT aos usuários. Um usuário do Twitter, Ashkan Soltani, foi o primeiro a observar que o Facebook atualizou seu prompt para incluir um aviso dizendo “Ajude a manter o Facebook gratuito”. Isso muda radicalmente a posição clássica do Facebook (“sempre será gratuito”). Muitos observadores na Internet vêem o movimento como uma “tática do medo” por parte da rede social. Ao mesmo tempo, fornece uma indicação indireta de que a política de privacidade da Apple é de fato a mais robusta do mercado, já que incomoda tanto o conglomerado de Zuckerberg.

Em uma postagem de blog atualizada recentemente, o Facebook chama o prompt de “tela educacional” que “ajudará as pessoas a tomar uma decisão informada sobre como suas informações são usadas”. O Instagram, que é propriedade do Facebook, também mostrará um aviso semelhante aos usuários.

A postagem do blog do Facebook diz:

Como a Apple afirmou que é permitido fornecer contexto adicional [aos usuários], mostraremos uma tela educacional antes de apresentar a solicitação da Apple, para ajudar as pessoas a tomar uma decisão informada sobre como suas informações serão usadas. Essa tela fornece detalhes adicionais sobre como usamos os dados para anúncios personalizados, bem como as maneiras como limitamos o uso de atividades que outros aplicativos e sites nos enviam se as pessoas não ativarem esta configuração do dispositivo. Nossa tela também permite que as pessoas saibam que estão vendo o prompt da Apple devido aos requisitos da Apple para iOS 14.5.

O Facebook planeja lançar o prompt com a notificação para mais usuários nos próximos dias e semanas.

Publicado em in Internet, Mídias Sociais

Futebol Inglês Faz Boicote às Mídias Sociais Neste Fim de Semana

Equipes e organizações de futebol inglesas estão desativando suas contas do Facebook, Twitter e Instagram para este fim de semana como parte de um apagão massivo de mídias sociais para defender melhores políticas em relação à discriminação e abuso que jogadores e membros de clubes recebem nessas plataformas.

O futebol inglês se unirá para um boicote às redes sociais das 15h00 de sexta-feira, 30 de abril às 23h59, de segunda-feira, 3 de maio, em resposta ao abuso discriminatório incessante recebido online por jogadores e outras pessoas ligadas ao esporte.

https://t.co/GYTAuWAEgN pic.twitter.com/dNLuv62nw5 – Porta-voz FA (@FAspokesperson) 24 de abril de 2021

Os grupos que participarão do apagão incluem a Premier League, a English Football League, a Professional Footballers ’Association, a Football Association, a League Managers Association, a Football Supporters’ Association e mais. Os clubes que fazem parte da Premier League, EFL, Barclays FA Women’s Super League e Women’s Championship vão fechar seus canais sociais no fim de semana como parte do protesto.

O apagão ocorre depois que várias organizações de futebol inglesas se uniram em fevereiro para solicitar mudanças ao CEO do Facebook, Mark Zuckerberg, e ao CEO do Twitter, Jack Dorsey, em uma carta aberta solicitando que as empresas tomassem medidas mais firmes contra comentários discriminatórios e racistas.

Estamos desativando nossos canais de mídia social a partir das 15h de sexta-feira, 30 de abril, até as 23h59 de segunda-feira, 3 de maio, em resposta ao abuso on-line incessante. #Enough | #StopOnlineAbuse pic.twitter.com/toiIg3FfWW

Raheem Sterling (@sterling7) 30 de abril de 2021

Especificamente, os grupos de futebol defendem quatro melhorias: que as postagens sejam bloqueadas ou filtradas se contiverem material racista ou discriminatório; que as postagens abusivas sejam removidas por meio de “medidas robustas, transparentes e rápidas”; que haja processos de verificação aprimorados para permitir que a polícia identifique usuários e impeça que postadores abusivos façam novas contas; e que as plataformas trabalhem em estreita colaboração com as polícias para identificar pessoas que postam conteúdo discriminatório nos casos que infringem a lei.

As ligas esperam que o boicote deste fim de semana fortaleça esse movimento, observando que, embora tenha havido progresso, jogadores, times e outros membros do mundo do futebol inglês ainda sentem que há muito mais que o Facebook e o Twitter poderiam fazer para ajudar a impedir o abuso na Internet.