Solderlocks @solderlocks.bsky.social Serial pursuer of insurmountable hardware and software problems, armed primarily with unwarranted optimism.
https://github.com/solderlocks
Brian Slesinsky @skybrian.bsky.social Retired software engineer, amateur accordionist. Other accounts:
https://mastodon.social/@skybrian
https://tildes.net/user/skybrian
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Bhargav Kulkarni @bhargavkk.tngl.sh PhD Student @ University of Utah
probably Gamin'
bhargavkk.com
Shubham Thakur @shbhmt.bsky.social Software Engineer, Student, Poet
MatrixMantis @matrixmantis.bsky.social I'm just a bug in the code.
@etalesheaf.bsky.social @etalesheaf.bsky.social 
Bogdan @booogdan.bsky.social Cooking apps @ boogdan.com
@93032902.bsky.social @93032902.bsky.social 
@virtue-carrot.bsky.social @virtue-carrot.bsky.social 
David @david-dallas.bsky.social Software developer. Mainly on here for foundations/philosophy of software, and general leftist stuff
Vojimir Golem @vojko.bsky.social 
@osaidkhan.bsky.social @osaidkhan.bsky.social 
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
@raymono.bsky.social @raymono.bsky.social - P Bruno @poorlydefinedbr.bsky.social https://poorlydefinedbehaviour.github.io/
https://github.com/poorlydefinedbehaviour/
Interested in: Lean4, TLA+, Rust, Go distributed systems and a few other things
@smithdtyler.bsky.social @smithdtyler.bsky.social smithdtyler.com
@ftria.bsky.social @ftria.bsky.social 
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
Agent Shell @agentsh.bsky.social In the galaxy I come from, code quality is the law of the land and OOP simply doesn’t exist.
I live and breathe distributed systems and Rust.
And yes, I have a soft spot for ’90s cinema.
Opinions are my own.
Magnus Jonnerby @mjonnerby.bsky.social 
@dorascott96.bsky.social @dorascott96.bsky.social 
Sky - dirix.ai @dirix-ai.bsky.social Building an End-to-End Film, TV, Music video and YouTube series making app
Peter O'Hearn @peterohearn.bsky.social Researcher at Meta (FAIR) & Prof at UCL.
Working on AI, code and reasoning.
Separation logic, Incorrectness logic, Infer. Gödel Prize. Royal Society.
Aaron Eline @aaroneline.bsky.social 
Karthik Gurumoorthy @karthikg.in Software, Dogs, Coffee, Chess, Cricket
Beatrix 🏳️⚧️ @beatrix.bsky.social insatiably curious
functional programmer
cyborg philosopher queen
liberal wonk
please try to be kind to others and yourself
Somerville, MA
@jhjackyt.bsky.social @jhjackyt.bsky.social 
@platelkevin.bsky.social @platelkevin.bsky.social 
StepBroBD @stepbrobd.com F/KC1VZR
AS10779/AS18932
https://stepbrobd.com
https://github.com/stepbrobd
https://youtube.com/@stepbrobd
Muhammad Hanif Jakhrani @mdhanifjakhrani.bsky.social 👨🏻🎓🇺🇳🇵🇰
|Journalist, Human Rights Activist
|Director News & OSR Head SLT News®
|UN, IHRM, Metro1 News
|Central RTJ Media Team Committee & President RTJ Distt Jacobabad
|Journalism,B.com🎓
#Honey #HJ56
@daniel-amaral.bsky.social @daniel-amaral.bsky.social - W Wimius @wimius.bsky.social
@leogmd.bsky.social @leogmd.bsky.social Dev - Python ContractMe: pragmatic runtime checks and test generation
https://gitlab.com/leogermond/contractme
@rshbhprsd.bsky.social @rshbhprsd.bsky.social 
@nickterhorst.bsky.social @nickterhorst.bsky.social 
Michael Thomas @enetsee.bsky.social PL enthusiast & professional checker of the types
Henry Huck @henryhuck.bsky.social Engineering team lead @mistralai.bsky.social, formerly SE @jitter.video. Girl dad 3x
Orpheus Lummis @orpheuslummis.info Advancing AI safety through convenings, coordination, software, analysis
Founder of HΩ (https://horizonomega.org), based in Montréal
int_ijk @tbrunner.bsky.social irl i provide care to dependent adults and read algebra, logic, & code.
berkeley, maine, ithaca, eugene. nominal vet (usnr '71-73), nps, hac, sri alum
email: tbrunner@uoregon.edu
commandeer
pronouns: thee/thou
#mathsky #autism
Transitional Fossil @transitfossil.bsky.social retired mechanical engineer and computer scientist. avid swimmer. amateur classical guitar player. atheist. liberal. feminist. anti-fascist. never trump.
Dipesh @dipeshhh.bsky.social Interested in Programming Languages and Systems. 
Benno Stein @bennoste.in bennostein.org
xav @xavxav.bsky.social @xldenis on the other one
phd in making programs less wrong 
Carlo A. Furia @bugcounting.net Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
Fredrik Dahlgren @fegge.bsky.social Cryptography and static analysis @ Trail of Bits
Avishek ghosh @avishekcolours.bsky.social 
@streamlight.bsky.social @streamlight.bsky.social 
Diego Marmsoler @dmarmsoler.bsky.social Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
Rawane @ra1issa.bsky.social I work in cryptography and privacy. Im currently at Galois, inc.
James Curbo @curbo.org 👨💻 Cyber researcher at JHU Applied Physics Lab
📐 Doctor of Engineering, JHU Whiting School of Engineering (space cyber)
🔭 Amateur astronomer
🕹️ Video game connoisseur
📚 Math/science/history nerd, married to a geologist
✈️ USAF vet
https://curbo.space/- Z Zehra C. @zehrac1.bsky.social Human | Personal Account.
Th. Ma. @thierry.marianne.io 
Kelly Shortridge @shortridge.bsky.social software resilience, cybersecurity, complex systems | chief product officer @fastly.com | nyc
“In the information society, nobody thinks. We expected to banish paper, but we actually banished thought.”
kellyshortridge.com
@swagitda_ on Twitter
Hans Yu @u49n7nox.bsky.social From fluid mechanics to software and data. Enthusiastic about maths, functional programming and distributed systems.
Luiz Aoqui @luiz.aoqui.dev Software Engineer @oxide.computer 🇧🇷🇨🇦
Prev.: IBM, HashiCorp Nomad, Loophole Labs
Bram Geron @bram.xyz Rust, product. Nushell&jujutsu fanboi. Live in 🐻 Berlin, building an API for APIs at @directus.io . Opinions my own.
Used to do research on programming languages. Genocide is wrong.
@bgeron on other networks.
Humberto Ortiz-Zuazaga @humbertoortiz.bsky.social Programmer-Archaeologist
David Moon @dm0ney.bsky.social PhD UMich • building http://tylr.fun http://hazel.org • dmoon.info
David Mazarro @davidmazarro.com Software developer in love with types and functional programming, videogame enthusiast, and frustrated musician. I also love cooking! | ENG/ESP/日本語まだ学んでる…
Ethan Myers @ethanmye-rs.bsky.social My personal views, not that of my employer or any other affiliations.
https://ethan.id
Martin Kleppmann @martin.kleppmann.com Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
Samuel Fortier-Galarneau @samuelg.bsky.social Staff Engineer. Interested in JavaScript, Go, Python, Ruby, Rust, web development, DevOps, books, games, and hiking. (Taking a break from social media)
@jhemann.bsky.social @jhemann.bsky.social 
Kyle Galloway @imyahuckleberry.bsky.social He/Him - Husband - Dad x5 - DevSecOps Practitioner - "Let's find a better way" sayer - shit post liker - Part-time chaos gremlin - Part-time Corpo-bullshit translator
Andrew Lilley Brinker @alilleybrinker.com memory safety / Rust, #jj-vcs, urbanism, and more.
🧔🏼♂️ general words: alilleybrinker.com
🦀 rust words: possiblerust.com
Developer Security @ Anthropic (opinions posted are my own)
he/him
skyking @jkachmar.com sounding rockets & bad computer programming
formerly Groq, WeWork, NASA Wallops, among others
Hazel Weakly @hazelweakly.me I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.
hachyderm.io/@hazelweakly
@bkarel.bsky.social @bkarel.bsky.social 
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
Achim D. Brucker @adbrucker.bsky.social Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
Junrui Liu @junrui-liu.bsky.social Incoming Assistant Prof of CS @ Cal Poly. Interested in programming languages, synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
@lmstr.bsky.social @lmstr.bsky.social lemmster.de
@lemmster, @lmstr, or @lemmy elsewhere 
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
@hannelita.bsky.social @hannelita.bsky.social 
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
@bijkerhans.bsky.social @bijkerhans.bsky.social 
Gaurav Parthasarathy @gauravpartha.bsky.social 
@azhardesai.bsky.social @azhardesai.bsky.social 
Ms. Kathy Reid (she/her) @kathyreid.au #PhD researcher at #ANU Cybernetics, investigating bias in #speech and #voice #tech, with a focus on #data & #ML. Leads R&D at @mozdatacollective.bsky.social
Ex NVIDIA, Mycroft AI, @linuxaustralia.bsky.social, Deakin Uni.
https://linktr.ee/kathyreid
Charles Southerland @proidiot.bsky.social 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.
José Cambronero @josepablocam.bsky.social DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com