@amphilomath.bsky.social @amphilomath.bsky.social 
Jan Midtgaard @janmidtgaard.bsky.social Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale.
Mastodon account: https://types.pl/@jmid
Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
Moritz Hamann @moritzhamann.com Engineering Manager at Bloomberg LP. Opinions are my own.
Mastodon: @MoritzHamann@mastodon.social
https://moritzhamann.com
Anil Madhavapeddy @anil.recoil.org Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Don Syme @dsyme.bsky.social GitHub Next. Visiting Professor Kings College London.
https://dsyme.net
https://linktr.ee/dsyme
vlaaad @vlaaad.dev When you don't say anything about yourself you can be anything.
Jeremy Manson @jeremymanson.bsky.social Software engineer. Parent. Other stuff.
Madelon Hulsebos @madelonhulsebos.bsky.social AI researcher at CWI & ELLIS Amsterdam https://trl-lab.github.io. Research on tabular AI to democratize insights from structured data. Prev at UC Berkeley and the University of Amsterdam.
https://www.madelonhulsebos.com
emily @theemilyaccount.bsky.social scrunchie enthusiast
Victor Bjelkholm 🏖️ @victor.earth Building stuff, and sometimes not building stuff, usually around Barcelona/Maresme, and usually with Clojure/Script
https://notes.victor.earth
aspe:keyoxide.org:Q6B7ZBQITV7IE2RG4EMVKWT4VI
vixentael 🛡️🇺🇦 @vixentael.bsky.social I do software security, security engineering and applied cryptography | problem-solver @cossacklabs | she | Ukraine
den the dev 🇺🇦 @denysdovhan.com FED at Wix.com • smart home, open source, gaming, history and other nerd stuff • Opinions are my own • Posts in 🇺🇦🇺🇸
Bozhidar Batsov (a.k.a. Bug) @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
Mimoune Djouallah @mimdj.bsky.social #MicrosofFabric Customer advocate, interests in Small Data & Self Service #Microsoftemployee since Dec 2023 , but my tweets are my own
Simon Willison @simonwillison.net Independent AI researcher, creator of datasette.io and llm.datasette.io, building open source tools for data journalism, writing about a lot of stuff at https://simonwillison.net/
archie.md @archie.sarrewood.com SQL, data viz, duckdb, markdown
building @evidence.dev
archie.evidence.app
Adam Marcus @marcua.net Hummus, people, and data. Co-Founder & CTO of B12. Previously Locu, MIT CSAIL. He/him.
https://marcua.net/
Queens is the future.
Emery Berger @emeryberger.bsky.social Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow. 
Hannes Mühleisen @hannes.muehleisen.org I like databases and boats. Co-creator of @duckdb.org, Co-Founder and CEO DuckDB Labs.
PVLDB @pvldb.bsky.social The Proceedings of the VLDB Endowment (PVLDB)
https://vldb.org/pvldb/
RSS Feed: https://db.cs.cmu.edu/files/rss/pvldb-rss.xml
Automated by @andypavlo.bsky.social
Paul Dix @pauldix.bsky.social Cofounder & CTO InfluxData, makers of InfluxDB, the open source time series database. Founder of NYC Machine Learning Meetup. Former Ruby on Rails developer and enthusiast (still a fan).
Aditya Parameswaran @adityagp.bsky.social Prof @ UC Berkeley. Codirector @ EPIC data lab. Cofounder @ Ponder (Acq. Snowflake). Interested in data, systems, and people. More at: adityagp.net
James Cowling @jamescowling.dev @convex.dev co-founder/CTO. Dropbox storage designer. Distributed systems researcher at MIT. Bad motorcycle mechanic. Database shill.
Peter Boncz @peterabcz.bsky.social Professor Analytical Data Systems @cwi_da and @VUamsterdam.
researcher, systems architect, educator, entrepreneur
Heather Miller @heathermiller.bsky.social Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Dominik Moritz @domoritz.de Visualization, data, AI/ML. Professor at CMU (@dig.cmu.edu, @hcii.cmu.edu) and researcher at Apple. Previously @idl.uw.edu. Also sailboats ⛵️ and chocolate 🍫.
www.domoritz.de
Andy Pavlo @andypavlo.bsky.social Database Research @ ClickHouse
Associate Prof. of Databases @ Carnegie Mellon.
FUN OCaml @handle.invalid FUN OCaml 2024 is an open source hacking event dedicated to OCaml enthusiasts and professionals
September 15+16, 2025 - Warsaw, Poland
https://www.youtube.com/@FUNOCaml
Christina Qi @cqi.bsky.social Just some person 
Cam @camlperr.bsky.social 
Citrini @citrini.bsky.social Cross-Asset Reflexivity
Leo 🏴☠️ @leostera.com typed actor maxxing since 2018 · http://github.com/leostera
Alice ✨ @welltypedwit.ch There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
sabine 🐫🦀 / "use ocaml"; @sabine.sh OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
OCaml @ocaml.org https://ocaml.org
Max Slater @thenumb.at https://thenumb.at
Computer Graphics, Programming, Math, OxCaml, C++
Tom @lessp.dev appreciator of intuitive UI experiences, functional programming, and outdoors. occasional music maker
O'Cameleer @ ahrefs
Stockholm, Sweden
Vladimir Keleshev @keleshev.com OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas
Copenhagen
μ @aripiprazole.dev 
Lukasz Stafiniak @lukstafi.bsky.social Currently I'm an independent wannabe researcher working on Machine Learning and AI in OCaml.
maxrn @maxrn.dev Computer science student
Go, nix, OCaml, some web
neovim btw
David @david2am.bsky.social match David with 🤓 -> web dev
| 🐪 -> into #OCaml
| ✏️ -> read him on dev.to/david2am
| _ -> 🇨🇴, ✝️
Joey Trapp @itsatrapp.com Web developer at Apple. FP enthusiast. #ElixirLang, Gleam, #Erlang, #OCaml, and JS when forced.
Ryan @sirpandathered.bsky.social Ocaml Cameleer 🐫, C enthusiast, Reading 🦀for 🦀aceans and learning Go on http://Boot.dev.
Got an amazin wife and two future little cameleers
I use nvim btw
xvw @xvw.lol Allo. I'm Xavier Van de Woestyne from 🇧🇪, living in Nantes. I'm a wannabe software engineer who tweets in rough 🇫🇷 and catastrophic 🇬🇧! I'm interested in functional programming (with statically typed languages).
🇫🇷 https://xvw.lol, 🇬🇧 https://xvw.lol/en
Thomas Gazagnaire @gazagnaire.org #ocaml #mirageOS - CEO of @tarides.com - CTO of https://parsimoni.co
ex Docker, Unikernel Systems, Citrix
DMs open for collaboration on OCaml, Irmin or MirageOS projects!
Dmitriy Kovalenko @neogoose.bsky.social Born to use camera, forced to use neovim.
Made odiff, working on http://fframes.studio, writing assembly for fun and JavaScript for money.
p1xelHer0 @p1xelher0.com 
Dmitrii Kovanikov @chshersh.com Senior Software Engineer. I use C++
Main: http://x.com/chshersh
All opinions are my own.
Dillon Mulroy λ @dillonis.online Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Michael Bacarella @michael.bacarella.com Founder GPShopper (successful exit)
ex-Jane Street (pre-SBF)
ex-Google (pre-Sundar)
occasional shitpoaster
Simon Marlow @simonmar.bsky.social I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
William Gibson @greatdismal.bsky.social Author of Neuromancer and, most recently, Agency (still above from “Kill Switch”, The X-Files, Season 5, Episode 11, co-written with Tom Maddox)
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
halfconductor @halbconductor.bsky.social Semiconductor industry, PhD in Semiconductor Device Physics, Europe/Austria
Ben Golub @bengolub.bsky.social economics and computer science professor at Northwestern
bengolub.net
social and economic networks
originally from Ukraine
Corey Hoffstein 🏴☠️ @choffstein.bsky.social CEO/CIO @ Newfound Research. 🥞 Return Stacking // 🌊 Liquidity Cascades // 📆 Rebalance Timing Luck. Risk cannot be destroyed, only transformed.
🎙️ flirtingwithmodels.com
🥞 www.returnstacked.com
Tina @moreproteinbars.bsky.social 
Zaphod @zaphod.bsky.social Dad x4. Markets, music, and basic degen things.
Johannes Meixner @xmj.me https://xmj.me
twtr: @xmjEE + @ShannonsDemon
Systems Engineering & Real Estate & Kelly Betting
Volmagorov @volmagorov.bsky.social Vol PM (energy vol), PhD in math. Causing myself stress is my superpower.
Andy Constan @dampedspring.bsky.social Damped Spring Macro Research, Investing & investor education, Brevan Howard, Bridgewater, Salomon, Father of 4. Go Penn, Pats, Sox, No post is advice
Doug Colkitt @0xdoug.bsky.social 
🅰LB🅰 @albacapmgmt.bsky.social Volatility / Macro Tradeoooor
Memeoooor
Shitpostoooor (funny sometimes)
I run a very very small Hedge Fund I built all by myself you know
@echpochmax.bsky.social @echpochmax.bsky.social 
Steve Klabnik @steveklabnik.com #rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.- E Jon Eskin @eskin.bsky.social https://jeskin.net
Martin Kleppmann @martin.kleppmann.com Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
Papers We Love @paperswelove.org A community of folks into computer science research and using it for great justice.
🌏 https://paperswelove.org
👀 https://pwlconf.org
🦣 https://mstdn.io/@paperswelove
📺 https://www.youtube.com/@PapersWeLove
Alex Miller @alexmiller.bsky.social Clojure, Strange Loop
Quantian @quantian.bsky.social Locked in and posting regularly on here now
eggnog slut @deus01.bsky.social crushing white monster for maximum wokeness
Bbg Terminal Users Local 69
Joel Rubano @jrubano.bsky.social Trader Education & Development. Founder - Instradev, LLC. Author - Trader Construction Kit. https://www.amazon.com/dp/0997629517
KeyPaganRush @keypaganrush.bsky.social Finance Noob, Retail carry-whore
Senior PowerPoint Engineer @ryxcommar.bsky.social Senior document signer @ Docusign, prev: lead risk manager @ Alameda Research
Bucco Capital @buccocapital.bsky.social Tweeting about tech and gabagool
Eric Basmajian @epbresearch.bsky.social The economy moves in a sequence. Read it before consensus does.
Free Sunday Newsletter: https://www.epbresearch.com/newsletter
Travis @coloradotravis.bsky.social Startup CEO
Philosophy degrees are worth it
Member, AuDHD Masking Society (rank: Daywalker)
Hardened Quellist
Kris Abdelmessih @moontower.bsky.social 🌙Join 25k readers: http://moontower.substack.com
👽Option analytics moontower.ai
🎲Boardgames
🎸Guitars
Stay groovy
☮️
Kris Sidial @ksidiii.bsky.social Hedge Fund Manager - (Exotic derivatives/ Volatility / Tail risk hedging)
https://www.ambrusgroup.com
UPenn Guy
Nothing I say is investment advice
God is great! 
experquisite @experquisite.bsky.social Quant/dev/trading, enjoy Rust, FPGA hacking, and more
Horse @horse.bsky.social Trader. Lifting Iron and Offers. Market Merc. Girl Dad. Husband to one of those crazy horse ladies. Burn the ships and make it count.
SL @stevelong.bsky.social 9-5 Trading Vol
Efficient Market Hype @effmkthype.bsky.social I'm here to post memes and read shitty tea leaves, and I'm all outta memes
cephalopod @macrocephalopod.bsky.social you may know me from such social platforms as: twitter
Matt Levine @matt-levine.bsky.social the money stuff guy
Kate @kit-ty-kate.exn.st Some kind of nerd by day and goblin by night.
Cyclophosphamide connoisseur.
🚩🏴
📍 Glasgow, Scotland
📢 FR/EN/DE
🎨 Avatar by @chordbug.bsky.social
📓 exn.st
See also:
🐘 mastodon.social/@kit_ty_kate
🐞 https://cohost.org/kit-ty-kate
Niki Tonsky @tonsky.me Fira Code, Datascript, Humble UI, #clojure
Roman Liutikov @romanliutikov.com software engineer @ margelo, ex @whimsical, ex @pitch
https://romanliutikov.com/blog/
(λ. borkdude) @borkdude.bsky.social #clojure (#cljKondo, #babashka) * functional programming * whole food plant based * progressive rock+metal * ♥ @lalage_ * http://github.com/borkdude
hotsyk🇺🇦 @hotsyk.bsky.social VIN ✈️ KBP ✈️ SFO ✈️ PDX
#StandWithUkraine
Julia Evans @b0rk.jvns.ca programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com
illia 🇺🇦 @falsefalse.furman.im 🌊 never a miscommunication
Max Penet @s-exp.com 🇨🇭🇧🇷 • Functional programming polyglot • clojure • emacs • climbing - breeding bugs at @exoscale.com • https://s-exp.com