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.
Alexander Kasprzyk @amkasprzyk.bsky.social https://kasprzyk.work
Algebraic Geometry • Combinatorics • Mirror Symmetry • Machine Learning
Mathematician at the University of Warwick.
Editor-in-Chief for “Experimental Mathematics”.
Member of EPSRC’s Math Strategic Advisory Team.- Y @ymhan.bsky.social @ymhan.bsky.social
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
@motivum.bsky.social @motivum.bsky.social 
Gaurav Parthasarathy @gauravpartha.bsky.social 
@7fff.bsky.social @7fff.bsky.social 
Matt McCarty @pented.bsky.social Software Engineer by trade. λ, PL theory, distributed systems, all jawns Philly 🔔
Sabine Oechsner @proofnerd.bsky.social cryptography and pretty proofs | PL-curious | everything is MPC | assistant professor @ VU Amsterdam
soechsner.de
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
Samuel Ainsworth @skainswo.bsky.social prev: @BrownUniversity, @uwcse/@uw_wail phd, ex-@cruise, RS @waymo. 0.1x engineer, 10x friend.
spondyloarthritis, cars ruin cities, open source
Jahrim Gabriele Cesario @jahrim.bsky.social PhD Student in Programming Languages at the University of St. Gallen (HSG)
NUS Institute for Functional Intelligent Materials (I-FIM) @ifimnus.bsky.social Welcome to I-FIM: Pioneering Smart Materials and Innovative Research. Follow us to stay updated on our transformative research and connect with our vibrant community!
Daniel Sokolowski @dsoko.bsky.social ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist
📎🐸🕊️Ω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
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
Julien Narboux @jnarboux.bsky.social Researcher in Computer Science, IRIF, Université Paris Cité.
Topics of interest: proof assistants, ITP, ATP, teaching with proof assistants.
Guido Salvaneschi @guidosalva.bsky.social Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
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
Jesse Alama @jessealama.net Math and programming. Lean, JS, Racket. American. Igalian.- M Màrié @mariziv.bsky.social Math enthusiast
@mariziv@mastodon.social
@0art0.bsky.social @0art0.bsky.social 
Steve Goguen @sgoguen.bsky.social PLT LARPer and formalism fanboy
Thomas Schmall @thomasschmall.bsky.social Artist living in the #Netherlands.
Here with art and opinions.
Only art at...
Pixey: https://pixey.org/i/portfolio/ThomasSchmall
Insta: https://www.instagram.com/thomas.schmall/
Or my site: https://www.oxpal.com/
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
José F. Morales @notjfmc.bsky.social I work on http://github.com/ciao-lang/ciao, a modern Prolog system.
You can also find me on http://mastodon.social/@jfmc
IMDEA Software Institute & UPM
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet