Na'aman Hirschfeld @nhirschfeld.bsky.social Co-Founder & CTO @ xberg.io. Document AI and extraction, polyglot Rust cores. Building basemind. Creator of Litestar & Polyfactory. Open source. Opinionated and strongly typed.
Alex Sanchez @auctioner.bsky.social Auctioner
@dev.zilahi.fi @dev.zilahi.fi Working in the edge-cutting VR/XR industry, leading teams to success. Also, living in Finland, and enjoying it.
Engineering Lead @ Varjo, Helsinki
also at @richie.zilahi.fi, and I am behind bettertori.fi too.
@rshbhprsd.bsky.social @rshbhprsd.bsky.social 
ＳＴ０１０－１４ @st01014.bsky.social Code synthesizing Carbon-Silicon based lifeform 🖥️🧬
#Coding #Math #Physics
#HPC & #AI
#RetroTech
#Aerospace
#ＡＥＳＴＨＥＴＩＣＳ
Random #Nerdiness & #Shitposting
Cory LaNou @corylanou.bsky.social 30+ yrs writing code. Go expert now deep in AI-powered development. Founder GopherGuides - Co-author Go Fundamentals. 10K+ devs trained. Videos & blog
Stephen Diehl @www.stephendiehl.com Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
Umang Mathur @umathur.bsky.social Presidential Young Professor at the National University of Singapore.
https://www.comp.nus.edu.sg/~umathur/
@findycindy.bsky.social @findycindy.bsky.social 
@nicolaassolini98.bsky.social @nicolaassolini98.bsky.social 
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/
Manuel Rigger @mrigger.bsky.social Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability. 
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.
🇨🇦 Joey Eremondi @joeyeremondi.bsky.social PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Oisín Kidney @doisinkidney.com Functional programming researcher.
doisinkidney.com
(Personal site: doisinkidney.com/personal)
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
Gabriel Sherman @gabriel-sherman.bsky.social Ph.D. Student at the University of Utah | Computer Security
https://gabe-sherman.github.io/
shoe_ _\;^-.-^;/_ _bum @shoebum.bsky.social I might post less here and more at https://shubhamkumar13.codeberg.page
Watch me on : twitch.tv/shoe_bum
Balajee @balajee.bsky.social I make networks faster—because buffering is evil. Assoc Prof @UIC. PhD @Purdue. Ex-NVIDIA chip tinkerer. Your MacBook Air might run my chip.
George Elfayoumi @georgemaged.bsky.social Interested in Backend Engineering, Databases and Distributed Systems | Masters Student @ TUM
Gokul Rajiv @gok99.bsky.social (recently graduated) undergrad @ NUS and walkable city enthusiast doing Programming Languages research
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Fabian Muehlboeck @fmbck.bsky.social Programming Language Researcher at the Australian National University
Sofia @algebraic.dev This is my personal account that I post mainly in PT/BR
23 / nm / dev
Mary Alexandra Stiefvater @marystiefvater.bsky.social Actress/Poet/Author/Award-Winning Screenwriter & Producer
More at imdb.com/name/nm1207676/
31strepublicproductions.com
maryalexandra.com
soundcloud.com/maryalexandrastiefvater
Scherly Leon, MD MPH @sleonmd.bsky.social Physician | #WomenInMedicine #SingleMomByChoice | #HealthAdvocate | Founder of #TheSageMD | #PublicHealth | #Speaker | #HealthEquity | #HealthPromotion | #HealthLiteracy | #Author of Mommy Chose Me | she/her | scherlyleonmd.com
david barsky @davidbarsky.com i like cooking and reading books. my day job is to work on ersc.io, but before, it was rust-analyzer. he/they is fine.
📎🐸🕊️ΩZhSigma@332ppm≅Σx,x∈S{🌱💚🇪🇺λP(θ|y)⁂}learn-languages-world-life @stphrolland.bsky.social S.L. Rolland@332ppm
RepostReadLearn:
Rom 🇫🇷🇪🇸🇪🇨🇲🇽🇮🇹🇵🇹🇧🇷GalCat🇷🇴
Germ 🇬🇧🇨🇦🇳🇱🇧🇪🇿🇦🇩🇪🇸🇪🇩🇰🇳🇴Nno;🇫🇴🇮🇸
Slv 🇵🇱🇺🇦🇷🇺🇨🇿🇸🇰;🇧🇬🇭🇷🇷🇸/🇧🇦🇲🇪🇧🇾🇸🇮
IE 🇬🇷🇮🇷 HanZ 🇨🇳🇹🇼🇭🇰🇯🇵 Aggl Eo🇹🇷🇫🇮;🇪🇪🇭🇺🇰🇷🇲🇳
Poly 🇬🇱 Aus 🇮🇩🇲🇾🇵🇭🇲🇬 Sem 🇮🇱🇱🇧🇲🇦 Cel 🏴🇮🇪Gd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro🌟🌒🌕🌘Calligraphy🪶
Linux
Erich Wasserman @erichwasserman.bsky.social Investor, sales chief. Ad tech, crypto. Also: text SMILES to 833-455-2972, get a joke every morning. 9.88% profits to mental health!
@jhemann.bsky.social @jhemann.bsky.social 
🎲 druth 🐌 @massivefermion.bsky.social Giskardian Robot, Marxist Human, Communist Comrade
💻 github.com/massivefermion
📸 instagram.com/massivefermion
Chris Henson @chenson.bsky.social CS PhD student @ Drexel University. Types, categories, and verification. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.
@nathanredblur.bsky.social @nathanredblur.bsky.social 
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Matt Teichman @bufordrat.bsky.social I write software for librarians, teach functional programming, and produce the Elucidations podcast.
https://elucidations.vercel.app
Ashish Mishra @ashishindia.bsky.social Assistant Professor @IITH | Earlier Postdocing @Purdue |
PhD, Computer Science @IIScCSA
Interested in Programming Languages, Politics, and Philosophy.
CJKHD @cjkhd.bsky.social CJKHD, the official journal of CSN. We publish fundamental science and clinical science in the field of kidney health. Based in Canada|Turtle Island, we recognize our reparative responsibility to uplift the knowledges and expertise of Indigenous peoples.
Reshabh K Sharma @reshabh.bsky.social Everything is a compiler!
PhD student @uwcse
Opinions are my own!
Dan Plyukhin @dplyukhin.bsky.social dplyukhin.github.io
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
@rtadelacruz.bsky.social @rtadelacruz.bsky.social 
Alecs P. Hacker @bisimulation.bsky.social Unsound and incomplete
alecsferra.github.io
Michele Fabbri @ab3.net 2D vector graphics rendering engines R&D @ www.mazatech.com
👉 Atheist • Europeist • Nerd
#computational #geometry • #graphics #algorithms • #OpenVG • #SVG • #generative #AI • #demoscene • #retrocomputing • #boardgames • #18XX • #scifi
From Italy 🇮🇹
Yana Welinder @yanaw.bsky.social CEO/Founder at Kraftful.com - #1 copilot for product teams
Y Combinator alumna
Pioneer Fund SVP
Stanford fellow
Founded GenAI Founders and VC-Backed Moms
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Alexander Bandukwala @bandukwala.me 💻 Pursuing the Future of Computing
🔬 PhD Student @ University of Michigan (Future of Programming Lab)
🪄 Building Hazel: Live Functional Programming & Malleable Systems
🐾 Dog Parent
🛠️ Ex-Software Engineer
🌟 Computing Maximalist 
LeadDev @leaddev.com Effective software engineering leadership content from leaddev.com
Pratinav Anil @pratinavanil.bsky.social historian, feuilletonist, clubland habitué, judgemental judge 
Brian Demsky @bdemsky.bsky.social CS professor. PL/Model Checking/Concurrency.
Clemens @gibtsdes.bsky.social Living in Scotland. Complaining about stuff. Always hoping that things are changing for the better! Also: using #logic when trying to be precise. #UkraineMustWin #UkraineWillWin
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
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
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Darshan Pindoria @darshanpindoria.bsky.social Psychologist, Himalaya fan and speaker on Eastern approaches to Mental Health
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
Edward Kmett @kmett.ai Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader- R Divyanshu Ranjan @rdivyanshu.bsky.social https://rdivyanshu.github.io/
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
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Daniel Harvey @danieljharvey.bsky.social Discontent farm
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Leo 🏴☠️ @leostera.com typed actor maxxing since 2018 · http://github.com/leostera
Monnie Wasse MD,MPH @mwasse.bsky.social Interventional nephrologist • Interim Chair, Dept of Medicine @RushDOIM • Chief, Nephrology Division
https://www.rushu.rush.edu/rush-medical-college/departments/department-internal-medicine/division-nephrology
Adolfo Neto @adolfoneto.elixiremfoco.com Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil.
https://adolfoneto.elixiremfoco.com/
Posts mostly in English.
#ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang).
Podcaster.
sabine 🐫🦀 / "use ocaml"; @sabine.sh OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
Susan Potter @susanpotter.net Anti-fascist, anti-authoritarian, pro-privacy, pro-speech, investor, trader, polyglot software engineer (Haskell, Erlang, Scala, Nix, NixOS, F#) with a systems reliability and security focus. Recovering SRE.
https://www.susanpotter.net/