@johndcook.bsky.social
Mathematician, data privacy consultant See also @johndcook.mathstodon.xyz.ap.brid.gy
@gregegansf.bsky.social
SF writer / computer programmer Latest novel: MORPHOTROPHIC Latest collection: SLEEP AND THE SOUL Web site: http://gregegan.net Also: @gregeganSF@mathstodon.xyz
@victortaelin.bsky.social
@johnaustin.bsky.social
Founder of Pontoco and Project Lead for The Last Clockwinder. Engineer, Game Designer, Tea Lover; in no specific order. Previously: Lead XR Eng at Funomena | Research at Google Brain @kleptine on the Hellbirdsite
@q42.bsky.social
$dayjob is AWS / DevOps / infosec related Apache Software Foundation Member (part of root@ many moons ago) Free time spent on photography and cooking. @quasi42 in the twitters @q42 on Flickr.
@rtr.tombob.com
mostly music appreciation, some programming stuff here and there, a bit of systems thinking
@timoreilly.bsky.social
Founder & CEO, O'Reilly Media. Doing my best to help good futures happen.
@timbl.bsky.social
Inventor of WWW Co-founder & CTO Inrupt.com | Lead, Solidproject.org Co-founder WebFoundation.org & theODI.org Founder w3.org Follow me on Mastodon https://w3c.social/@timbl Pre-order my memoir ‘This is for Everyone’ https://linktr.ee/thisisforeveryone
@lemonodor.bsky.social
Persistent sousveiller. Walt Disney R&D Imagineer. https://heavymeta.org
@reneefrench.bsky.social
painter, animator, writer/illustrator of books http://reneefrench.tv
@swtch.com
@mattblaze.org
Scientist, safecracker, etc. McDevitt Professor of Computer Science and Law at Georgetown. So-called expert on election security and a few other things. Slow photographer. RF nerd. Occasionally blogs at https://mattblaze.org/blog
@tomduff.bsky.social
Retired computer graphics researcher Grandparent Musical tinkerer Pen plotter enthusiast @TomDuff.mastodon.social
@racket-lang.org
Racket is... * A language-oriented programming project * a family of programming languages * a native code compiler and other tools, * a diverse community 😁 Join us at https://racket.discourse.group/ https://racket-lang.org/
@mattparlmer.bsky.social
@anil.recoil.org
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk, and am also to found at @conservation.cam.ac.uk. Homepage at https://anil.recoil.org
@simonmar.bsky.social
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
@timholt.bsky.social
Northern English photo/painter chap. Loves Scones. Hates Nazis. Reels & Stories: Instagram.com/timholt
@eztuary.bsky.social
@lawrpaulson.bsky.social
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@bartoszmilewski.bsky.social
Physicist, mathematician, programmer. "The Dao of Functional Programming" Regularly updated work in progress. PDF on GitHub: https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
@dpiponi.bsky.social
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
@codyroux.bsky.social
Still ultrafinitist, but with a softer side. https://www.kleene.church/ I do the Church of Logic podcast. https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
@matthewdgreen.bsky.social
I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
@meredithmeredith.bsky.social
President of Signal, Chief Advisor to AI Now Institute
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@shriram.bsky.social
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@robpike.io
Long career as a dilettante at Bell Labs Research and Google, mostly building weird stuff no one uses, but occasionally getting it right, such as with UTF-8 and Go.
@littmath.bsky.social
Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
@jeremykun.com
Portland-based mathematician and software engineer. Building a homomorphic encryption compiler at Google. https://jeremykun.com https://pimbook.org https://pmfpbook.org https://buttondown.email/j2kun https://heir.dev
@qntm.org
Creator of There Is No Antimemetics Division (https://qntm.org/antimemetics), "Lena" (https://qntm.org/mmacevedo), Absurdle, HATETRIS and many other cool things (https://qntm.org)
@eff.org
We're the Electronic Frontier Foundation. We're a nonprofit that fights for your privacy and free speech online. Find all of EFF's social media accounts at https://eff.org/social. https://eff.org
@timsweeneyepic.bsky.social
@bcantrill.bsky.social
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
@lcamtuf.coredump.cx
Substack: http://lcamtuf.substack.com/archive Homepage: http://lcamtuf.coredump.cx
@motd.rusher.com
A bot that posts a "message of the day" taken from @jackrusher.com's curated fortune file.
@jackrusher.com
Ex-Bell Labs/AT&T Research'er making art & technology in Berlin. 🐘@jack@jackrusher.com 🐦@jackrusher