Jared Forsyth
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
@typeholes.bsky.social
Interested in all things programming, cooking, cats. Love to explore new programming languages and build dev tools.
@jelv.is
I like programming languages. A lot. Especially Haskell. Tools, types and functions.
@mcnuttandrew.bsky.social
Professing at University of Utah vis/hci/programming interfaces (He/his) http://mcnutt.in/
@candrewlee.com
I post about tech, software engineering, and gaming (among many other things). Love to learn & build. Opinions are my own. https://candrewlee.com
@pelenitsyn.top
Postdoc at Purdue. PhD in CS. Programming languages and compilers. Julia, Haskell.
@lookitup.baby
Kubernetes SIG Security co-chair, container escape artist, aurora chaser, goose in the mainframe. Minneapolis. They/them. Stay punk 🏴 MSP feed info here: https://bsky.app/profile/lookitup.baby/post/3lapkhevr222w
@tjallingt.com
@sakamies.bsky.social
Senior dev at OP Minimalism, accessibility, ethical tech Best of: OP Kevytyrittäjä, Gridlover 🏳️🌈🏳️🌈🏳️🌈 pumpula.net
@nickthesick.com
I write many codes @blocknote.js Working on @bookhive.buzz github.com/nperez0111 Read my blog at nickthesick.com
@marcysutton.com
Senior engineer frontend infrastructure @ Khan Academy, accessibility advocate, cyclist, hiker, mom 💚 Bellingham, WA
@texoport.in
pushing typescript's type system in unfortunate directions, wrote a highly acclaimed monad tutorial https://monad-tutorial.vercel.app he/him twitch.tv/texoport
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@esmevane.com
Insipid but well-meaning software developing art gremlin. "Incoherent; mayhem." - 4/5 stars. "Couldn't make any sense of any of it, it's like he's talking to himself." - 2/5 stars. https://mastodon.esmevane.com/ironchamber https://esmevane.com
@usainzgg.bsky.social
aficionado of computers interested in {compilers ∩ distributed computing} ∪ {quantum computing} || PhD student at UPV/EHU
@vlkpack.com
Dad of 2, software developer, functional programming enthusiast, PC gamer, and very into Pathfinder. I like @rescript-lang.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.
@hdemeyer.bsky.social
Informatics PhD student @ UIUC DXL Working on human-centered interoperable representations of computation Interested in type theory, formal methods, and HCI https://isolveproblems.xyz
@asbradbury.org
Compilers at Igalia. @llvmweekly.org author. Mostly RISC-V, LLVM, and a little WebAssembly. Previously lowRISC CTO and co-founder. Blogs at https://muxup.com
@derw-lang.com
Write about language design, perf, lifting people up, and pragmatism. I take joy from when things are done well, by people who enjoy doing them Creator of the Derw language. Leader of Tekna's developer network. Tech Enabler @ Schibsted Media
@janiczek.cz
Frontend FP developer (spending a lot of time in Elm the past few years). NuAshworld MMORPG. Programming language design (cara-lang.com). Property based testing!! Music making. Drive for teaching and unblocking others, writing little experiments. He/him
@properdev.bsky.social
Indie Game Developer | Arcade Junkie If you post Star Fox, I'll like your stuff. I'm a simple man. Currently working on Unit Down Charge on Steam. Demo is up! https://store.steampowered.com/app/2509660/Unit_Down_Charge/
@aguluman.bsky.social
Backend dev with 🐫 | F# | TS | C#. Decisions are temporary. Currently playing MAFIA III
@macwright.com
writes, bikes, makes val.town, writes macwright.com, open source, geo, music and other stuff. posiwid twitter archive: https://bsky.app/profile/archive.macwright.com
@lcamtuf.coredump.cx
Substack: http://lcamtuf.substack.com/archive Homepage: http://lcamtuf.coredump.cx
@redblobgames.com
Hi! I'm Amit Patel. I explain algorithms and math with interactive web pages (incl. pathfinding, hexagons, procgen maps, voronoi). Wrote Solar Realms Elite; helped w/Barren Realms Elite and Realm of the Mad God. https://www.redblobgames.com/
@mattkeeter.com
✨ Weird CAD and graphics research ⚙️ Embedded software and Rust 🌎 Cambridge, MA 🏠 mattkeeter.com
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@kixxauth.bsky.social
Software developer who accidentally became an engineering manager at giant corp. I'm all about hypermedia and the World Wide Web. I publish a thing I call https://www.kixx.news Personal website: https://www.kriswalker.me/
@brittanyellich.com
All-end engineer @github.com in #pdx, she/her Will review your code for fun. Not the most technical one in the room. Writing at brittanyellich.com and balancedengineer.com Talking at overcommitted.dev
@jupyter.org
Multi-language interactive computing environments. Jupyter Notebook, JupyterLab and related projects – @mentions not monitored. Open issues on GitHub.
@hytradboi.bsky.social
Have you tried rubbing a database on it? https://www.hytradboi.com/2025
@smbrnsn.bsky.social
Associate Dean for Academic Affairs, Georgia Reithal Professor Law, Loyola University Chicago. Lots of taxes, jazz, cooking, and cats. Author "God and the IRS: Accommodating Religious Practice in United States Tax Law"
@keepapitchinin.bsky.social
Ardis E. Parshall - 16 years blogging, 8300+ posts. Century of Black Mormons contributor. Mormon History Association has endowed its Public History Award in my name. Returning history/opinion columnist at the Salt Lake Tribune
@petebuttigieg.bsky.social
Husband, dad, veteran, writer, and proud Midwesterner. 19th US Secretary of Transportation and former Mayor of South Bend.
@kirancodes.me
Trans girl 🏳️⚧️ | 26 Programming Languages Postdoc @ UIUC still here~ despite it all https://kirancodes.me
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@fmbck.bsky.social
Programming Language Researcher at the Australian National University
@bruno-simon.bsky.social
Creative developer • Freelancer • Teacher • 3D lover • https://bruno-simon.com • http://threejs-journey.com