Let's Game It Out @letsgameitout.tv That guy on YouTube who makes those videos about doing stuff all glitchy and silly.
All me links: letsgameitout.tv
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
Gernot Heiser @microkerneldude.bsky.social Physicist by training, computer engineer by passion
Scientia (distinguished) Professor and John Lions Chair of Operating Systems at UNSW Sydney and Founding Chairman of the seL4 Foundation
FACM FIEEE FTSE FRSN ML
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@mister-morse.bsky.social @mister-morse.bsky.social 
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
CAV @confcav.bsky.social 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
HD Moore @hdm.io runZero & Metasploit
Kelsey Hightower @kelseyhightower.com Minimalist
Ryan Hartje @xoxodeadbeef.bsky.social Proud bug author at @TensTorrent. ex @Tesla @EquinixMetal, @Azure (AKS), @wpengine, @hostgator eWFtbCBsb3JkIG9mIHRoZSBrdWJlcm5ldGVzIHJlYWxt
a programmer the way a tomato is a fruit @verygoodsoftwarenotvirus.ru golang writer, weight lifter, friend to some, lover to most.
https://blog.verygoodsoftwarenotvirus.ru
📍Austin, TX
Jon Fisher @jonfisher.bsky.social OKC
J.W. Donley @jwdonley.bsky.social Writer, Editor, Graphic Designer, & Webmaster hurtling through life with devious glee
- Dark Forest Press LLC owner
- HamLit co-editor
- @HorrorTree.bsky.social crew
he/him
Jonathan Yarbor @captainyarb.com CEO & Founder at Nodecraft - Gaming Multiplayer Startup
Father, ally for women and LGBT rights, entrepreneur, software engineer, gamer, & hobbyist chef. 
Austin Spires @austinspires.com Internetting professionally and hobbially
Research at Fastly
the_simian @the-simian.bsky.social Human, we are friends now.
Fred Peterson @noisefad.bsky.social The REAL real Bobby Peru.
No Trump voters. No DMs unless I know you.
Rocky Linux @rockylinux.org Rocky Linux is a community-driven Enterprise Linux distribution, for HPC, AltArch, and beyond. | 🐘 @rockylinux@fosstodon.org | 🏛️ @resf.org
omg! ubuntu @omgubuntu.co.uk A blog about Ubuntu – est. 2009! Follow to get news, tips, cool apps, and other content about the world's most popular desktop Linux distro.
Marques Brownlee @mkbhd.com Video maker
It's FOSS @itsfoss.bsky.social Web portal focusing on Linux and Open Source.
Follow us for
- Linux and Open Source news
- Linux tips and tutorials
- Linux and geek memes
Computerphile @computerphile.bsky.social YouTube videos about computers and the internet and stuff... Sister project to numberphile
Supported by Jane Street - https://jane-st.co/computerphile
Grant Sanderson @3blue1brown.com Math videos
Formal Land @formalland.bsky.social Formal verification for everyday-life applications
We use math to ensure your code has no vulnerabilities
For Rust, Solidity, zk circuits. We use Rocq.
https://formal.land/
Formal Methods Europe @formalmtds.bsky.social Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Bryan Cantrill @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.
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Tobias Frei @shuntingyard.bsky.social Spent my professional life as an engineer, writing software and composing systems thereof. Most of my uni time was about philosophy and linguistics.
Interested in math, formal logic, computer science. And I still write code in Rust 🦀
posts in 🇩🇪 🇫🇷 🇬🇧
Dan Plyukhin @dplyukhin.bsky.social dplyukhin.github.io
Adolfo Neto @adolfoneto.elixiremfoco.com Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil.
https://adolfoneto.elixiremfoco.com/
Posts mostly in English.
#ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang).
Podcaster.
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
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/
Talia Ringer @taliaringer.bsky.social 
Hillel @hillelwayne.com Developer educator at @antithesis.com. Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com
Newsletter: https://buttondown.email/hillelwayne/
Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
Corey Quinn @quinnypig.com Snarkmonger. Chief Cloud Economist at The Duckbill Group.
he/him.
Get my opinionated take on AWS news: http://lastweekinaws.com/t/
Signal: 833-AWS-BILL (833-297-2455)