Following — Théophile Wallez
James Hoffmann
@jameshoffmann.bsky.social
Matthew Green
@matthewdgreen.bsky.social
Lean Focused Research Organization
@lean-lang.org
Denis Merigoux
@denismerigoux.bsky.social
Marc Ilunga
@marcilu.bsky.social
Dan Jones
@danwilshirejones.bsky.social
Jonathan Protzenko
@protz.bsky.social
Richard Barnes
@ipv.sx
Doreen Riepel
@doreenriepel.bsky.social
-Boulet-
@bouletcorp.bsky.social
Peter Schwabe
@cryptojedi.bsky.social
Kien Tuong Truong
@kientuong114.bsky.social
Sabine Oechsner
@proofnerd.bsky.social
@cascremers.bsky.social
Lucas Pluvinage
@lortex.bsky.social
Théo Delemazure
@delemazuretheo.bsky.social
Paul-Nicolas Madelaine
@old.pnm.tf
Charles Lafrance
@charleslafrance.bsky.social
Corentin Wallez
@kangz.net
Real World Crypto Symposium
@rwc.iacr.org
ePrint Updates
@eprint.ing.bot
Security Cryptography Whatever
@scwpod.bsky.social
Kenny Paterson
@kennyog.bsky.social
Altis ▷
@altisplay.fr
Phoenix R&D
@phoenixrd.bsky.social
Nadim Kobeissi
@nadim.computer
Martin R. Albrecht
@malb.bsky.social
Cryspen
@cryspen.com
Franziskus
@franziskuskiefer.de
Out Of Context Assemblée Nationale
@outofcontextan.bsky.social
Randall Munroe
@xkcd.com
Tantacrul
@tantacrul.bsky.social
Michele Orrù
@tumbolia.bsky.social
depths of wikipedia
@depthsofwikipedia.bsky.social
Deirdre Connolly¹ ²
@durumcrustulum.com
Raphael Robert
@raphaelrobert.bsky.social
Sylvain Wallez
@swallez.com