Brett Evans
Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
@iosdevheath.bsky.social
Posting about Swift, SwiftUI, and SwiftData.
@czechboy0.dev
Swift Server Engineer at Apple ๐๐จ๐ฟ๐บ๐ธ he/him Signal: honzadvorsky.99 This is my dev account, see @honzadvorsky.com for my personal alt account. I only speak for myself. https://github.com/czechboy0 https://honzadvorsky.com
@hishnash.bsky.social
Data Scientist, #Python and #SwiftLang, macOS/iPadOS app developer
@hoe.wiki
The sky is not that blue. Thoughts are mine, unless someone else said it first and I forgot. Tech, Privacy, mediocre comedy. some of these are lies. she/her. Hacks so much. Talk to me about : Devices, AI / ML, infosec, Pole Dancing, aliens. Seattle-ish
@shehackspurple.bsky.social
Best-selling author of Alice and Bob Learn Secure Coding & Alice and Bob Learn Application Security. Secure Code Trainer - Nerd @Semgrep #AppSec she/her https://shehackspurple.ca ๐ป
@alt18f.bsky.social
Delivered effective, efficient, and secure digital services for the American people until we were forced to stop on March 1. Not an official government account. Reposts are not endorsements. Our new website: https://18f.org/ #AltGov
@saron.bsky.social
Web evangelist at Apple ๏ฃฟ, founder CodeNewbie (acquired), developer, creator, chief baker of the Try Bakery (located in my kitchen โค๏ธ)
@roehl.dev
๐ Building an independent app business in public ๐ช Making the best habit tracking app out there: habitkit.app ๐ก Sharing my learnings about development, marketing and sales
@districtcon.bsky.social
A new DC hacker conference: Bringing together builders, breakers, and fixers to do cool shit. Jan. 24-25, 2026 districtcon.org
@beyondtellerrand.com
beyond tellerrand is the affordable single-track event where creativity and technology meet. Taking place in a renowned, familiar and friendly atmosphere. Next event: Dรผsseldorf, May 5โ6
@swift.org
Swift is a general-purpose programming language that's fast, modern, safe, and a joy to write. Designed for all, developed in the open.
@jacks.grndcntrl.net
Aviation, Space and ElonJet @elonjet.net https://instagram.com/jacksweeney https://grndcntrl.net/
@wattenberger.com
web dev, design, LLMs, data viz, tools for thought โจ Design @ SHV ๐ธ wattenberger.com
@owo.me
* they/she * fedi @erin@coolmathgam.es * professional dork * piss verified * hello on the sky app ๐๐ฅบ views here are of my ownโฆ
@poetry.camera
a new way to see your world Preorder @ poetry.camera IG: instagram.com/poetry.camera Newsletter: poetrycamera.substack.com
@predr.ag
Author of cargo-semver-checks & Trustfall // https://github.com/sponsors/obi1kenobi // https://predr.ag/blog // ex Principal Eng @Kensho // MIT alum // https://hachyderm.io/@predrag // not from around here ๐ฒ๐ฐ // he-him
@briantrice.bsky.social
Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Former nuclear tech, always NB. They/them. https://signal.me/#eu/5U6AQo_peWVxKPh5raxwBKUp8UxZm4iwfIb-21fgVSVQFRgfXn1DF42nvXiWSNfu
@mwh.nz
I make programming languages and interfaces at Victoria University of Wellington
@leif.pl
I study visual and interactive syntax (hybrid textual-visual languages) at UMass Boston. Pronouns she/her, they/them, or ask. Mostly blind #girlslikeus #exmormon #blacklivesmatter
@mcoblenz.bsky.social
Assistant Prof. at UC San Diego. Helping people write better software.
@jayl.in
โช~ แ(แ)แ PhD student @ umich researching accessibility, diy tech, AR she/her jayl.in
@negabinary.bsky.social
@wolkenmachine.bsky.social
In(ter)dependant researcher and toolmaker. Currently inventing programmable ink at Ink&Switch. http://wolkenmachine.nl
@colelawrence.com
End user programming & AI tool designer. ๐ ๏ธ CTO at @forethink.ai & https://phosphor.co ๐ฆ Rust NYC / https://RustEastCoast.com organizer ๐๐ปโโ๏ธhe/him
@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.
@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
@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.
@mcnuttandrew.bsky.social
Professing at University of Utah vis/hci/programming interfaces (He/his) http://mcnutt.in/
@alcidesfonseca.com
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
@kirancodes.me
Trans girl ๐ณ๏ธโโง๏ธ | 26 Programming Languages Postdoc @ UIUC still here~ despite it all https://kirancodes.me
@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
@marianoguerra.org
๐ง๐ฝโ๐ป Co-founder of Gloodata & Instadeq ๐ Co-author of https://wasmfromthegroundup.com/ ๐ฐ Future of Coding Weekly: https://newsletter.futureofcoding.org/join/
@taylor.town
๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐ taylor.town ๐๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐
@amyko.phd
Professor @ University of Washington iSchool. Computing, learning, design, justice, kitties, tacos, coffee, gender, politics, and transit. I write at amyjko.medium.com. For fun, I maintain wordplay.dev, bookish.press, adminima.app, reciprocal.reviews.
@ionchy.ca
it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL โ UBC โฆ PhD @ PLClub โ UPenn asian-canadian ๐จ๐ฆ๐น๐ผ๐ญ๐ฐ๐ณ๏ธโ๐ https://ionathan.ch