This user hasn't set any names or pronouns yet.
This user hasn't set any names or pronouns yet.
People Mike Dodds follows on Bluesky
Peter O'Hearn
@peterohearn.bsky.social
Orpheus Lummis
@orpheuslummis.info
Hazel Weakly
@hazelweakly.me
@smithdtyler.bsky.social
Gernot Heiser
@microkerneldude.bsky.social
Lean Focused Research Organization
@lean-lang.org
George A. Constantinides
@gconstantinides.bsky.social
Patrick Shafto
@patrickshafto.bsky.social
Galois
@galoisinc.bsky.social
Rawane
@ra1issa.bsky.social
Anders Møller
@andersmoeller.bsky.social
Richard Jones
@profrejones.bsky.social
KC Sivaramakrishnan
@kcsrk.info
Caterina Urban
@caterinaurban.bsky.social
Matthew Parkinson
@matt-parkinson.bsky.social
Shriram Krishnamurthi
@shriram.bsky.social
Laurence Tratt
@ltratt.bsky.social
Robes
@robes1974.bsky.social
Toby Murray
@tobycmurray.bsky.social
@ccadar.bsky.social
Eric Eide
@ericeide.bsky.social
Terence Tao
@teorth.bsky.social
Harry Goldstein
@harrisongoldste.in
Loris D'Antoni
@lorisdanto.bsky.social
Hillel
@hillelwayne.com
Yaron Minsky
@yminsky.bsky.social
Alexandra Silva
@xanovsky.bsky.social
Dr. Claire Le Goues
@clegoues.bsky.social
Tiago
@tiferrei.com
Aws Albarghouthi
@awsto.bsky.social
AI + FM papers
@ai-fm-papers.bsky.social
Hila Peleg
@hilacodes.bsky.social
Somesh Jha
@someshjha.bsky.social
Swarat Chaudhuri
@swarat.bsky.social
Isil Dillig
@idillig.bsky.social
plaidfinch
@plaidfinch.net
Joe Cutler
@alphaconvert.bsky.social
Sam Tobin-Hochstadt
@samth.bsky.social
acfoltzer
@acfoltzer.net
Ron Garcia
@rg9119.bsky.social
Andres Löh
@kosmikus.bsky.social
Sam Westrick
@shwestrick.bsky.social
John Wickerson
@wicko3.bsky.social
Jason Reich
@jasonreich.bsky.social
Dominic Orchard
@dorchard.bsky.social
Olivier
@oliviersb.bsky.social
Chris Poskitt
@chrisposkitt.bsky.social
Edward Kmett
@kmett.ai
Kristopher Micinski
@krismicinski.bsky.social
Nate Foster
@natefoster.bsky.social