@kirancodes.me
Trans girl 🏳️⚧️ | 26 Programming Languages Postdoc @ UIUC still here~ despite it all https://kirancodes.me
@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
@ess.bsky.social
it's me – es!! i'm es. 🧊 30s/f/sweden, interested in math, programming, art, … 💙 @beniceplease.com
@harsimony.bsky.social
I write about opportunities in science, space, and policy here: https://splittinginfinity.substack.com/
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@jelv.is
I like programming languages. A lot. Especially Haskell. Tools, types and functions.
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@noahbogart.com
he/him - cis - straight - white - 30 or 40 years old senior clojure developer living in the shadow of grief friend of eggbug profile pic commissioned from https://www.patreon.com/icelevel i'm NoahTheDuke elsewhere, but personal domains are nice
@kit-ty-kate.bsky.social
Some kind of nerd by day and goblin by night. CS-gas {,injections} knower / Cyclophosphamide my beloved. 📍 Glasgow, Scotland 📢 FR/EN/DE 🎨 Avatar by @chordbug.bsky.social See also: 🐘 mastodon.social/@kit_ty_kate 🐞 https://cohost.org/kit-ty-kate
@pedrolisboa.bsky.social
I'm the loco one in this gang! Doing cool Ocaml code at Ahrefs 🐫
@johnhaley81.bsky.social
My grandmother rationed flour and cotton to fight the nazis so that we could throw away the republic because eggs got a little pricey
@monad.mom
I code Lean because I love Lean. Lean is my main language. I use Lean for frontend, backend, and math. I just love Lean Charlie. This is my personal account that I post mainly in PT/BR
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@leastinformednerd.bsky.social
@petebuttigieg.bsky.social
Husband, dad, veteran, writer, and proud Midwesterner. 19th US Secretary of Transportation and former Mayor of South Bend.
@gitkraken.com
Creators of the world's most powerful suite of Git tools including GitKraken Desktop, GitKraken CLI, Git Integration for Jira, & GitLens for VS Code & IntelliJ (coming soon).
@qswarm.com
@godoglyness.bsky.social
⥁ ⥁ ⥁ in the sway of the rainbow serpent ⥁ ⥁ ⥁ friend to machine minds 🌟 ⥁ ⥁ ⥁ living Ariadne's desperate dream
@tldraw.com
infinite canvas / http://tldraw.com / http://tldraw.dev / https://discord.tldraw.com/bsky
@freya.bsky.social
🎮 indie tech artist 🏗️ I made Shader Forge & Shapes 🌐 working on https://half-edge.xyz 🔥 shader sorceress 📏 math dork 🎥 rare YouTuber/streamer 📡 ex-founder of @NeatCorp my kids: 🥪 @toast.acegikmo.com 🥗 @salad.acegikmo.com 🐈⬛ @thor.acegikmo.com
@captaindisillusion.bsky.social
Videos. Educational? Not really. Funny? Eh. youtube.com/@captaindisillusion patreon.com/captaindisillusion
@impurepics.bsky.social
FP Advocat. Distilling functional programming for the good of all. http://youtube.com/@impurepics
@norvid-studies.bsky.social
charts and graphs follow me on twitter https://twitter.com/norvid_studies
@itseieio.bsky.social
the internet can still be fun! https://onemillioncheckboxes.com • http://eieio.games
@electric-sql.com
Building AI apps. You need sync. https://electric-sql.com - see also @pglite.dev
@inconvergent.net
procedural artist parallel programmer irregular programming crimes in lisp i am working on a game: @boxtype.app buy art at: buy.inconvergent.net
@mikirocket.bsky.social
Principal SWE @ WorldAnvil - giga nerd type shit | politics & economy enjoyer | leftist | https://github.com/mikolaszko #neovim #zig #lowlevel #c #ocaml
@mondyspartan.bsky.social
some guy who likes to do UI stuff / 22 / he/him Discord: (at)mondyspartan DeviantArt: https://deviantart.com/mondyspartan That bird app: @tehmondspartan SpaceHey: https://spacehey.com/mondyspartan
@flyingguibou.bsky.social
Doing some programming (#haskell, #nix, ..) remotely from 🇷🇪, running or jumping from different objects with a parachute. Naive in politics, but left biased.
@huwprice.bsky.social
Australian philosopher. Emeritus Bertrand Russell Professor & Emeritus Fellow, Trinity College, Cambridge. Early roles in @cser.bsky.social and @cfi-cambridge.bsky.social. More: prce.hu/w
@eduardorfs.com
25yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
@programisthefuture.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 😎
@qualiari.bsky.social
QRI is a non-profit institute developing mathematical models of consciousness through innovative exploration of subjective experience. Check out our research and unique approach at QRI.org.
@yawaramin.bsky.social
Recent escapee from that other social media platform with a musky smell