Para mim, é o mesmo efeito de veneno na agricultura. Saber dos danos não evitou a humanidade de continua usando. E usar virou vantagem competitiva mesmo que a gente saiba que o corpo humano está ingerindo substância venenosa. Perdi a fé na humanidade faz tempo. Agora to na fase da aceitação. #Luto

YouTube video by BBC World Service Inside South America's fight for a thriving planet - Global Eye, BBC World Service

Inside South America's fight for a thriving planet - Global Eye, BBC World Service

youtu.be/cj67k9eDK3E?...

🌟Maurice Ter Beek
📍 ISTI-CNR, Pisa, Italy
🔗 fmt.isti.cnr.it/~mtbeek/
🎓Research interests: Formal Methods, Model Checking Tools, Software Product Line Engineering, Service-Oriented Computing, Team Automata.

🌟 @leopoldomt.bsky.social
📍 Centro de Informática, Universidade Federal de Pernambuco, Brazil @cinufpe.bsky.social
🔗 leopoldomt.github.io
🎓 Research interests: Software Engineering, Software Product Lines and Configurable Systems, Refactoring, Formal Methods, Software Testing, and Mobile Development

Meet the scientfic program coordinators of the 28th Brazilian Symposium on Formal Methods (promoted by the Brazilian Computer Society).

🧑‍💻 The detailed program is available!
easychair.org/smart-progra...

📢 Registration is open!
lnkd.in/dwAhYj8T

#FormalMethods #Recife #Brazil

AI Regulation is Not Enough. We Need AI Morals "The challenge of our time is to keep moral intelligence in step with machine intelligence."

"Ethical due diligence should become as routine as financial due diligence. Before asking how large a technology might become, we should ask what kind of behaviour it incentivises, what dependencies it creates, and who it leaves behind." #AIEthics

time.com/7332888/we-n...

🌟 We’re proud to share that Marek Woźniak, Marshal of the #Wielkopolska Region, has granted Honorary Patronage to #REFSQ2026! 🙌

This is another important milestone on our way to creating an inspiring and international event right here in #Poznań. 💡🌍

#RequirementsEngineering #Research #Innovation

🌟Marsha Chechik is Professor and former Chair in the Department of Computer Science at the University of Toronto, where she holds Bell University Labs Chair in Software Engineering.

🎙️Her keynote will take place on December 5th.

🔗 sbmf2025.ufrpe.br

#FormalMethods #BrazilianComputerSociety

🌟Hans Vangheluwe is a Professor in the Antwerp Systems and Software Modelling (AnSyMo) group within the Computer Science Department at the University of Antwerp in Belgium.

🎙️His keynote will take place on December 4th.

🔗For more information, visit sbmf2025.ufrpe.br

#FormalMethods #Keynote #SBC

#genai #aiethics #digitalgovernance #aigovernance #copyright | Joanna Bryson This *seems* to me factually incorrect – in what sense is an image nor text "not stored" if you can in fact use a model to produce something similar enough that it would be called plagiarism? I get th...

Judges are letting AI companies get away with plagiarism.
www.linkedin.com/posts/bryson...

🌟Augusto Sampaio is a Full Professor of Software Engineering at @cinufpe in Brazil.

🎙️His keynote will take place on December 3rd.

🔗For more information, visit sbmf2025.ufrpe.br

#FormalMethods #BrazilianComputerSociety

Congresso Brasileiro de Software | LinkedIn Congresso Brasileiro de Software | 330 followers on LinkedIn. Evento para troca de experiências entre pesquisadores e profissionais sobre pesquisas e inovações em software

Se quiser saber as novidades do CBSoft 2026, que será em São Paulo, acompanhe-nos em www.linkedin.com/company/cong...
ou em www.instagram.com/congresso.cb...

Nossa página cbsoft.sbc.org.br/2026/ estará em breve no ar

OpenAI maps out the chatbot mental health crisis Millions of people are sending messages to ChatGPT each week suggesting emotional dependence or plans for self-harm, the company says. Will an updated model protect them?

"In any given week, 0.15 percent of users “indicate potentially heightened levels of emotional attachment to ChatGPT”

More than 800 million people use ChatGPT every week. That’s 1.2 million people developing a potentially unhealthy bond to a chatbot" #AIEthics

www.platformer.news/openai-menta...

SALVE ESSA POSTAGEM E VEJA A PREVISÃO ACONTECER

Nos próximos dias/meses a direita bolsonazista vai produzir um "atentado terrorista" pra inflamar as redes, a opinião pública e os EUA. Dirão que foram os "narcoterroristas" em retaliação à chacina do RJ. Não duvide que seja com a ajuda da CIA.

Vou ter que concordar com o Sarney porque o Sarney tá certo nesse caso.

Mortos na Penha: maioria tinha ficha criminal e chefiava CV fora do RJ Ao todo, 99 mortos foram identificados até o momento; 40 deles eram oriundos de outros estados e ligados ao CV

