Tech companies are stealing our books, music and films for AI. It’s brazen theft and must be stopped | Anna Funder and Julia Powles If we don’t refuse and resist, not just our culture but our democracy will be irrevocably diminished

“Why would you work if your work can be stolen, degraded, stripped of your association, and made instantly and universally available for free?”

#GenAI #AI #LLLMs #Copyrights #PerilsofAI

www.theguardian.com/commentisfre...

Readings shared May 5, 2025 The readings shared in Bluesky on 5 May 2025 are Compiling Haskell into Lean: A common abstract syntax for Haskell and interactive theorem provers. ~ Talitha Holcombe. #Haskell #FunctionalProgramming

Readings shared May 5, 2025. jaalonso.github.io/vestigium/po... #ChatGPT #CommonLisp #FunctionalProgramming #Haskell #ITP #LLLms #LeanProver #Logic

Avaliando a habilidade do ChatGPT de realizar provas de dedução natural em lógica proposicional e lógica de predicados. ~ Francisco Leonardo Batista Martins et als. journals-sol.sbc.org.br/index.php/rb... #LLLms #ChatGPT #Logic

TU/e Joins OpenEuroLLM to shape Europe’s AI Future We are proud to be a key partner in OpenEuroLLM, an ambitious European initiative to develop open-source large language models (LLMs) that align with Europe’s values and technological priorities.

@tueindhoven.bsky.social says "We are proud to be a key partner in OpenEuroLLM, an ambitious European initiative to develop open-source large language models (LLMs) that align with Europe’s values and technological priorities."
www.tue.nl/en/news-and-...

#ai #lllms #eurocentric