Formal Land
31 following
LightNews LightNews
Pratyush Mishra
@zkproofs.bsky.social
Diego Marmsoler
Diego Marmsoler
@dmarmsoler.bsky.social
Orpheus Lummis
Orpheus Lummis
@orpheuslummis.info
Érik Martin-Dorel
Érik Martin-Dorel
@erikmartindorel.bsky.social
Anshu Sharma
Anshu Sharma
@anshugsharma.myatproto.social
Mr.MoonRose
Mr.MoonRose
@mrmoonrose.bsky.social
Stig Helmer
Stig Helmer
@stighelmer.bsky.social
Jakob Homan
Jakob Homan
@jakobhoman.bsky.social
Rick Elrod
Rick Elrod
@relrod.bsky.social
Vicent
Vicent
@vbosch.bsky.social
StErMi
StErMi
@stermi.bsky.social
Abel Sen
Abel Sen
@neuroevolutus.bsky.social
int_ijk
int_ijk
@tbrunner.bsky.social
Einar Broch Johnsen
Einar Broch Johnsen
@ebjohnsen.bsky.social
Dr Oana Andrei
Dr Oana Andrei
@oanamandrei.bsky.social
AapoAlas
AapoAlas
@aapoalas.trynova.dev
Jeremy
Jeremy
@jrmyd.bsky.social
Cryptography.academy
Cryptography.academy
@cryptoacademy42.bsky.social
Yoichi Hirai
Yoichi Hirai
@pirapira.bsky.social
ProgramingIsTheFuture
ProgramingIsTheFuture
@programingisthefuture.com
Shriram Krishnamurthi
Shriram Krishnamurthi
@shriram.bsky.social
Guillaume Claret
Guillaume Claret
@guillaume-claret.bsky.social
Stéphane Caron
Stéphane Caron
@locoscaron.fosstodon.org.ap.brid.gy
Charles Southerland
Charles Southerland
@proidiot.bsky.social
Anderson Nascimento
Anderson Nascimento
@andersonc0d3.bsky.social
Jonan Scheffler 👾
Jonan Scheffler 👾
@thejonanshow.bsky.social
Jack Vanlightly
Jack Vanlightly
@vanlightly.bsky.social
Michael Trinh
Michael Trinh
@mctrinh.bsky.social
Formal Methods Europe
Formal Methods Europe
@formalmtds.bsky.social
KC Sivaramakrishnan
KC Sivaramakrishnan
@kcsrk.info
Bluesky
Bluesky
@bsky.app