Charles Southerland
Like most of our world, computers don't have to suck, but we must choose improvement.
Formal Methods, F(L)OSS, math memes, general nerdiness.
@m-dodds.bsky.social
Formal methods nitwit. https://mikedodds.github.io AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
@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
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@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
@hdm.io
CEO and founder of runZero.com, previously the founder and lead developer of Metasploit, a CSO, a consultant, and the head of various security research teams. Contact info, presentations, and more at https://hdm.io/
@xoxodeadbeef.bsky.social
Proud bug author at @TensTorrent. ex @Tesla @EquinixMetal, @Azure (AKS), @wpengine, @hostgator eWFtbCBsb3JkIG9mIHRoZSBrdWJlcm5ldGVzIHJlYWxt
@verygoodsoftwarenotvirus.ru
golang writer, weight lifter, friend to some, lover to most. follow me if you're not afraid of good posting https://blog.verygoodsoftwarenotvirus.ru 📍Austin, TX
@jonfisher.bsky.social
Trying to make things easier for humans to use. Tinkerer. Arts advocate. Oklahoma City, OK USA
@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
@captainyarb.com
CEO & Founder at Nodecraft - Gaming Multiplayer Startup Father, ally for women and LGBT rights, entrepreneur, software engineer, gamer, & hobbyist chef.
@austinspires.com
Internetting professionally and hobbially Supporting developers at Fastly
@the-simian.bsky.social
@noisefad.bsky.social
The REAL real Bobby Peru. No Trump voters. No DMs unless I know you.
@rockylinux.org
Rocky Linux is a community-driven Enterprise Linux distribution, for HPC, AltArch, and beyond. | 🐘 @rockylinux@fosstodon.org | 🏛️ @resf.org
@omgubuntu.co.uk
A blog about Ubuntu – est. 2009 and (somehow 🤭) still going! Follow for news, tips, cool apps, and other content about the world's most popular desktop Linux distro!
@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.bsky.social
YouTube videos about computers and the internet and stuff... Sister project to numberphile Supported by Jane Street - https://jane-st.co/computerphile
@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/
@formalmtds.bsky.social
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
@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.
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@shuntingyard.bsky.social
making software systems dependable 🦀 posts in 🇩🇪 🇫🇷 🇬🇧 DM me on bsky 💬
@dplyukhin.bsky.social
Actor/model/choreographer working on the Actor Model and Choreographic Programming > Postdoctoral researcher at SDU > Occasional cohost of Type Theory Forall > dplyukhin.github.io
@adolfont.github.io
Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil. https://adolfont.github.io Post mostly in English. #ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang). Podcaster. My podcasts: @redeemilias.bsky.social
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@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/
@taliaringer.bsky.social
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@fmasworkshop.bsky.social
Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher Skeets by Matt Luckcuck & Akhila Bairy
@quinnypig.com
Chief Cloud Economist at The Duckbill Group. he/him. Get my snarky take on AWS news: http://lastweekinaws.com/t/ Signal: 833-AWS-BILL (833-297-2455)