Tim McGilchrist
@lambda_foo
Providing thought leadership since 1801. Haskell and OCaml programmer. Co-Organiser of FP-SYD. github.com/tmcgilchrist
ID: 18213325
http://lambdafoo.com/ 18-12-2008 11:37:53
8,8K Tweet
668 Followers
571 Following
Moritz 💫
@4ngerman
god’s chosen retard. what is obvious to you, is not to me. language connoisseur. cynical at times. respect and integrity over everything. accelerate!
Marcello Seri
@marcelloseri
Here only to save the handle. History deleted, find me at @[email protected] or @mseri.me on bsky
thegeekinside
@thegeekinside
👨💻💻🕵️♂️🩺🦉🧪🦀🐍🐿 λ 🖊✍📷👨🎨🎨🎶🎧♟🌮☕🍷🧘♂️🇲🇽 he/him
Eric Torreborre
@etorreborre
Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Leandro
@leostera
staff eng / pm working on the #ocaml ecosystem moved to bsky.app/leostera.com 🦋
Susan Potter
@susanpotter
CTO / Principal SWE Consultant @referentiallabs. Antifascist. Gay. Immigrant. Loves: #OptionsTrading #FunctionalProgramming #economics #mathematics #systems
Domen Kožar
@domenkozar
❄️ Mainstreaming Nix. 💬 cal.com/domenkozar 🌲 @cachix_org founder 💻 devenv.sh 🌊 oceansprint.org
Edward Kmett
@kmett
Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. calendly.com/ekmett github.com/ekmett 🦋 @kmett.ai
Richard Davison (is/eius/eī/eum/eō)
@richarddavison
Tempus fugit.
José Manuel Calderón Trilla (@jmct.bsky.social)
@josecalderon
Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Calascibetta Romain
@dinoosaure
hmmmhmmm
ᛞᚨᛏᚨᛁᛃᚨ
@datayja
‘89 • 🦉 • programmer, geek, dork, sorta nerd • RT ≠ endorsement • ⚛️🇨🇿🏳️🌈🏳️⚧️🇪🇺
Yawar Amin.ocallm
@yawaramin
Full-sack developer, serial coflounder, 10➗engineer
Shakthi Kannan
@shakthimaan
Free/Libre Open Source Software | Econometrics | Consultancy | Strategy | Speaker | Writer | Emacser | Table Tennis | Chennai Super Kings | தமிழன் (Tamizhan)
Arian van Putten
@programmerdude
I perform @nixos_org witchcraft at @mercury
Stephen Diehl
@smdiehl
Left this hellsite for BlueSky. bsky.app/profile/www.st…
Pietro Loffredi
@pitloffredi
Software architect. Multi-platform developer. Committed to become a FP alchemist #Scala #Elixir. Passionate lifelong learner
prometheansacrifice (esy.sh)
@manasjayanth
OCaml and Reason Dev tools hacking. esy.sh
xand
@xandkar
Recovering functional programmer. Ad verum, pulchrum, et bonum. λ🐫🦀🐧
José A. Alonso
@jose_a_alonso
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Etienne Millon (dune in bio)
@etiennemillon
Working on Dune, a build system for OCaml projects. github.com/ocaml/dune
Alex Horth
@alexhorth
Engineer
Punch
@punchagan
amanda thomas
@amandathomas21
Luc Tielen
@luctielen
I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
David Sancho
@davesnx
Software engineer at @ahrefs building open source tools with @reasonml and OCaml — styled-ppx / server-reason-react / reason-react / Reason / Melange
vaibhav sagar
@vbhvsgr
future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him instagram.com/vbhvsgr recurse.social/@vaibhavsagar vaibhavsagar.com on bluesky
Atomic
@rajavignesh2013
Aerospace Engineering, Defense, Nuclear Physics, Silicon, Sustainability, Markets 🇮🇳
yburyug (x is dead same bsky handle)
@yburyug
bluesky @bobbby.online bsky.app/profile/bobbby…
Palash Nigam
@palash2504
Gopher | Learning Rust 🦀 Zig 🦎Ocaml 🐫 | Interested in distributed systems | Amateur Brider 🕊️ Github: github.com/palash25
Koonwen
@koonwen
Dmitrii Kovanikov
@chshersh
Functional Programming account #1. Senior SWE at Bloomberg. I write OCaml for money. All opinions are my own.
Ulugbek Abdullaev
@ulugbekna
I work on vscode and copilot chat @microsoft. Opinions are my own. Also contribute to the OCaml Language Server (ocaml-lsp) & vscode extension "OCaml Platform"
Ernest Ng
@ngernest2
Programming Languages PhD student @Cornell_CS | he/him
Omniscient
@joshuarowe11
Working in embedded systems but also enjoy graphics, game engines, systems programming, CAD. C, OCaml, Rust 日本語OK blog.joshrowe.dev
Didier Nicolas - 🍺🍺🍺🍺
@didiernicolas78
Fiché L(effe) - quadruple dosé à la 🍺🍺🍺🍺
Emil Privér
@emil_priver
Software Engineer from 🇸🇪 | Currently building TBA
Tom E
@ekander_
O'Cameleer at @ahrefs ex @woltapp. Musician at heart. Functional programming enthusiast.
KC Sivaramakrishnan
@kc_srk
Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.
senthil kumar
@senthilsam28
Xavier Van de Woestyne
@vdwxv
Allo. I'm Xavier Van de Woestyne. I'm a wannabe software engineer who tweets in rough 🇫🇷 and catastrophic 🇬🇧! #ocaml I work at @tarides_ 🐫
Frieren Endowed Chair of Robotics
@frierenbyparfit
accelerate, a(gamem)non
Crypto baguette
@baguettecrypto
Esteban Marin
@esteban08240516
#Scala #Haskell #Nix Engineer @ZivergeTech In love with functional programming { . . . ❤️} All opinions are my own.
One Happy Fellow
@onehappyfellow
coding our way to heaven programming (mostly OCaml), software industry thoughts, occasionally talking to myself, all in interest of finding the truth
Denis ⚡️
@denisgruiax
Software Engineer 👨💻 Learning OCaml and Rust 🌱 Beginner in Quantitative Trading ™️ Dfinity ⚡️MultiversX 🧩 Ducati Streetfighter 1098 🚀 Apple 🍎
Emile Trotignon 🇺🇦 🐫
@etrotign
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.
Vlad A. Barbu
@vladddbbb
neuroevolutus
@neuroevolutus
🧛 Vampire 🧛
@boobvp
Vampire on the way
Gautom Das
@gautom0
math, neovim, & rust/ocaml
Leon
@l___d__s
VeraTuttle
@g1h5l4hvskls9t2
Mark de Wijk
@markdewijk21278
Luna
@neyshea165597
Can we be good friends? I'm looking for a serious relationship
Espen Trydal
@espentrydal
Renzo
@renzocarbonara
Author of @atopbook, building software with types and functional programming. Unfollow me for less wisdom.
Chris Leader
@badbrainsfan
Future Engineer who is currently majoring in Computer Science at Oregon State University. Tentative graduation year: 2027. he/him/his @[email protected]
TrudaCrichton
@08l05a3pn82ub46
Thosmeas
@thosmeas9uxs
Atowo
@atowo272223
Ethan
@epmorgans
Software Engineer • TypeScript & F# dev by day • cycling & hockey fan github.com/epmorgan
Elixir Sydney
@elixirsydney
We meet & discuss Elixir, Erlang & related technologies. Organisers: @joshprice, @teamalembic
Thomas Dillard
@indieghozt
Software Engineer - We doing mobile now
MJ
@mikejeuga
📍 LDN 🇬🇧 | Up for a debate. @SorbonneParis1 Alumn | coach + organiser @codebarLDN | he/him. I speak for myself. 👨🏾💻 SWE
luisensis
@v_luisensis
Tarides
@tarides_
We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
🌑 Qamarade Hécate 🪬
@technoempress
Data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone they/them (PP by @HuntyDraws).
.
@dfwij