Paul-Nicolas Madelaine @pnm.tf programmer · https://pnm.tf/ · message me on signal: https://signal.me/#eu/hWthJSTfgzauZR0dx-o9ED0hkconKE1zsU1gIM0fVJ_YkU2pfG5CU5HWV5IH7Ops
Tobias Rothmann @tobiasrth.bsky.social Formal Methods, Cryptography, Complexity Enthusiast
Formal Verification Intern @ethereum.foundation
prev. Cryptography @ Arcium
CS @ TUM
https://tobias-rothmann.github.io
tolmix @tolmix.bsky.social tolmix.com: The first A.I.R. network (Augmented Intelligent Reality)
3D AI/VR on ALL screens with AND without headset
.. the edge of 2D-net a bridge to 4D-worlds ..
Nucleus Fuselius @nfuselius.bsky.social Nucleus Fuselius, Director of Philosophy @ tolmix.com
📜 tolmix.com/Fusion-Punk-Aesthetics
@douglasste.bsky.social @douglasste.bsky.social 
Nicholas Yang @nicholasyang.bsky.social Programmer, obsessive cook, film nerd- V @valyakuttan.bsky.social @valyakuttan.bsky.social
Charles Keener @charleskeener.bsky.social Anti-Zionist Free Palestine Ukraine Solidarity Anti-Racist Anti-Carceral Abolitionist Anti-Genocide Anti-Colonial Anti-War Anti-Imperialist Intersectional Feminist Queer LGBTQI+ Green Eco-Socialist People Planet Peace Interfaith Seeker of Beloved Community
@acendrou.bsky.social @acendrou.bsky.social 
@msoumaille.bsky.social @msoumaille.bsky.social 
Nadim Kobeissi @nadim.computer Applied cryptographer. Mainly working in the cryptography auditing industry, but sometimes venturing back into academia. https://nadim.computer
James Asbury @jbury.bsky.social Software engineer @ Microsoft
Views expressed are my own.
San Francisco, California 🌁
Jordi Barrère @jobarrere.bsky.social Coder, Tech Lead, Jenkins disciple, DIY
#Rouen
@perspectologist.bsky.social @perspectologist.bsky.social 
@yohanpipereau.bsky.social @yohanpipereau.bsky.social 
søren @sxren.social they/them
🏳️⚧️ rights are human rights.
software and data 💻❤️🔥.
🐍, 🦀, etc.
lives in 🇯🇵.
Sylvain Wallez @swallez.com Software engineer, from big servers to tiny microcontrollers. Principal engineer at @elastic.co, member of @apache.org. Blogging (sometimes) at https://bluxte.net
🌐 Toulouse, France, Europe
Sai Divvela @sdivvela.bsky.social Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer
Mathias 🦀 @mathiasb77.bsky.social Interest in Rust, in particular for firmware development and embedded systems. Opinions are my own.
🇫🇷🇸🇪🇺🇸- A Karim @abdelkarim.bsky.social Software engineer
Lúcás Meier @cronokirby.com Cryptographer working on Penumbra
Cryptography, FP, Math, and other cool stuff.
Blog too infrequently at cronokirby.com
Lost in Seattle somewhere
max @seoul.systems making the internet a better, more human place
liking computers just a bit too much / seoul.systems
Remi Padiath @remipadiath.bsky.social Software engineer, robot enthusiast, amateur Go player. Chicago- P Pratyush Mishra @pratyush.zip Current: Asst Professor at Penn CIS
Past:
Cryptographer at Aleo
Crypto and computer security PhD, UC Berkeley
he/him
Website: pratyush.zip
Photoblog: photos.pratyush.zip
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet- T @towerbabbel.com @towerbabbel.com
Ashley Blacquiere @ashblacquiere.bsky.social Ops @leanprover
Glenn @glenn.bitar.no This dad thing is really eating up a lot of my time.
Software engineer, researcher, dabbling in embedded some times. Rust, Python, C++. Problem solver.
https://glennib.github.io/
Veikko Eeva @veikkoeeva.bsky.social 🌍 Stories & technologies | Sustainable (water) Systems | 🚀 Freelancing / working | 📖 OSS Decentralized Identity & Verifiable Credentials | 🌟 Contributor: Digital Product Passports (CENELEC)& UN Transparency Protocol. Humane finance with heart and soul.
Joe Birr-Pixton @jbp.io computers, computer security, cryptography. rather dull really.
locale: cambridge, uk
github: https://github.com/ctz/ & https://github.com/rustls/
The Rusty Bits @therustybits.com Making videos about using Rust in embedded systems
https://youtube.com/@therustybits
James Munns @jamesmunns.com Notable Protocol Enjoyer.
Doing stuff, mostly in Rust and on Embedded systems.
Co-host @sdr-podcast.com
DMs (matrix): @jamesmunns:beeper.com
DMs (signal): jamesmunns.255
he/him
Kein Ort für Nazis
ọzkriff @ozkriff.games Andrey Lesnikóv, he|they, Russian. Ex-Wargaming, Ex-JetBrains. Fuck Putin's invasion of 🇺🇦.
Atm I mostly follow #RustLang #GameDev #TurnBased stuff but I hope to get back to my projects soon.
@gamedev.rs
mastgame.dev/@ozkriff
github.com/ozkriff- A Antoine Martin @alarsyo.net Software Engineer @ NVIDIA. Views and opinions are my own.
Johannes Weiss @jweiss.io Computer programmer (http://github.com/weissi). Distributed systems, ML infrastructure/eval, Swift, previously #SwiftNIO — ♥ snowboarding
London, UK
Bailey Townsend 🦀 @pds.dad Bandaid Engineer. I post mostly about coding, atproto, embedded devices and things like that. Sometimes serious, mostly just killing time.
📍Middle Tennessee
@closedwc.bsky.social @closedwc.bsky.social 
Josh Gancher @jgancher.bsky.social Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
Buyera Bilal (CEO humanity and Lillah charity) @buyera.bsky.social Serving humanity through feeding the orphans and needy, constructing water wells, food packs, iftar meals, qurbani donations, emergency relief, Quran distribution, aqiqah and many others 📥+255780598366 for more information
@hannelita.bsky.social @hannelita.bsky.social 
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Théophile Wallez @twal.org Post-doc researcher at CISPA, working on secure group messaging & machine-checked security proofs.
Victor Dumitrescu @vdum.bsky.social 
Marco Guarnieri @mguarnieri.bsky.social Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @mguarnieri@infosec.exchange
Informaticien spé philo 🐫 @cyranhoe.bsky.social Doctorant en informatique au LIP6 | 🏳️🌈 | Rock prog et Kylie Minogue
Bala Chandrasekaran @balakc.bsky.social Husband. Dad. Researcher. Educator. Photographer.
Émile Rolley @emile-rolley.com Co-founder and developer @calinou.coop and one of the @publicodes.bsky.social maintainers.
All my work is open-source, mainly at github.com/EmileRolley.
Michele Alberti @lambdaxdotx.bsky.social 
Jay Bosamiya @jaybosamiya.bsky.social 🦊 Software security researcher. Making secure software the natural choice. PhD from CMU. CTFer (PPP). https://jaybosamiya.com/
Sheera @sheera82.bsky.social 
@yyxi.bsky.social @yyxi.bsky.social 🍡 Number number nodule for the unmade economic of the shotgun bison and tunnel.
https://github.com/yyxi
José Cambronero @josepablocam.bsky.social DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
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
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
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.
Denis Merigoux @denismerigoux.bsky.social Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
Fklv2 @fklv2.bsky.social Nihiliste sauf pour les sciences exactes les mathématiques l’informatique la littérature et les langues. Abonné gratuit à AEf Info. 
jérémy @notjrm.bsky.social 
Natacha Crooks @nacrooks.bsky.social CS prof at UC Berkeley. Distributed Systems and Databases. Baking, handball and football enthusiast. Avid cheese eater. 
Andrea Lattuada @utaal.bsky.social Research Group Leader @ MPI-SWS
Nicole Heinimann @saltypeppermint.bsky.social Where are my types, I can't see without my types!
https://ipv3.org
PhD student @tuberlin.bsky.social
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
Sabine Oechsner @proofnerd.bsky.social cryptography and pretty proofs | PL-curious | everything is MPC | assistant professor @ VU Amsterdam
soechsner.de
Mishal @misharuu.bsky.social I like hacking, reverse engineering and coding. I also read a lot of sci fi/fantasy and enjoy video games.
Currently doing my master's at VUsec Amsterdam.
Antoine Turmel @antoine.turmel.info 👋 il/lui (he/him)
💻 Développeur Front/Back Web @galaksio.tech
📝 Blogueur sur https://asteroideas.fr
📍 La Bruffière
et aussi : 🏸 🍻 🌐 🛠 🗣 🎮
https://linktr.ee/antoineturmel
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
Oleksii Oleksenko @oleksii-o.bsky.social Senior Researcher at Azure. Work on microachitectural security, fuzzing, and TEEs.
Proudly #Ukrainian
Olivier Bournez @bournez.bsky.social Prof @Polytechnique
Computer Science #Computationtheory#JeKiffeLesMachinesDeTuring #OrdinaryDifferentialEquations#Non-Binary (Analog) Computations
Sarah 💎 @sarahhwhitekiss25.bsky.social 32 ☕ coffee addict ☕
let’s connect, message me 👇 It’s free
https://tinyurl.com/xsarahiRjY
Doris Johnson @doris421.bsky.social California
Cats ❤️ @cat.creator.blue your daily dose of cats
Ferhat Erata @erata.bsky.social PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
Guilherme Espada @guipsp.bsky.social PhD Student at the University of Lisbon
Working on Static Resource Analysis and Probabilistic Programming
Mastadon: @GUIpsp@types.pl
Dorothy is my bestie- A A @abinashmishra018.bsky.social