which is why i am so glad that there's a research group under IRTF called "Human Rights Protocol Considerations". Mathematics doesn't automatically take the side of the people. We must carefully consider how the system's authority is distributed!

RT @zooko: Announcing hashsma.sh! 𝟘 𝟙 ❒ 🔨 Strengthen cryptography with AI. Cryptography—both current and post-quantum crypto…

Lean's dependent types are a very powerful language feature, possibly one of the most under rated.

Mr. Spock on Star Trek uses the word "logic" incorrectly; Star Trek is responsible for multiple generations grownups using the word incorrectly. If you want to use the word logic, perhaps actually study logic first; programming doesn't count as studying logic.

I'm in Utrecht now for one week attending a Lean theorem prover summer school class. Where should I eat dinner?

Can we get the IETF TLS WG chairs to help out with the U.S. elections? Allow votes only from pre-existing landowners plus the list of people who the chairs declare have demonstrated enough expertise to vote? Also, make sure to hide that list: web.archive.org/web/20260719…

SimpleX Chat can't and won't scan private chats, ever. It's not just a promise, it's a technical impossibility.

Yesterday was a sad day for the privacy of citizens in the European Union given the extension of #ChatControl 1.0, allowing for voluntary scanning of private communications. In light of yesterday's vote, we wanted to remind you that: Chat Control 1.0 is different from Chat Control 2.0 in that providers (like us at Tuta) are not forced to backdoor their end-to-end encryption for surveillance. At Tuta, if Chat Control 2.0 is passed we have two options: to move out of the EU or sue and fight it. As our CEO, Matthias Pfau has stated, we would sue and fight for people's privacy. Because for us, undermining end-to-end encryption is not an option. We will continue to say no to #ChatControl and fight for everyone's right to privacy. ✊🏻❤️🔒 Find out more about Voluntary Chat Control here 👉 tuta.com/blog/voluntary-scan…

What should I do if chatcontrol wins the vote?

The EU Parliament REJECTED Chat Control, but now they are forcing us to vote it AGAIN to revive it. What kind of democracy is this if we're forced to vote on the same issue over and over until they get the result they want? My colleague @MarketkaG explained the situation very well in plenary👇🏻

The EU Parliament rejected mass scanning of private messages in March. Yesterday, it approved an urgent procedure to revive the measure, setting up a decisive vote on Thursday, the last sitting day before summer recess. At second reading, the text passes automatically unless 361 MEPs vote against it, and some MEPs have already left for the Summer break... reclaimthenet.org/eu-parliam…

.@chaosupdates The EU funded our mixnet; tomorrow it votes to outlaw it. My open letter to the European Parliament cites the 800+ scientists' letter alongside the @EU_Commission's own evaluation: katzenpost.network/pages/cha… #ChatControl

.@netzpolitik_org Story: the EU Commission funded the Katzenpost mixnet (PANORAMIX, Horizon 2020, €4.5M). Tomorrow's #ChatControl vote outlaws it by construction. Open letter to all 720 MEPs, fully sourced: katzenpost.network/pages/cha…

.@mer__edith The EU paid €4.5M to seed a strong-anonymity alternative to Tor, then left it to volunteers for seven years. Tomorrow it votes on outlawing it. My open letter to the European Parliament: katzenpost.network/pages/cha… #ChatControl

.@MarketkaG Thank you for fighting the Rule 170 fast-track. I founded Katzenpost, the anonymous communications network the EU itself funded through PANORAMIX. Tonight I sent all 720 MEPs this letter ahead of tomorrow's #ChatControl vote: katzenpost.network/pages/cha…

.@echo_pbreyer @edri The EU funded our anonymity network through Horizon 2020. Tomorrow's #ChatControl vote would outlaw it by construction. My open letter to all 720 MEPs, sent tonight: katzenpost.network/pages/cha…

Europe did the science. Europe wrote the cheque. Europe is now preparing to make the result illegal. Vote to reject tomorrow, and be present: under this procedure an absent MEP counts in favour. #ChatControl #privacy #encryption

2015–2019: the EU funded PANORAMIX (Horizon 2020 grant 653497) to build communications that protect metadata: who talks to whom, when, how often. That project produced Katzenpost. Our paper states it, citing the Commission's own records: arxiv.org/abs/2501.02933 #ChatControl

2015–2019: the EU funded PANORAMIX (Horizon 2020 grant 653497) to build communications that protect metadata: who talks to whom, when, how often. That project produced Katzenpost. The grant number is in our paper's acknowledgments: arxiv.org/abs/2501.02933 #ChatControl

The EU Commission paid €4.5 million to fund our anonymous communications network. Tomorrow @Europarl_EN votes to outlaw it. Tonight I sent this open letter to all 720 MEPs. #ChatControl katzenpost.network/pages/cha…

The EU Commission paid €4.5M to fund our anonymous communications network. Tomorrow the European Parliament votes to outlaw it. I sent this open letter to all 720 MEPs tonight. katzenpost.network/pages/cha…