One Happy Fellow
OCaml dev, pondering The Abstract and The Concrete; soft spot for PLT (in recovery), love making computers sweat, trying to write more, a raging nerd
bluesky is just a backup, I’m mostly on twitter
happyfellow.bearblog.dev
@mayaofspring.bsky.social
📍London 🧑💻🧵🪡🌸λ let's meet! | maths-brained | no being mean pls! | aspiring to discernment without blindspots | ties🇵🇱🇬🇧| also on twitter
@gosha.net
Up at 5, writing #Clojure. Making Parts (https://parts.ifs.tools), a toolkit for #InternalFamilySystems therapists. #Lisp fan, photographer, husband, dad. ⚫ Studio: @a.possible.space 🏡 Homepage: https://gosha.net 📍 SE London
@metameeee.bsky.social
Just that typical gender non-conforming long-bearded autistic queer dude yelling at clouds (and cloud providers) that has everything and nothing figured out all at the same time. I don't agree with any of your opinions. 🏳️🌈
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@www.stephendiehl.com
Softwares, maths, compilers and bears. https://www.stephendiehl.com/
@zackbach.bsky.social
Undergraduate programming languages researcher @ Northeastern PRL Logic, types, compilers, categories Research intern @ Apple
@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.
@ttforall.bsky.social
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
@joomy.bsky.social
researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey. 🐦: http://twitter.com/joomy 🕸️: http://joomy.korkutblech.com
@abram.bsky.social
@shreyascodes.tech
passionate developer, http://htmx.ceo 🤷 btw! always happy / *never sad (same thing) mental af ? 🤔 señor junior dev, I'm here to have fun and make friends * = almost
@dialecticalrussell.bsky.social
Eclectic Bakuninist Math/Computer Science musings can be found over at [email protected]
@xkcd.com
@dillonis.online
Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
@techsavvytravvy.com
sr software engineer @ crunchyroll 🦀🔪 @ crablang winning the fight against Big Outside™ 2024 hellthread heavyweight champion gas station snack enthusiast, father of some, does leetcode problems hardest to easiest, never sleeps, sometimes streams
@felipe.rs
SWE @ dbt Labs. Past: SDF, VoDa, Spotify. Apache Arrow/Databases/Compilers/DistSys. Rust/C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎 http://bento.me/felipe / https://felipe.rs
@chshersh.com
🧑💻 Senior Software Engineer at Bloomberg using OCaml 🐫 ♾️ Autistic 📽 Content: https://youtube.com/c/chshersh All opinions are my own.
@swyx.io
i want everyone to aspire to integrity, intensity, and intentionality. see also @latent.space
@eduardogm.bsky.social
long-term cs student | sucking at GD wave | fp/haskell/ocaml enjoyer | building a Fine programming language
@david.sancho.dev
Software engineer at @ahrefs building open source tools with Reason and OCaml — styled-ppx / server-reason-react / reason-react / Reason / Melange
@leostera.com
staff eng/pm making dev tools for #ocaml at @tarides.com 💆 mission for 2025: take care of leo 📸 street photographer at photo.leostera.com 📺 watch me code: twitch.tv/leostera 📝 writes at leostera.com 🇦🇷🇸🇪🏳️🌈🖖🏼 he/they #adhd
@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
@sabine.sh
OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨ twitch.tv/sabine_sh github.com/sabine
@spocino.bsky.social
@vividvoid.bsky.social
I believe in everything. Nothing is sacred. I believe in nothing. Everything is sacred.
@qntm.org
There Is No Antimemetics Division (https://qntm.org/antimemetics) ~ "Lena" ~ Absurdle ~ HATETRIS ~ many other cool things
@kosmikus.bsky.social
Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder. Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
@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.
@kmett.ai
Founder/Chief Scientist @ positron.ai I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason http://calendly.com/ekmett http://github.com/ekmett http://x.com/kmett http://comonad.com/reader
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@haskell.org
Committed to a welcoming, vibrant & flourishing #Haskell community! Find us on https://haskell.org and https://blog.haskell.org
@handle.invalid
FUN OCaml 2024 is an open source hacking event dedicated to OCaml enthusiasts and professionals https://www.youtube.com/@FUNOCaml
@bartoszmilewski.bsky.social
Physicist, mathematician, programmer. "The Dao of Functional Programming" Regularly updated work in progress. PDF on GitHub: https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
@inkandswitch.com
An independent research lab exploring the future of tools for thought. We envision a new computer that amplifies human intelligence. A system that helps you think more clearly, collaborate more effectively, and is available anywhere and anytime.
@keles.bsky.social
METU CENG 21' PhD Student at UMD Programming Languages/Formal Verification/Random Testing Writing at http://alpkeles99.medium.com Twitter: @keleesssss
@coffeezilla.bsky.social
Internet Detective Exposing Scams. Follower of Jesus. Support Investigative Journalism: http://patreon.com/coffeezilla Signal Tipline: coffeezilla.01
@eduardorfs.com
25yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.