Aaryan Patel @patelaaryan.bsky.social CS PhD @ UW-Madison.
Intetested in Security and Privacy, and Programming Languages
๐ธ๐๐ ๐ฝ๐๐๐๐ค โค๏ธ๐๐๐๐ @allflags.bsky.social Zazzler, refugee/imigrant from Twitter.......
Be curious ---> https://www.zazzle.com/store/allflags?rf=238555236939573440
---> https://www.facebook.com/WorldAllFlags
---> https://ro.pinterest.com/Zazzle4AllFlags/
Fiona @fiona0v087.bsky.social A divorced mother living in a Democratic-majority stateโshe remained a Democrat her entire life, until her death. Her interests included hiking, travel, music, and cycling. She enjoyed challenging herself.
@doctasquid.bsky.social @doctasquid.bsky.social 
Luca ๐ค @lucadistefano.eu Postdoc at TU Wien Informatics โข Opinions my own โข Standing in the wind
Joseph Garvin @josephhgarvin.bsky.social voicecoding latency and throughput hacker. How did I get here and what am I doing in this hand basket? he/him
tushar @tushard.bsky.social Making compilers grin like never before
https://tushar-6666.vercel.app/
Ammar Hashmi @ammarhashmi.bsky.social Looking for MS position for Spring/Fall 2027 | Associate AI Engineer | CS Graduate
@leonardo7983.bsky.social @leonardo7983.bsky.social 
@arunvarma.bsky.social @arunvarma.bsky.social 
@virtue-carrot.bsky.social @virtue-carrot.bsky.social 
Nat @ndbunner.bsky.social Former cryptographer. Current dishwasher. Aspiring PWHL stats nerd.
norinecoenen.bsky.social @norinecoenen.bsky.social 
Cong Ma @mc-pony.bsky.social PhD student at University of Waterloo
https://mc-pony.com
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.
@nalyat.bsky.social @nalyat.bsky.social 
@jhjackyt.bsky.social @jhjackyt.bsky.social 
Andrew McNutt @mcnuttandrew.bsky.social Professing at University of Utah
vis/hci/programming interfaces
(He/his)
http://mcnutt.in/
Component Creator for Joomla @component-creator.com ๐ The fastest way to build Joomla extensions!
๐ ๏ธ Generate custom Joomla components in minutesโno coding required.
๐ Trusted by developers worldwide.
๐ https://www.component-creator.com
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
Milad Roohi @milad-roohi.bsky.social Assistant Professor of Structural Engineering, University of NebraskaโLincoln
Director of Smart Resilient Infrastructure and Urban Systems (SiRIUS) Lab
Ex-Senior Scientist at Aon
#InfrastructureResilience #SHM #NaturalHazards #CatastropheModeling
Apoorv @fxdpntthm.bsky.social Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
Python/Data science/Machine Learning/Deep Learning/AI @shaharyarranjah1.bsky.social It's shaharyarranjah1 content creator and software engineer and artificial intelligence engineer Learn full stack web development machine learning deep learning computer vision llm data science data analyst etc connect with us
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/- E @evanwilliams02.bsky.social @evanwilliams02.bsky.social
Xiang Chen @x14ngch3n.bsky.social Ph.D. student at HKUST
@0xitalo.bsky.social @0xitalo.bsky.social 
Rolando Garcia @rlnsanz.github.io Public school postdoc in computer science ๐๐ฟ Chicano witness to the horrors ๐บ๐ธ๐ฒ๐ฝ Dad of boy ๐
Travel Trex @traveltrex.bsky.social Hassle-free Southeast Asia trips from India โ๐ดCouples & family getaways ๐๐DM us to plan your dream holiday ๐โจ
๐ https://traveltrex.in/
Henry Wallace @attobop.bsky.social Learning and hacking! ๐โก๏ธ๐ฅ๐ง๐ฑ
https://attobop.net
https://github.com/arclabs561
@rtjoa.bsky.social @rtjoa.bsky.social 
@chengpeng-wang.bsky.social @chengpeng-wang.bsky.social 
Diego Marmsoler @dmarmsoler.bsky.social Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
frankregis @frankregis.bsky.social A star โญ tik tok twicht disco ed bol'ลกoj erg 2024 โฎ๏ธ๐๐ ๐๐๐ซ๐ซ๐ฃ๐๐๐ฆ ๐๐๐บ๐คฅ๐ฃ๏ธ๐ค๐ฅ๐ค๐ง ๐ซ๐ซ๐โค๏ธโ๐ฅ๐ชต๐๏ธ๐พ๐ท๐ง๐ง๐ง๐งโ๐๐จโโค๏ธโ๐โ๐จ๐๐ฉโโค๏ธโ๐โ๐ฉ๐ฉโโค๏ธโ๐จ๐จโโค๏ธโ๐จ๐ฉโโค๏ธโ๐ฉ๐ซ๐
@morespinach.bsky.social @morespinach.bsky.social Thinking about Databases
Cyberflaneurs @cyberflaneurs.bsky.social 
Monem_Codes @monem-codes.bsky.social Empowering Businesses Through Tech ๐ผ | Software Development ๐ฅ๏ธ | Digital Marketing & Growth Hacking ๐ | AI-driven Web Dev Enthusiast ๐ค | ML Research Tinkerer ๐
Th. Ma. @thierry.marianne.io 
Buildstash - manage software binaries @buildstash.com For app, game, and embedded teams - store and manage all your builds, share with your team, distribute to testers, manage rollouts, and deploy to stores ๐
https://buildstash.com
@acendrou.bsky.social @acendrou.bsky.social 
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
(fun x -> x) myself @smdsousa.bsky.social Doing stuff, learning things, explaining them.- S @skinnyman.bsky.social @skinnyman.bsky.social
@indentsang.bsky.social @indentsang.bsky.social 
Alice โจ @welltypedwit.ch Thereโs no sense crying over every mistake. You just keep on trying โtil you run out of cake
- GLaDOS
https://welltypedwit.ch
Chris Ogden @ctogden.bsky.social Walton, NY
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
@madhu001.bsky.social @madhu001.bsky.social 
Debanjan Mallik @deba8612.bsky.social Ph.D. Student in Control Theory at University of Maryland, College Park. ๐ข
Mohammad Hossein Khoshechin @khoshechin.bsky.social PhD @ MPI-SWS Working on Model Checking Distributed and Concurrent Programs / https://joulook.github.io/
Zixian Cai @zcai.org PhD student. Programming languages, computer architecture, and performance analysis/optimization. zcai.org
Karl Toby Rosenberg @karltrosenberg.bsky.social Ph.D. Holder from NYU - Human-Computer Interaction Researcher & Prototyper - Creator of DrawTalking: https://ktrosenberg.github.io/drawtalking/
Looking for collaborations and opportunities (short-term projects, postdocs, industry, teaching, professorship)
AJR @ajroot.bsky.social PhD student at Stanford working on compilers and graphics
https://ajroot.pl
Yihao Sun @stargazermiao.bsky.social The Next 700 Programmers.
@ivanyermakov.bsky.social @ivanyermakov.bsky.social 
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
G @goedelian.bsky.social 
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
@ghishadow.bsky.social @ghishadow.bsky.social 
@proustian.bsky.social @proustian.bsky.social ๐ซ
Diogo Monteiro @dizmonteiro.bsky.social Machine Learning Engineer
@binarymonkee.bsky.social @binarymonkee.bsky.social 
trnoctyras @trlegendarrow.bsky.social Anonim Porno Hesabi Azgin bayanlar takip etsin.
https://www.instagram.com/trnoctyras
https://t.me/trnoctyras
Anonim sorularinizi bekliyorum
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Aadi Rave @aadirave.bsky.social 
TypeHoles @typeholes.bsky.social Interested in all things programming, cooking, hard metal, cats.
Love to explore new programming languages and build dev tools. Really love a good pit
He/him or they/them
Michael Schwarz @93mschwarz.bsky.social PhD Student in Computer Science at TUM working on Static Program Analysis. Traveller. Fan of (almost) everything Science Fiction. https://michael-schwarz.github.io/
Sam Thomas @xorpse.ghost.sh Program Analysis / Reverse Engineering
Website: https://xv.ax
@hannelita.bsky.social @hannelita.bsky.social 
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
รzgรผr ORUร @ozguroruc.bsky.social MSc | Computer Engineer | Entrepreneur | Vatanperver Atatรผrk Milliyetรงisi | Partisiz Kemalist | Bilinรงli Ateist | Kahrolsun ฤฐstibdat, Yaลasฤฑn Hรผrriyet |๐LA
Tom Turcotte @tomturcottetech.bsky.social Mentored devs for 5+ years. Now building X Growth Engine full-time to fix my own social media struggle: authentic growth without endless scrolling.
xgrowthengine.com
Matthieu Lemerre @mattthieulemerre.bsky.social Researcher at CEA LIST, working on abstract interpretation of systems language
Christine Sinatra @c-sinatra.bsky.social 
Bachir Bendrissou @bbendrissou.bsky.social Google PhD Fellow | Doctoral Student at Imperial College London | Software Reliability | Fuzzing Enthusiast | Ex-CISPA
Thomas Marsh @thomasmarsh.bsky.social FP, formal methods, urban planning
@captinscala.bsky.social @captinscala.bsky.social 
Keith White @keithwhite832.bsky.social HTX Age 44, a huge sports fan, political nerd, Anti Trump, Anti Racist, pro freedom, pro women's rights and pro porn at times. #BLM #BIPOC African American, Native American and Afro Latino. x.com/keithwhite346
SpoonFellas#NAFO NC Genโ๐ฆ๐บ๐ธ๐บ๐ฆ๐ฌ๐ช๐ณ๏ธโ๐๐จ๐ฆ๐ฌ๐ฑ๐ฉ๐ฐ๐ฆ๐บ๐๐democrat ๐ @spoont51.bsky.social We stand together with these nations and the people of these nations ๐จ๐ฆ๐ฌ๐ช๐ฒ๐ฝ๐ฒ๐ฝ๐บ๐ฆ #NAFO #FAFO .