Alcides Fonseca.AI & Programming Languages researcher
40.197958, -8.408312

Making intelligent software
more reliable.

I work on the intersection of AI, Software Engineering and Programming Languages. Currently, I am applying Formal Methods to Agents, towards AI Safety.

Program synthesisLiquid typesReliable AIGuardrailsEvals

Estes católicos devem estar doidos

Webster Cook participou numa missa no campus da universidade no dia 29 de Junho. Depois de receber a hóstia, Cook, que fora à missa com um amigo não católico, em vez de a consumir imediatamente decidiu mostrá-la ao amigo que continuava sentado e nunca vira uma. Ainda não tinha dado três passos, quando foi agarrado e uma senhora lhe tentou abrir a mão à força. O jovem não gostou da violência e intimidação física que se seguiu e resolveu levar a hóstia para casa e devolvê-la apenas depois de receber um pedido de desculpas da igreja pelo sucedido.

Caiu o Carmo e a Trindade na comunidade católica norte-americana com este «crime de ódio» como nunca se viu, o jovem foi repetidamente ameaçado de morte, recebeu uma quantidade assombrosa de «hate mail», mesmo depois de se ter assustado com as proporções que o incidente assumiu e ter devolvido a hóstia «raptada» (sem pedido de desculpas).

Bill Donohue, o presidente da Liga Católica, não se conformou com a devolução do «refém» e organizou imediatamente uma campanha nacional contra o estudante que tinha cometido algo tão abominável, exigindo consequências para o acto que incluem a expulsão de Cook da Universidade.

Ler o artigo completo no De Rerum Natura