@profkinyon.bsky.social
Mathematics professor at the University of Denver. Quasigroups, Semigroups, Automated Deduction. He/Him. Also hanging out at Mathstodon.
@se4fp.bsky.social
1st Workshop on Software Engineering for Functional Programming (SE4FP) In 2025, SE4FP is co-located with the @cbsoft.bsky.social Website: https://se4fp.github.io/2025/
@osakanone.bsky.social
Omegle might be dead but I've still got you, FBI agent your weird auntie (38) // viscacha larping as a bunnygirl CEO of Analheim Electronica: mecha obsessive, coder, game design, human factors, high powered mutant linktr.ee/anosaka Milf and cookies
@finneganeganegan.bsky.social
Hey, I'm Finn! :) Composer / Sound designer / Programmer / Musician / Dabbler https://finneganeganegan.xyz/
@folkjs.org
What would happen if we blurred the distinction between the web page and the spatial canvas? https://folk.systems/
@just-be.dev
Open-source enthusiast; maker. Previously at Val.town, Membrane.io, oxide.computer, artsy.net. Co-host of devtools.fm. Recurse center alum. Twitter: @zephraph Mast: just_be@pkm.social
@milanks.com
Making a game about connecting the dots Wishlist @ scrnprnt.ca/stellations/ Work @ milanks.com Scribbler @ instagram.com/milan.werkstatte/
@thentrythis.social.thentrythis.org.ap.brid.gy
Non-profit and #OpenSource #research, #design and development studio for environmental and social purpose. (used to be called FoAM Kernow) [bridged from https://social.thentrythis.org/@thentrythis on the fediverse by https://fed.brid.gy/ ]
@sigplan-pldi.bsky.social
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi25.sigplan.org/. Official hashtag this year: #PLDI2025. Posts by @konstantinoskallas.bsky.social and @lastland.bsky.social.
@guannanwei.bsky.social
Programming languages; Postdoc at INRIA/ENS; Incoming Assistant Professor at Tufts CS https://continuation.passing.style/
@texoport.in
typescripttypescripttypescripttypescripttypescripttypescripttypescripttypescripttypescripttypescripttypescripttypescripttypescripttypescripttypescript he/him twitch.tv/texoport
@scientificdiscovery.dev
Science writer and chart maker. Researcher at Our World in Data. Co-founder of Works in Progress. Newsletter: https://scientificdiscovery.dev https://twitter.com/salonium 🏳️🌈
@lucy3.bsky.social
UCBerkeley PhD student. #NLProc, computational social science, cultural analytics, AI fairness. she/her. A free range chicken; previously at Ai2, MSR, Stanford. https://lucy3.github.io
@typeholes.bsky.social
Interested in all things programming, cooking, cats. Love to explore new programming languages and build dev tools.
@edwin.type-driven.org.uk
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com) https://www.type-driven.org.uk/edwinb/ https://www.lambda-miners.org.uk/
@xxl3gacyb3taxx.bsky.social
Personal account! For a more professional account, see @desk.arcades.agency ACAB, Game Dev, leftist politics, en/de/fr, IA/GA, please talk to me! I don't bite, unless asked. 🇵🇸🇺🇦 | it/its/they/them | 18
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@bcantrill.bsky.social
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
@alexwarth.bsky.social
Principal Investigator at @inkandswitch.com Formerly at Alan Kay's research groups (YCR/HARC, CDG, VPRI), and Google Creator of OMeta, co-creator of ohmjs.org
@andreterron.com
@barik.net
I'm a Research Scientist exploring the intersection of human-computer interaction, machine learning, and programming languages. barik.net.
@crowdhailer.bsky.social
I am working to maximize agency in the digital world. I believe human ingenuity and productivity is diminished by the tools available today. eyg.run
@godsped.com
@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.
@pdarragh.bsky.social
he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI. Mastodon: https://types.pl/@pdarragh
@hojberg.xyz
Front-End @unison-lang.org (Leading UCM Desktop and Unison Share) https://github.com/hojberg Web: hojberg.dev Writing: https://programming-is-collaboration.com Dance more!
@bengolub.bsky.social
economics and computer science professor at Northwestern bengolub.net social and economic networks originally from Ukraine
@benjaminreinhardt.com
Dare mighty things! Journeyman wondersmith at Speculative Technologies. 🏴☠️🪐🐉 https://Benjaminreinhardt.com + https://spec.tech
@dynamicaspects.org
Making software more open, explorable and self-explanatory Also: subjectivity, agency, active inference, niche construction, enactivism @plrg-bristol.bsky.social @iccscambridge.bsky.social @f.luid.org
@terkel.com
Brooklyn's favorite tech cuckoo 🤪 Internet enthusiast and maker of digital ephemera. Web, LLMs, design, and creative coding. R&D GitHub Next @githubnext.com
@qntm.org
Creator of There Is No Antimemetics Division (https://qntm.org/antimemetics), "Lena" (https://qntm.org/mmacevedo), Absurdle, HATETRIS and many other cool things (https://qntm.org)
@jaredforsyth.com
trying to be christian. feminist. mormon. type theory, PLT Mobile dev @KhanAcademy building kipos https://github.com/kipos-lang/kipos @jaredforsyth on the dead bird site
@ericeide.bsky.social
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
@sabine.sh
OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨ twitch.tv/sabine_sh github.com/sabine
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@alcidesfonseca.com
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com