Following
@alexanderviand.bsky.socialscottbez1 @scottbez1.bsky.social Software engineer, hardware tinkerer, big fan of open source electronics. https://github.com/scottbez1 https://bezeklabs.etsy.com
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Quang Dao @quangvdao.bsky.social PhD student at CMU. Interested in cryptography and formal verification
Real World Crypto Symposium @rwc.iacr.org The official Real World Cryptography Bluesky feed. Follow us for news of upcoming events.
crypto_doodles @cryptodoodles.bsky.social drawing cryptographers, one talk at a time
Deirdre Connolly¹ ² @durumcrustulum.com 🜗 🝒 🝲 crypto as in 'cryptography' 🝳 🝡 🜖 ¹ isogenist, co-host SCWpod ² https://durumcrustulum.com, https://www.youtube.com/@durumcrustulum