@anjasurina.bsky.social
PhD student at EPFL interested in LLM cognition & scientific discovery with AI.
@pcn0112.bsky.social
Likely just stalking people for doomscrolling content, and posting 😺s
@argumatronic.bsky.social
solarpunk hillbilly, anti-authoritarian, homeschooling mother, vaccination proponent sometimes philosophy (ethics), linguistics, math, and computers i get my glory in the desert rain
@krzyzanowskim.com
unrelated. I'm here for bugs. https://CryptoSwift.io Founder https://swiftstudio.app, https://notepadexe.com 🛠 TextKit and text editor passionate iOS @ goodnotes.com https://swift.best
@batsov.net
Hacker. Emacs Zealot. Lover of parentheses. Firebrand. Bulgarian. Not necessarily in that order. The artist formerly known as @bbatsov. Personal blog: https://batsov.com FOSS projects blog: https://metaredux.com Emacs blog: https://emacsredux.com
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@aturon.bsky.social
Choosing love Buddhism, #rustlang, mental health / CPTSD, kids, photos, music, nerdy earnest wholesome vibes
@steveklabnik.com
#rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes. Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
@garfieldscreens.bsky.social
A random screen grab from the cartoon series Garfield and Friends every 30 minutes! | run by @garfdude.com
@cestlemieux.bsky.social
now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
@motd.rusher.com
A bot that posts a "message of the day" taken from @jackrusher.com's curated fortune file.
@furkanonder.bsky.social
Python Triage Member | Focusing on CPython #LKD #Python #ArchLinux #Django #eBPF https://github.com/furkanonder/
@guannanwei.bsky.social
Programming languages; Postdoc at INRIA/ENS; Incoming Assistant Professor at Tufts CS https://continuation.passing.style/
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@frogandtoadbot.bsky.social
Cozy random passages from Arnold Lobel's Frog and Toad books. Posts auto-delete.
@ameliadobis.bsky.social
PhD Student in CS at Princeton University PL + HW Verification MSc CS ETHZ & BSc CS EPFL [she/her] 🏳️⚧️ | 🇨🇭🇵🇹 cs.princeton.edu/~ad4048 mostly on mastodon: miado@discuss.systems
@cfbolz.bsky.social
PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Love street art and art in public spaces, hiking, reading. they/them
@joshuagrochow.bsky.social
Research: TheoryCompSci, pure math, complex systems Other: climate; covid; equity, inclusion, & accessibility Assoc. Prof. @ CU Boulder Comp. Sci. & Math Views my own @joshuagrochow@mathstodon.xyz (& prev twitter) https://home.cs.colorado.edu/~jgrochow
@vladikk.bsky.social
Author of Balancing Coupling in Software Design and Learning Domain-Driven Design 🐒
@salad.acegikmo.com
🧠 forms two thoughts per day (at most) 🧀 doorstop ☁️ cloud manager 🚇 tunnel expert 🥪 brother of @toast.acegikmo.com 🐈⬛ friend of uncle @thor.acegikmo.com (aspirational) 🐈 son of @freya.bsky.social
@tomasp.net
Assistant prof at Charles University. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
@pierredb.bsky.social
Computer science researcher/assistant professor at CVUT (Prague) Research on programming languages, including R www.pdonatbouillud.fr
@barik.net
I'm a Research Scientist exploring the intersection of human-computer interaction, machine learning, and programming languages. barik.net.
@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.
@programming-conf.bsky.social
Official website: https://2025.programming-conference.org/
@chreke.com
Functional programming enjoyer Co-founder of https://functionalsoftware.se Personal website: https://chreke.com Sometimes I write stuff here: https://blog.snork.dev/
@fmbck.bsky.social
Programming Language Researcher at the Australian National University
@buildwithtori.com
👩🏽💻I like building fun stuff ✨Currently working on atproto TikTok @skylight.social
@mariobrothblog.bsky.social
Additional obscure Mario content for http://suppermariobroth.com. Now on Patreon: https://www.patreon.com/suppermariobroth
@abailly.bsky.social
@elizas.website
e-girl (engineering girl) • interested in the kind of software nobody writes anymore • making computers at @oxide.computer • love too cheap to meter • nulla crux, nulla corona
@smallmood.dog
anilist antagonizer, anarchist, furry, maker of silly software projects | it/its/any/all | 🏳️⚧️🏳️🌈 -⃝⃤ | 🔞 | 28 | @thealpakalypse.bsky.social 💜💍 @woolstained.red 💙 pfp by @effroi.bsky.social
@trustmeim.gay
Clueless transfem nerd just trying to figure life out. I love gaming, coding and cute things :) 💜 Obsessed with NixOS Formerly eepyluna 💜🩷 @m1emi1em.dev 💜🧡 @harunaifen.bsky.social She/they | en🇺🇸/pt🇧🇷 | 30+ | 🔞 | 2025-02-26 💉🏳️⚧️
@vaibhavsagar.com
future trophy husband disco 🪩 / haskell 𝝺 / powerlifting 🏋️ / sci-fi 🚀 / scuba diving 🤿 🇦🇺🇮🇩🇮🇳 on gadigal land vaibhavsagar.com instagram.com/vbhvsgr recurse.social/@vaibhavsagar twitter.com/vbhvsgr
@michelerhee.bsky.social
rare disease & cancer patient advocate in my personal & professional lives | overall exuberant & enthusiastic person
@sagnikc4.bsky.social
interested about programming languages and type theory | writes stuff on philosophy from a beginner's take. https://sagnikc395.github.io
@eskang.bsky.social
Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/