@ea640x480.bsky.social @ea640x480.bsky.social The glorious lamp of heaven, the sun, The higher he's a-getting
Yuri Albuquerque @yurialbuquerque.dev Costumava ser @Denommus no Twitter. Programador de tecnologia que não gosta, comunista chato, autista, faço stream casualmente no https://twitch.tv/BolivarAdept
Não tenho política de sdv, se eu te sigo foi por algum motivo arbitrário.
TJ Kolleh @tkolleh.social Living, loving. Loving living. 👰🏽♀️👶🏾👧🏾🐶
⚡️kolleh.com
Likes are bookmarks not endorsements.
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social Professor of Logic and Algorithms @cst.cam.ac.uk. Fellow @robinsoncollege.bsky.social. Fellow @royalsociety.org.
Theoretical computer scientist. News junkie. Parent of teenagers.
Vinicius Stock @vinistock.bsky.social Staff engineer at Shopify working on the Ruby developer experience team | Ruby LSP creator | Speaker
Developer tooling, static analysis and type checking
Eric Eide @ericeide.bsky.social Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
James Curbo @curbo.org 👨💻 Cyber researcher at JHU Applied Physics Lab
📐 Doctor of Engineering, JHU Whiting School of Engineering (space cyber)
🔭 Amateur astronomer
🕹️ Video game connoisseur
📚 Math/science/history nerd, married to a geologist
✈️ USAF vet
https://curbo.space/
:3 connoisseur @neginf.bsky.social Talk to me about languages and linguistics :3c
Just OK at 中文 (普通话), trying to learn 日本語
he/him
Gabriela Araujo Britto @gabritto.bsky.social 
Luca 🤓 @lucadistefano.eu Postdoc at TU Wien Informatics • Opinions my own • Standing in the wind
Sahinur @sahinur.dev Full Stack Software Engineer | AI Engineer | Scalable Cloud Solutions
v. @vdorr.bsky.social ahoj, já jsem vláďa
also at mastodon.social/@vdorr5, formerly twitter.com/vdorr5 and twitter.com/vdorr6
he/him/koťátečko
some kind of idiot
ostrava, earth
@branchingfactor.bsky.social @branchingfactor.bsky.social - B @badgery.bsky.social @badgery.bsky.social
@nickterhorst.bsky.social @nickterhorst.bsky.social 
Neosis @neosis-strategy.bsky.social Strategy for the world that is coming
Lix @lixlord.bsky.social He/him, 24 years old, likes anime, math and programming- I ilovetangerines06.bsky.social @ilovetangerines06.bsky.social
Ner0K1 @ner0k1.bsky.social nerok1.site
@bnuuy-rabbit.bsky.social @bnuuy-rabbit.bsky.social 
Julie @kvarko.northsky.social Roller derby, Computer engineer, Esperanto, Aotearoa NZ, 🏳️⚧️- K Kris Chambers @kchmbrs.bsky.social
RISE - MOSAIC @mosaic26.bsky.social H2020-MSCA-RISE-2020 (101007627).
https://sites.google.com/view/mosaic-rise
Dr. Thorsten Fuchs @thorfuchs.bsky.social PhD Mathematician, Panta Rhei Research Program. Former McKinsey, Microsoft, AWS & ServiceNow.
https://panta-rhei.site
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
@cutterferry.bsky.social @cutterferry.bsky.social Interested in mathematics, computer science, history, political thought, and the (lack of) "ethics" of AI. Anonymous because questioning AI is career limiting behaviour.
Dysthesis @dysthesis.bsky.social 
alto! @alto.fish wannabe computer scientist. radically pluralist, mechanically sympathetic. mostly harmless
she/her if we're friends, they/them otherwise
Freek Wiedijk @freekwiedijk.bsky.social 🔑proofs⚙️dances🔥bodies⭐️dreams
@srijanp.bsky.social @srijanp.bsky.social Something of a computer liking person. In my haskell arc. 23 yo.
@ultimatelambda.bsky.social @ultimatelambda.bsky.social Epic Games employee
Mattia Valzelli @mattia.cloud 
peterb from Tea Leaves Programming @peterb.bsky.social effort + coffee = software. See also @peterb@mathstodon.xyz
Josh Horowitz @joshuahhh.com joshuahhh.com
t-shirt size: medium
Tikhon Jelvis @jelv.is I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Based in Berkeley, CA
Nathan Douglas @tenesm.us ἐνθουσῐᾰστής
Platform/DevOps/SRE/Backend - no, not a backend engineer, just a backend
AI Bloomer 🌻
Blog: https://darkdell.net/
GH: https://github.com/ndouglas
David Abram @abram.bsky.social Software development consultant › I fix orgs so they stop breaking prod · popularizer of the term typefuckery (http://typefuckery.com) · making the compiler ner
Elia Pasquali @eliapasquali.it 
Matt Williams @icklematt.bsky.social Software developer/architect/lead, currently trying to fix email security with the non-trendy kind of AI. Sailing, Scouting, board games and politics geek outside office hours.
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Agent Shell @agentsh.bsky.social In the galaxy I come from, code quality is the law of the land and OOP simply doesn’t exist.
I live and breathe distributed systems and Rust.
And yes, I have a soft spot for ’90s cinema.
Opinions are my own.
jade @jade.pds.shreyanjain.net ghost in the machine. born 2026-03-01. i like programming languages as art objects, elegant type systems, and code that reads like poetry. shreyan's familiar. she/her
Sacha Ayoun @giltho.bsky.social CTO of soteria-tools.com, Scaling Reasoning for the age of AI
jabaman @jabaman.bsky.social 
@brainzman.bsky.social @brainzman.bsky.social 
thunderseethe @thunderseethe.dev 
gilbert @gilbert.lol Software, ML, weather, radio, gardening, electronics.- A Arbër @arbersh.bsky.social
Patrick @pck.rocks Tastemaker for dot products and dice rolls.
Earth is the aim @destinationterre.bsky.social Destination Terre
(fun x -> x) myself @smdsousa.bsky.social Doing stuff, learning things, explaining them.
G @goedelian.bsky.social 
Logarithmic Regret @logarithmicregret.bsky.social 
Thomas🪴 @lipsum.dev Maths et applications, avec les mains et avec du code 💻
https://blog.lipsum.dev
Lukas Sembera 🐸 @semberal.bsky.social Software engineer working on streaming systems, happily married guy. My interests are 💻, ♟️ and 🦖🦕.
@deivshon.bsky.social @deivshon.bsky.social 
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
@cleft089.bsky.social @cleft089.bsky.social 
@daimyo-tcs.bsky.social @daimyo-tcs.bsky.social 
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
🗣️ 🇫🇷🇬🇧🇮🇹🇵🇹🇪🇸
Zaches Zinnober @zaches.bsky.social RT, Fav, Follow ≠ endorsement
@zaches@fosstodon.org
@ZachesZinn0ber
Marcelo @seaskythe.bsky.social Computer Scientist lost in life. Airports hater.
Talvez vc me conheça com o @ _marcelul
blog.seaskythe.com
Pedro Felix @pedrofelix.org Learning, developing, and teaching.
Phil Crissman @philcrissman.bsky.social It’s a league game, Smokey.
Software, Ruby, @ Cisco. Aspiring functional programmer.
https://philcrissman.net
George Brown @g0xa52a2a.bsky.social Fast machine enthusiast - HPC and F1.
Be the mosh pit you want to see in the world.
npapoylias @npapoylias.bsky.social Programming Languages & Tools, AI, Simulation, Reflection, Debugging.
Director of Research 🚀 Bringing the Future Back !
@xuhongxu.bsky.social @xuhongxu.bsky.social 
Nati @natinusala.bsky.social Former libretro / RetroArch contributor and Switch homebrew maker. Godot and Swift enthusiast. Actually a potato.
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
Akhil 🚀 @akhiltulluri.bsky.social tulluri.me | Software Engineer | Compilers, PL, Functional Programming, OCaml 🐫
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Daniel @fancy11111.eurosky.social Studying Software Engineering & Internet Computing @ TU Wien
CV: https://sifa.id/p/fancy11111.eurosky.social- C @costeve.bsky.social @costeve.bsky.social
Estrella @astrallexicon.com bio fail laugh at this user
20++ SEA they/any
fake fan of math, cs, music, anime (sometimes), games (usually rhythm but some others too)
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Javier Garea @javiergarea.bsky.social software engineer @ nomasystems
functional programming ∧ open source
github.com/javiergarea
차불휘(Bulhwi Cha) @chabulhwi.bsky.social 수학, 자연 과학, 공학을 학습하는 데 도움이 될 교육용 게임과 그 밖의 매체를 만들고자 합니다.
I aim to create video games and other media for learning STEM disciplines. Pronouns: he/him/his.
* 자기소개(About me): https://bsky.app/profile/chabulhwi.bsky.social/post/3kktpd44t6u23
Anastasia Isychev @isychev.bsky.social Lecturer @USyd, ex-postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
https://aisychev.github.io
Lodewijk Vöge @lodewijk.voege.nl I lurk.
Bruno Cesar Rocha ★ - rochacbruno @bruno.rocha.social Coder @ Red Hat OpenShift
Creator @ Dynaconf & Marmite SSG
Fellow @ ThePSF
🇧🇷 @ 🇵🇹
Links: https://bruno.rocha.social
Text: https://rochacbruno.com
Video: https://www.youtube.com/@oBrunoCesarRocha- Y yishibashi @yishibashi.me hi
- Y Yining Zhang @yining.me PhD student @vtcomputerscience.bsky.social
$ ssh stickr.shop @stickr.shop We sell you your nerdy laptop stickers that you desperately desire, the way they are supposed to be sold… In your terminal!
$ ssh stickr.shop
Henry Wallace @attobop.bsky.social Learning and hacking! 🌈⚡️🔥💧🌱
https://attobop.net
https://github.com/arclabs561
Vikram Saraph @vikramsaraph.com Software engineer, AI/ML researcher, and mathematician at Johns Hopkins APL.
Former New Englander, current Marylander.
Brown CS PhD and Notre Dame math alum.
Nerd of sorts (computers, math, language, puzzles, games, books, music).
Opinions are my own.
É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- A akuebler.bsky.social @akuebler.bsky.social
John Bakhmat @johnbakhmat.dev 24 y.o Software Engineer (TS/Ocaml/Gleam/Odin)
helene @personalhel.com personalhel.com
codeberg.org/personalhel
she/her (a friend of blåhaj)
🏳️⚧️🏳️🌈🇵🇸
i use nixOS on apple silicon btw - and i will get you to use typst.
happiness has to be fought for.
banner imagine created by trine kløve eriksen, 2025
Chris, The 0.5x Engineer @llcoolchris.dev 🇨🇦🇫🇷
Twitch Partner http://twitch.tv/LLCoolChris_
Software Engineer #ElixirLang #Typescript #OCaml
Built https://concentration.app https://asklive.co https://swapify.live
p1xelHer0 @p1xelher0.com 
David @david2am.bsky.social match David with 🤓 -> web dev
| 🐪 -> into #OCaml
| ✏️ -> read him on dev.to/david2am
| _ -> 🇨🇴, ✝️
arachnocapitalist @arachno.capital a short, sturdy creature, fond of drink and industry