@plum-dev-log.bsky.social
Unemployed stay-at-home-dad trophy husband. Interests include software, saas, finance, reading, studying, zettlekasten, anki, notebooks. 今日は Have a nice day ☀️ https://github.com/ralphplumley
@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
@claudiu-ivan.com
software engineering consultant | posts about technology https://www.claudiu-ivan.com/
@sranu.bsky.social
I live at the intersection. Interested in software correctness, functional programming and distributed systems. By day a lot of TypeScript with Effect.ts on Node.js. By night Rust or Haskell. Opinions are my own.
@coopcoding.bsky.social
Loves programming; with an interest in functional programming. Current language: purescript https://www.coopcoding.top/
@myshoggoth.bsky.social
I love music, stories, infrastructure, logistics, technology, and building community. Based in SE Portland, Oregon. Senior Director of Engineering at Well.co, FP enthusiast. All opinions are mine and not my employer's.
@cheater00.bsky.social
@david.sancho.dev
Software engineer at @ahrefs building open source tools with Reason and OCaml — styled-ppx / server-reason-react / reason-react / Reason / Melange
@handle.invalid
Madrid. PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
@elldritch.bsky.social
Building good software for real people. Opinions on programming languages, engineering management, and storytelling. Still migrating over from Twitter.
@lambdadays.bsky.social
Your favourite Functional Programming conference is here 🥳 💥 Save the date for 2025: 12-13 June! 💥 2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥
@haydenbeamit.bsky.social
Founder of Beam it 💜 & Rust Rec 🦀⚙️ I recruit for Elixir, Erlang & Rust Beamrec.com Beamrecjobs.co.uk Need help hiring? Beamrec.com/employers Help with job hunting? Beamrec.com/employability
@justinhj.bsky.social
Principal engineer working on streaming and AI. Functional programming, game development, category theory, youtube and blogger
@tsolarprincess.bsky.social
Game designer, LGBT activist, mathematician, Social Justice Rogue, Discordian witch, hobbyist doctor (yes) All my content is here - thesolarprincess.site/en
@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.
@ddssff.bsky.social
Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
@koray.al
Parent of two daughters #electronics engineer working as a software engineer writing #haskell code Interested in #nix , #functionalprogramming Principal Software Engineer @ Soostone ( & contractor @ Well.co )
@iand675.bsky.social
I used to be smart, now I just try hard. Haskell enthusiast Engineering at Mercury, formerly Forge, CircleCI, others
@sandydoo.me
code janitor / big doofus / rust · haskell · elm · nix & everything nice / swe @ cachix.org
@axman6.au
Aussie Haskell dev who likes making things go fast. Interested in Cybersecurity and not cybercurrency. HDL dabbler. Also find me on 🦣 @axman6@infosec.exchange
@simeondermaats.bsky.social
Maths student @ KU Leuven, lay-out responsible for @vetobe.bsky.social. In love with category and type theory and declarative languages, Iosevka, Pynchon and my girlfriend :)
@matdemy.bsky.social
@beathagenlocher.com
Mostly random stuff I find interesting, or other sharable thoughts that cross my mind.
@oliverbatch.bsky.social
Computer Vision/Agritech researcher designing a vineyard/orchard many-camera scanner (Gaussian Splatting-based). Radiance fields, 3D recognition, FP fan (Haskell). Running, rock climbing, dog friends. ucvision.org - University of Canterbury, New Zealand
@sebastien.nedjar.fr
Enseignant chercheur à Aix-Marseille Université. Geek passionné, créatif et curieux. Fondateur du @Labaixbidouille
@espenkt.bsky.social
PhD-student neuroimaging, Stavanger Medical Imaging Laboratory (SMIL)/Stavanger University Hospital
@reesh-a.bsky.social
@functionth.bsky.social
@serranofp.com
👨💻 Researcher @ Kotlin Evolution @ JetBrains 🧙♂️ Passionate about FP (mostly Arrow & Haskell) 📚 Author of 4 books
@liamoc.net
Senior Lecturer at ANU, Ngunnawal/Ngambri Country. he/any. 한국어도 할 수 있다. I leave these posts, I do not know for whom, I no longer know what they are about. https://liamoc.net