Leonardo Passos

Ph.D, Senior Engineer Researcher at Quantstamp. Ideas and posts reflect my own personal thoughts.

[Martin De Luca @emd_worldwide]

Since February 2025, Brazilian authorities have been claiming they were ready to defend Justice Alexandre de Moraes in the Rumble/Trump Media case in the United States.

The AGU said it would act, that it was coordinating with U.S. counsel and preparing filings. Then the case advanced for 460 days and nobody showed up in court.

Instead, Brazil’s institutions went to extraordinary lengths to successfully prevent ordinary service of process through the Hague Convention. And now, after a U.S. federal judge authorized email service, a collection of Brazilian authorities are suddenly calling this a diplomatic crisis.

Why did it have to come to this?

If Brazil’s position is that Justice Moraes acted lawfully, within his authority, and in compliance with both U.S. and Brazilian law, as well as international treaties, the path is simply to appear in U.S. court and say so.

What is harder to explain is why announce for fifteen months that Brazil would defend Moraes, then decline to appear when the defense was actually required, and now treat a court authorized summons as an international diplomatic incident?

Helpful timeline of the facts

Brazilian outlets reported as early as February 21, 2025 that the AGU would defend Moraes in the Rumble/Trump Media case. A few days later, on February 25, 2025, the AGU itself published that it “will act” in the case and that the defense would be handled in partnership with an international law firm authorized to practice before U.S. courts. It also said that, at the STF’s request, AGU had already begun arrangements for legal action. https://t.co/4au9Oor1SV

Then, on June 6, 2025, UOL reported that AGU had instructed its office in the United States to monitor the new Rumble/Trump Media process and that the AGU “should present a formal manifestation to the American court if the process advances.”
https://t.co/nMTLFWYdLf

On July 8, 2025, SBT reported that AGU was preparing “defense drafts” in case it decided to act officially on behalf of Brazil, and noted that once Moraes was officially notified he would have 21 days to respond or seek dismissal.
https://t.co/CGIvoSoJKQ

Yesterday, it was widely reported that the STF is now discussing with AGU, the Ministry of Justice and the Ministry of Foreign Affairs how to react to the email service, including possible diplomatic instruments. https://t.co/gOlWoio3fy

[OpenZeppelin @OpenZeppelin]

https://t.co/yW00RmRBZQ

[Zircuit @Zircuit]

Zircuit Finance is now live.

Institutional-grade yield. Transparent structure. Security-first design.

Targeting 8–11% APR with no deposit minimums and 0% management fee.

[Leonardo Passos @lnrdpss]

@LulaOficial Pare de ser vítima e foque no problema, ao invés de procurar culpados por seus erros sucessivos. O país merece mais!

[Leonardo Passos @lnrdpss]

@MaElviraSalazar @SecRubio Thank you!!!

[Quantstamp @Quantstamp]

Looking for Senior #Rust Engineers!

Quantstamp is a thriving and remote-first company with unbeatable perks. Join us and help shape the future of web3.

More: https://t.co/rk6rlgrno1 🛡️

[Leonardo Passos @lnrdpss]

@CityKitchener How can we? The most beautiful & main park in town is taken by the homeless.

[Leonardo Passos @lnrdpss]

@GimraMalapas @RituSha39860887 @AirCanada @AClostmyluggage I contacted the Aircanada customer service of the country I was in; did it 3 times. The third one was the one that actually fixed things.

[Leonardo Passos @lnrdpss]

@AirCanada @AClostmyluggage 3 weeks and counting. Where is my luggage? Zero customer service!!! #lostluggage #aircanada #fail

[Leonardo Passos @lnrdpss]

@GimraMalapas @RituSha39860887 @AirCanada @AClostmyluggage It updated once (after a few days), but then it stayed the same for 2.5 weeks until I got the luggage back.

[Leonardo Passos @lnrdpss]

@GimraMalapas @RituSha39860887 @AirCanada @AClostmyluggage Yes, after 3 weeks I finally got them

[Leonardo Passos @lnrdpss]

@AirCanada Where the hell is my luggage? Missed since July 18th!!!

[Leonardo Passos @lnrdpss]

@AirCanada Already did and nothing new came out of the conversation. Still missing my luggage!

[Leonardo Passos @lnrdpss]

@AirCanada lost my luggage and almost 1 week after no sign of getting it back. Why this company is even allowed to operate given all the issues and complaints it has?

[Air Canada @AirCanada]

@lnrdpss Hello Leonardo, we apologize for the delay of your bag. Pls DM us your delayed baggage claim number (XXXAC12345) and last name on file, so we could better follow up from here. /Mary Ann

[Leonardo Passos @lnrdpss]

@TDBank_US TD, a bank that holds you money and does not let you move funds internationally. Great!

[Leonardo Passos @lnrdpss]

@bitbuy Disabling deposit/withdrawals when encouraging users to become gold members feels like a trap! Not cool guys :(

[Leonardo Passos @lnrdpss]

@AndrzejWasowski I miss Borland :'(

[Leonardo Passos @lnrdpss]

We are hiring!!! Fully remote positions + unmatched perks. Helps us shape the future of crypto and make a real impact in the world: https://t.co/6Ak4wsq9kg

[SCRF @SCRForum]

SCRF Researcher @lnrdpss breaks down “Dissecting Tendermint” - Yackolley Amoussou-Guenou, @anto_delpozzo, Maria Potop-Butucaru, Sara Tucci-Piergiovanni (@CEA_List) in which the authors explore whether leading Proof of Stake consensus protocol @Tendermint_Core is consensus correct