e algum desses crimes tem prescrita "pena de morte" no código penal brasileiro?

Ficha criminal vira pena de morte e consolida 'bandido bom é bandido morto'… - Veja mais em noticias.uol.com.br/colunas/leon...

Inside Israel’s deal with Google and Amazon To secure Project Nimbus, the tech giants agreed to disregard their own terms of service and tip Israel off if a foreign court demands its data.

INVESTIGATION: Inside Project Nimbus

To secure the lucrative contract, Google & Amazon agreed to secretly notify Israel if a foreign court demands its data, and disregard their own terms of service.

By Yuval Abraham

www.972mag.com/project-nimb...

@mekomit.bsky.social

The internet was made for privacy And unmade by regulators.

"The ubiquity of #surveillance in the age of encryption is a policy choice. The reason [most] companies don’t encrypt our data so that they can’t use it against us is because they don’t have to. Congress hasn’t updated American consumer #privacy law since 1988"

doctorow.medium.com/https-plural...

ICE Is Using a New Facial Recognition App to Identify People, Leaked Emails Show The new tool, called Mobile Fortify, uses the CBP system which ordinarily takes photos of people when they enter or exit the U.S., according to internal ICE emails viewed by 404 Media. Now ICE is usin...

We first revealed Mobile Fortify in June. It takes the CBP system usually used when people enter or exit the US, and puts it into an app to be used on American streets www.404media.co/ice-is-using...

Ranking member of the House Homeland Security Committee Bennie G. Thompson said in a statement “Mobile Fortify is a dangerous tool in the hands of ICE, and it puts American citizens at risk of detention and even deportation.” He also said “ICE officials have told us that an apparent biometric match by Mobile Fortify is a ‘definitive’ determination of a person’s status and that an ICE officer may ignore evidence of American citizenship—including a birth certificate—if the app says the person is an alien. ICE using a mobile biometrics app in ways its developers at CBP never intended or tested is a frightening, repugnant, and unconstitutional attack on Americans’ rights and freedoms.”

New incredible detail here: ICE says a match in its facial recognition app Mobile Fortify is a "definitive" determination of a person's status, and that this overrides birth certificates. This is an app ICE is using in the field to scan people

www.404media.co/ice-and-cbp-...

ICE and CBP Agents Are Scanning Peoples’ Faces on the Street To Verify Citizenship Videos on social media show officers from ICE and CBP using facial recognition technology on people in the field. One expert described the practice as “pure dystopian creep.”

New: Videos show ICE/CBP agents are scanning peoples' faces on the street to verify citizenship. ICE has tool to instantly look up unprecedented number of databases with just a photo

“I’m an American citizen so leave me alone”

“Alright, we just got to verify that”

www.404media.co/ice-and-cbp-...

AI systems are not being used here “despite their biases,” but because of them. We live in a time where power means the power not to care. I wrote recently on the weaponization of AI & error. www.techpolicy.press/musk-ai-and-...

🥳 Hoje tem aniversário de 7 anos do CINTIA - grupo de mulheres do Centro de Informática UFPE!

🎂 Confiram a programação! Vai ter sorteio de brindes!

🌟 Até lá!

IG do Cintia: lnkd.in/d6TusSqh

#WomenInTech #GirlPower #MulheresEmTech #MulheresEmSTEM #WomenInSTEM

Até o momento são 128 mortos, muitos com sinais óbvios de tortura e execução sumária, braços amarrados, tiros de fuzil no rosto para "estragar o velório" e dificultar o reconhecimento.

Repito se você não condena essa imagem, você não faz parte da solução, você faz parte do problema.

🌟 Meet the Workshop Co-Chairs of #REFSQ2026! Isabel Sofia Brito and Tiago Prince Sales have conducted the selection process of the workshops at #REFSQ2026 this year!

📢 Six workshops have been accepted!
Stay tuned for the CFP!

#requirementsengineering #workshops

Os MORADORES do Alemão passaram a noite inteira tirando corpos de dennteo da favela. Já são mais de 100 mortos.

Stop Shipping Irreproducible LLM Studies Guidelines from the Copenhagen Symposium, supported by the Sloan Foundation, help software engineers make LLM studies reproducible, auditable, and open.

Stop Shipping Irreproducible LLM Studies
Daniel Russo
www.linkedin.com/pulse/stop-s...

Is artificial intelligence to blame for Amazon job cuts? Amazon confirms 14,000 layoffs after CEO says AI likely to lead to job losses.

Amazon confirms 14,000 layoffs after CEO says AI likely to lead to job losses.

Record rains drive flooding in Vietnam, submerging ancient city Vietnam's weather agency has recorded its highest level of rainfall for a 24-hour period in the historic city of Hue.

Vietnam's weather agency has recorded its highest level of rainfall for a 24-hour period in the historic city of Hue.