Andre Popp @andreypopp.bsky.social 
Mayor Zohran Kwame Mamdani @mayor.nyc.gov Fighting every day to deliver a city that working New Yorkers can actually afford. Mayor of New York City.
Tim McGilchrist @tsmc.purely-functional.com OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery.
More at https://lambdafoo.com
Zohran Kwame Mamdani @zohrankmamdani.bsky.social Mayor of New York City
Stanley Donwood @stanleydonwood.bsky.social 
aron @adler.dev ⊙ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
Emile @etrotignon.bsky.social It needs but one foe to breed a war, not two, Master Warden, answered Éowyn. And those who have not swords can still die upon them.
Jerry Chen @jcsalterego.bsky.social 1x winner of the "oh i'm pretty sure that's just jerry spreading misinformation" award 🥇🏆
"a merchant, selling microdoses of pleasant fictions" - tyler
• Goodfeeds @goodfeeds.co
• Sky․app @getsky.app
thanked by darth july 20, 2023
📍Austin, TX
Cory Booker @corybooker.com U.S. Senator from New Jersey. 
Yuri Albuquerque @yurialbuquerque.dev Costumava ser @Denommus no Twitter. Programador de tecnologia que não gosta, comunista chato, autista, faço stream casualmente no https://twitch.tv/BolivarAdept
Não tenho política de sdv, se eu te sigo foi por algum motivo arbitrário.
Тsфdiиg @tsoding.bsky.social Recreational Programming
- https://www.youtube.com/@Tsoding
- https://www.youtube.com/@TsodingDaily
- http://twitch.tv/tsoding
⠀⢀⣰⣾⡿⣶⣿⠿⣶
⢠⣼⣿⣿⣷⣿⣿⣶⠉
⢸⣿⣿⣿⣿⣿⣿⠀⠀
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
David Sancho @david.sancho.dev Open Source UI infra at @ahrefs.bsky.social with OCaml
Made styled-ppx and server-reason-react
Working on Reason / Melange / reason-react and friends
Made styled-ppx and server-reason-react
Working on reason-react / Melange / Reason
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
Robert Reich @rbreich.bsky.social Berkeley professor, former Secretary of Labor. Co-founder of @inequalitymedia.bsky.social and @imcivicaction.bsky.social.
Substack: http://robertreich.substack.com
Buy my new book: https://sites.prh.com/reich
Visit my website: https://rbreich.com/
Captain Disillusion @captaindisillusion.bsky.social Videos. Educational? Not really. Funny? Eh.
"the Chappell Roan of educational YouTube"
youtube.com/@captaindisillusion
patreon.com/captaindisillusion
https://go.nebula.tv/captaindisillusion
Thom Yorke @thomyorke.wastehq.social https://waste.lnk.to/thomyorke.linksBS
Dmitrii Kovanikov @chshersh.com 🧑💻 Senior Software Engineer at Bloomberg using C++
📽 Content: https://youtube.com/c/chshersh
All opinions are my own.
Rudy Onfroy @rudyonfroy.bsky.social Product Builder, Développeur, CTO, CPO.
sabine 🐫🦀 / "use ocaml"; @sabine.sh OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
Eduardo Rafael @eduardorfs.com 27yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
kurtis conner @kurtis-conner.bsky.social I can drive a car blindfolded but it’s hard to find a blindfold that fits around my car
The Onion @theonion.com America’s Finest News Source. A @globaltetrahedron.bsky.social subsidiary.
Get the paper delivered to your door: membership.theonion.com
Join The Onion Newsletter: https://theonion.com/newsletters/
Hank Green @hankgreen.bsky.social Long Time Internet Guy
@radiohead.bsky.social @radiohead.bsky.social 
Bodega Cats @bodegacats.bsky.social https://www.bodegacats.nyc
jacksfilms @jjjacksfilms.bsky.social YIAY guy | ReactBot | The Questions Get Worse | Credit the Creators
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.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
Leo 🏴☠️ @leostera.com typed actor maxxing since 2018 · http://github.com/leostera
OCaml @ocaml.org https://ocaml.org
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!
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
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Rizo Isrof @rizo.odis.io Lost in macroexpand
https://github.com/rizo
Alternative Music @alternativerock.bsky.social #AlternativeRock #AlternativeMusic #NewWave #PostPunk #Ska #Punk #Garage #Dub #Electronic #Synth #Music etc.
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
ProgramingIsTheFuture @programingisthefuture.com Ω := (λx.x x) (λx.x x)
To Ω and beyond!
Backend developer with OCaml by day 🐫
Type theorist by night 🫣
I use Arch, (and neovim) btw 😎
(fun x -> x) myself @smdsousa.bsky.social Doing stuff, learning things, explaining them.