Be_the_change

[Inforpress @InforpressCVP]

Livro defende oficialização do crioulo cabo-verdiano como instrumento de justiça social - https://t.co/hWlAy71cG8

[Lula @LulaOficial]

Tá sabendo da novidade? O MEC Idiomas está no ar! 🧑‍🏫

[Saman Habibi Esfahani @Saman_Habibi_E]

For those interested in AI’s role in mathematics research: Harvard CMSA’s “First Proof, Second Batch” project is going to rigorously grade AI-produced solutions and present the outcomes in two webinars.

Here is the introductory video:
https://t.co/syFg6dBEX4

[Abakcus @abakcus]

Today I learned that the Spanish company Arbore is taking inspiration from M.C. Escher's tessellated lizards for their floor designs.

[Alex Kontorovich @AlexKontorovich]

Panel Series: The Proof in the Code

In celebration of the release of The Proof in the Code, @KSHartnett 's new book on the development of @leanprover and Mathlib, there's a two-part online panel series coming up. Everyone is welcome to join; the registration links are below.

The Mathematicians. Thu, Jun 11, 2026, 1:00 PM Johan Commelin, Kevin Buzzard, and Alex Kontorovich join Kevin Hartnett to discuss what it means to formalize mathematics in Lean, and how computer verification is changing the way mathematicians collaborate, build trust, and decide what counts as proof.

The Builders. Fri, Jun 12, 2026, 1:00 PM @Leonard41111588, Sebastian Ullrich, and Jeremy Avigad join Kevin Hartnett to talk about Lean from the inside: its origins, its design, and where it's headed.

[山谷剛史 アジア中国ITライター＆異国飯 @YamayaT]

外骨格ロボットでよく歩けるようになったおじいさんおばあさん。ハイアール製

[Daniel Oliveira @danielolivalx]

Do PM que vai criar um canal de "bufaria" sobre apoios sociais.

[fcancio @fcancio]

mas quer fazer passar uma lei cria um gabinete especial para receber denuncias contra pobres. bravo

[María A. @zarandillo]

"If I were the minister of culture for the world, I would make every student wiser by requiring them to travel to five continents before the age of 18."

Marjane Satrapi.

[Filipa Pinto @filipagpinto]

Montenegro vai ser 1 governante q vai bater inúmeros records: Passos teve 3 greves gerais; Montenegro, em meio ano, já leva com duas. E Portugal é 1 dos países europeus c menos greves. Só há greve quando é grave, sr PM. Meta o Pacote Laboral no lixo. Respeite os trabalhadores.

[Ção _Amaro. A água é um bem escasso! A Ética tb ! @conceicao_amaro]

@mblopes1966 @onetodomoleiro Houvesse sentido de Cidadania, este homem já tinha voltado para casa há muito tempo.
Só faz o que permitimos que faça !

[Manuel Barbosa @mblopes1966]

O LM sabe que a divulgação dos dados da Spinumviva aclara ainda mais a índole trapaceira dele, e tenta por todos os meios impedir a sua exposição. Mas o pior é que parece ter a seu lado, neste propósito, os média e a justiça: uns e outros fazem de conta, e todos ajudam à festa.

[Gianluca Costantini ★ @channeldraw]

You’ll always be special to me.

[Daniela @danielafcr_back]

Não há um canal de denúncia para isto?

[Be_the_change @GroundlessHope]

@ComMtPrazer "Nem todos têm avenças" 🎯

[Fernando Barreto @Fer1945Barreto]

@ComMtPrazer @Manu1503 Em 4 palavrinhas disseste tudo
" Nem todos têm Avenças"
Podes acrescentar, "
...do Manel Violas and friends "

[Katia P Afonso @ComMtPrazer]

O luís declina portugueses de bem como portugueses q querem trabalhar.

Expliquem ao luís q todos os q vivem do seu trabalho, querem trabalhar. A greve não é feita por mandriões, é feita por quem, querendo trabalhar, sabe q trab sem direitos é escravatura.

Nem todos têm avenças

[Narges Mohammadi | نرگس محمدی @nargesfnd]

We are deeply saddened by the passing of Marjane Satrapi, the acclaimed Franco-Iranian artist, filmmaker, and author of the internationally celebrated graphic novel Persepolis who died at the age of 56.

Marjane Satrapi was a fearless voice for feminism, human rights, and freedom. Through her work and public engagement, she consistently advocated for women’s rights, standing in solidarity with the people of Iran and amplifying the message of the Woman, Life, Freedom movement on the global stage.

According to a statement from her family, Marjane Satrapi “died of sadness” a little more than a year after the passing of her husband, Mattias Ripa, a producer, actor, and screenwriter, who died on April 8, 2025.

Marjane Satrapi leaves behind a powerful cultural, artistic, and moral legacy. Her courage will continue to resonate far beyond her lifetime.

Narges Foundation
4 Jun 2026

#MarjanSatrapi

[Expresso @expresso]

Montenegro tenta, de novo, travar divulgação de dados da Spinumviva https://t.co/jAnaj3xNYd

[José Maria @jose_9maria]

+ este pacote laboral representa um completo retrocesso para a sociedade portuguesa, para a nossa economia, para a competitividade das empresas portuguesas, e para a inovação.

E é só. Boa greve geral. Apanhem-me no piquete.