Following
@semi.structur.esNadim Kobeissi @nadim.computer Applied cryptographer. Mainly working in the cryptography auditing industry, but sometimes venturing back into academia. https://nadim.computer
Martin Fowler @martinfowler.com Software Design Loudmouth. Works for Thoughtworks. Also hikes, watches theater, and plays modern board games. He/him. host of https://martinfowler.com
Terence Tao @teorth.bsky.social Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
Kevlin Henney @kevlin.bsky.social consultant · father · he/him · human (very) · husband · itinerant · programmer · keynote speaker · technologist · trainer · writer
Hillel is on Social Media Break @hillelwayne.com Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out July-ish) Newsletter: https://buttondown.email/hillelwayne/
Filippo Valsorda @filippo.abyssdomain.expert RC F'13, F2'17 Cryptogopher / Go cryptography maintainer Professional open source maintainer https://filippo.io / https://github.com/FiloSottile https://mkcert.dev / https://age-encryption.org https://sunlight.dev / https://filippo.io/newsletter
hikikomorphism @hikikomorphism.bsky.social haskell/rust/art/shitposting/assyrian she/her (like a ship, not like a person) blog: recursion.wtf
Bluesky @bsky.app official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app