Ty Overby
Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
@localfirst.fm
A podcast about local-first software development. Hosted by @schickling.dev.
@gabrielledrolet.bsky.social
Writer and cartoonist based in Montreal. My first book is out May 20 :) Gabrielledrolet.com
@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/
@nikomatsakis.com
Weird Al meets Grace Hopper. Rustacean. He/him. I work for @AWSCloud. Opinions on twitter and elsewhere are my own.
@opinionhaver.bsky.social
Endowed chair of the Tocqueville-Rand Freedom Enterprise Markets Innovation Center. Bound but not protected, I lie but I do not pretend. 🚰 🏗
@jcsalterego.bsky.social
1x winner of the "oh i'm pretty sure that's just jerry spreading misinformation" award 🥇🏆 • Goodfeeds https://goodfeeds.co/ • @skyapp.bsky.social thanked by darth july 20, 2023 📍Austin, TX
@kenjennings.bsky.social
Your Jeopardy! pal. Author of 100 PLACES TO SEE AFTER YOU DIE (bit.ly/3kLgJKO) and a bunch of other stuff. OMNIBUS co-founder (patreon.com/omnibusproject).
@mallorymcmorrow.bsky.social
Candidate for U.S. Senate | Michigan State Senate Majority Whip | Notre Dame ☘️ | Ray Wert’s ginger half | Noa's mom |
@zackbach.bsky.social
Undergraduate programming languages researcher @ Northeastern PRL Logic, types, compilers, categories Incoming intern @ Apple, Jane Street
@simon-r07.bsky.social
Student, theoretical computer science and functional programming enthusiast, OCamk enjoyer Early student in CS at Technische Universität München Other interests: Physics, Accordion, Judo and Design https://simonreilich.github.io/
@piss.beauty
disco fag & technology sister. co-founder @ https://ondora.xyz https://github.com/stella3d 📍= ATX / ✈️
@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)
@aoc.bsky.social
Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible. ocasiocortez.com
@petevilter.me
Working on grid interconnection at Pearl Street Technologies. Prev databases and things at RelationalAI, Bubble, Cockroach. https://petevilter.me
@boogalooh.bsky.social
Former game dev now working as a Rust developer in finance. Love functional programming and making terrible games in my free time!
@v21.bsky.social
hello again made (and continuing to make) downpour.games, a game-making app that anyone can use also i have a website: v21.io
@jon.recoil.org
@novnod.dev
nerd | software engineer | gaymer 🏳️🌈 | anime connoisseur | language enthusiast 🇫🇷🇮🇹 neovim btw
@gm0stache.tigerente.dev
code artisan. internet hippie. techno optimist. eu/acc advocate. [🧑💻...💥](https://codeberg.org/gm0stache)
@silviasellan.bsky.social
Incoming Assistant Professor of Computer Graphics and Geometry Processing at Columbia University www.silviasellan.com
@alexanderobenauer.com
I'm exploring the interfaces with which we think & the future of personal computing → alexanderobenauer.com
@thebulwark.com
Political analysis and reporting free of tribal prejudices. Sign up for our newsletters here: https://thebulwark.com/subscribe
@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
@patrick.sirref.org
PhD Student @ Uni of Cam https://patrick.sirref.org https://github.com/patricoferris
@crampell.bsky.social
MSNBC anchor/co-host of The Weekend: Primetime, Sat/Sun 6-9pm. Washington Post syndicated op-ed columnist. Econ, politics, immigration, tax, etc. + occasional theater nerdery.
@negabinary.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
@tonofcrates.bsky.social
@nathanvprice.com
Software engineer; databases, data replications, systems, infra, ml platforms. Rust 🦀 (mostly). nathanvprice.com
@mcy.gay
a whimsicott crawled into your compiler and got stuck call me miguel. yes! i am a furry! more arts: art.mcyoung.xyz writings: mcyoung.xyz comm info: mcyoung.xyz/comms 📍Seattle, WA
@pvh.ca
just this guy, you know? (director of research @ ink & switch, coined "local-first", contributor to automerge, former postgres guy, heroku staff, ex-game developer, arctic oceanographer.)
@steveklabnik.com
#rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes. Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
@rm4n0s.bsky.social
I want to bring back waterfall methodologies and the development of monolithic servers. Blog: https://rm4n0s.github.io/
@dbp.bsky.social
Assistant Teaching Prof @ Northeastern. Programming Languages, Types, Language Interoperability. Opinions my own, not my employers.
@seaotta.dev
💻 Designer & Product Manager. 🕸️ Now: Web Platform @ Igalia. Prev: Microsoft Edge. 📚 Author of Design for Developers. 🔮 Sassy web witch & actual witch. 🏴 Seattle gal in England. 💍 @jhey.dev https://seaotta.dev
@tmnflck.bsky.social
Trying to be a decent human, developer and human. Currently helping carla.se to be the best car seller in Sweden. Working with: rescript, react, GraphQl, relay, NextJs