Dayvan @likevespa.bsky.social cultural translator โก dayvan.xyz
๐ฐ๐๐๐๐๐๐๐๐ ๐๐ ๐พ๐๐ ๐ฌ๐๐๐๐๐๐๐๐๐ โก @zkavclub.bsky.social Storyteller in Residence
แฆ๊งแฆโญโฑ๊ฅ
Zero-knowledge Audiovisual Club @zkavclub.bsky.social Privacy-first audiovisual collective building community-owned media infrastructure for open-source & decentralized tech. Record, archive, teach, publish, remix.
KampaignLab @kampaignlab.bsky.social KampaignLab is a digital marketing publication that helps marketers, agencies, and businesses discover AI, marketing, and productivity software through expert reviews, comparisons, tutorials, and buying guides.
Priyal kumar @priyal.bsky.social เฐ๊ชฎแ ปแกถแญ๊ช๊ชน๊ซ ๊ช๊ชฎแ ปแ ปแปแญข, 1z1@vivaldi.net
https://www.pasportaservo.org/profilo/16077/priyal/
้ชๅคใฎใจใใใณ @snowy-lantern.bsky.social noteใจYouTubeใง่จผๆๆฏๆดใทในใใ Rocqใซใคใใฆ็บไฟกใใฆใใพใใ
https://note.com/snowy_lantern
https://www.youtube.com/@Snowy_Lantern
@xuhongxu.bsky.social @xuhongxu.bsky.social 
Niko Pachuashvili @nikolozp.bsky.social FP (Functional Programming | Film Photography) Addict
Ishan S. @nahsimai.bsky.social PhD student, using scene graphs to formalize and validate autonomous systems at runtime.
#FormalMethods #RuntimeMonitoring #SceneGraphs
Cooklang (Alexey) @cooklang.bsky.social Markup Language for Recipes and Tools http://cooklang.org/
Carl Kadie @carlkadie.bsky.social Ph.D. in CS & ML. Retired Microsoft Research. Volunteer, open-source projects on ML, Genomics, Rust, & Python. Published in Science & Nature.
๐ https://medium.com/@carlmkadie
๐ https://www.linkedin.com/in/carlk
๐ท https://www.instagram.com/carlk3
Mitch K @mitchtdk.bsky.social Interested in Baseball, Software Engineering, and Formal Methods, and Astrophotography
Diego Marmsoler @dmarmsoler.bsky.social Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com- 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
@jrrp.bsky.social @jrrp.bsky.social 
G @goedelian.bsky.social 
Tiago Cogumbreiro @forkjoin.bsky.social Associate professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
Orpheus Lummis @orpheuslummis.info Advancing AI safety through convenings, coordination, software, analysis
Founder of Hฮฉ (https://horizonomega.org), based in Montrรฉal
รrik Martin-Dorel @erikmartindorel.bsky.social Associate Professor of Computer Science, Software developer.
Fluent in Rocq/OCaml/Java/Python/Docker/Bash/Git/Ansible.
Opinions are my own and not the views of my employer.
https://linktr.ee/erikmd- Y yishibashi @yishibashi.me hi
Anshu Sharma @anshugsharma.myatproto.social Studying quantum networking. YIMBY, anti-ethnonationalisms, pro open borders. Bathrooms shouldn't be gendered. โAnarchistโ isn't a slur. He/him. Adult.
Linkedin: https://www.linkedin.com/in/anshugsharma/
Mr.MoonRose @mrmoonrose.bsky.social Blockchain & Web3 โข Crypto โข Defi โข DePin โข
X : @sh3rly13
Stig Helmer @stighelmer.bsky.social #1 Mindy Furano fan account
@romameie.bsky.social @romameie.bsky.social 
Vicent @vbosch.bsky.social Co-founder & CTO en transkriptorium, Researching formal specification for the Agentic Era as a side gig but related to my main one :-)
StErMi @stermi.bsky.social #web3 dev + auditor | @SpearbitDAO LSR, @immunefi bug hunter, sage of AAVE codebase :D
Rusty XYZ @rustyxyz.bsky.social finding x, asking y, putting the z in disruption
an engineer, slighty rusty ๐ฆ
current: games with bevy
@does-not-exist.bsky.social @does-not-exist.bsky.social 
Wild pentachoron correspondent @crossslide.bsky.social Ame
thyst, orchid, mulberry, midnight blue, navy blue, electric blue, sapphire, turquoise, cyan, aqua, olive green, pine green, sea green.
ใจใฉใพใใใไพใชใใ
44 years old.
CoopCoding @coopcoding.bsky.social Loves programming and making stuff
https://www.coopcoding.org/
Abel Sen @neuroevolutus.bsky.social Functional and systems programmer
sรธren @sxren.social they/them
๐ณ๏ธโโง๏ธ rights are human rights.
software and data ๐ปโค๏ธ๐ฅ.
๐, ๐ฆ, etc.
lives in ๐ฏ๐ต.
Rick Elrod @relrod.bsky.social Hello! I am a #linux and #emacs user and software engineer who also enjoys #linguistics and #etymology. Trying to forget that I'm American. Proud to be living in Germany. Learning #German and #Rust. he/him/his.
GitHub: https://github.com/relrod
Dr Oana Andrei @oanamandrei.bsky.social Senior Lecturer at the University of Glasgow. Working on computing education, formal methods & theoretical computer science, work-based learning in software engineering, skills & competencies, widening participation in HE, equality, diversity & inclusion.
Einar Broch Johnsen @ebjohnsen.bsky.social Prof CS University of Oslo
https://ebjohnsen.org
Puff @puffmagicdragon.bsky.social Puff likes Haskell and Compiler stuff
Soares Chen @maybevoid.com Rust Nerd โ Creator of Context-Generic Programming @contextgeneric.dev โ Interested in Haskell, functional programming, type theory, category theory, programming language theory โ https://maybevoid.com โ https://contextgeneric.dev
Frederic Jacobs @fredericjacobs.com www.fredericjacobs.com
https://ger.mx/A-RGsldmQt0iXfnzPgXNzLzA5_jvDbWHabqz1yJrt2ma#did:plc:oxwmqopgbm3driwzues7odpz
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
Yoichi Hirai @pirapira.bsky.social interested in computation and logic.
Jeremy @jrmyd.eurosky.social ๐ซ๐ท of ๐ต๐น descent, married to ๐ฎ๐น in ๐ณ๐ฑ.
- Formerly worked in quantum cryptography (PhD), specifically in making protocols device independent using non locality.
- Now design/code some (non quantum) algorithms
- Like FOSS
- Like logic/CS/maths/physics
๐ฃ๏ธ ๐ซ๐ท๐ฌ๐ง๐ฎ๐น๐ต๐น๐ช๐ธ
Preet @prabhpreet.bsky.social Power Systems+ CS | ๐ฆ ๐ฎ๐ณ | Arrested development aficionado
ProgramingIsTheFuture @programingisthefuture.com ฮฉ := (ฮปx.x x) (ฮปx.x x)
To ฮฉ and beyond!
Backend developer with OCaml by day ๐ซ
Type theorist by night ๐ซฃ
I use Arch, (and neovim) btw ๐
Guillaume Claret @guillaume-claret.bsky.social Founder/Security researcher at Formal Land
Formal verification in Rocq (PhD). Solitity/Rust/ZK
Discuss: https://calendly.com/guillaume-claret
Cuihtlauac @cuihtlauac.bsky.social Corecursive tinkerer, camler, globetrotter 
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.
Anderson Nascimento @andersonc0d3.bsky.social Director & Security Researcher @alleleintel.com
Blog: https://blog.andersonc0d3.io
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.
@bugzmanov.bsky.social @bugzmanov.bsky.social 
@raulraja.cogerlo.ai @raulraja.cogerlo.ai