@jelv.is
I like programming languages. A lot. Especially Haskell. Tools, types and functions.
@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!
@ilyasergey.bsky.social
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
@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
@tyoverby.com
Professional OCaml enjoyer. Views expressed therein are also those of your employer.
@teorth.bsky.social
Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
@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.
@dpiponi.bsky.social
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
@wtgowers.bsky.social
Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
@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 am also to found at @conservation.cam.ac.uk. Homepage at https://anil.recoil.org
@yminsky.bsky.social
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app