Tim McGilchrist @lambda_foo
Providing thought leadership since 1801. Haskell and OCaml programmer. Co-Organiser of FP-SYD. https://t.co/CvgHnwKodT lambdafoo.com Sydney, Australia Joined December 2008-
Tweets8K
-
Followers664
-
Following570
-
Likes2K
I’m no longer using this account. If you want to follow me about OCaml and other tech use @[email protected]
Latest XCode 16 includes DWARF5 support. That will help with building debug support for OCaml.
Check out the ways you can participate in the #ICFP2024 #OCaml and #ML workshops remotely, via the live stream and Discord instance! 🐫 eu1.hubs.ly/H0c7Rh50
How to watch the OCaml workshop livestreams 👇
Getting Started with LLDB on OCaml lambdafoo.com/posts/2024-08-… #ocaml #lldb
FP-SYD is on tomorrow night. We'll be looking at Garbage Collection in GHC Haskell with Jost Berthold. RSVP on meetup.com/fp-syd/events/…
FP-SYD is on tonight in Sydney. The topic will be "Parsing permutation phrases" presented by Mark Hopkins. Expect some Haskell code samples. meetup.com/fp-syd/events/…
This month we have OCaml at FP-SYD. I’ll be talking about the implementation of effects in OCaml. Lots of assembly on the menu. RSVP at meetup.com/fp-syd/events/…
FP-SYD is on tonight, with a fantastic talk about reactive systems using F*. Late RSVPs welcome meetup.com/fp-syd/events/…
Why should you use #OCaml for your next project? 🤔 @lambda_foo talks abt how to deliver real-world systems, engineering design elements, solution tradeoffs, where to spend yr budget & the non-technical side that dictates whether the project succeeds. youtu.be/TxuLrsQZprE?si…
Why is OCaml on Windows important? Most of the visitors to OCaml.org are on Windows. It is important that they get an experience that is not much worse than other OSes. See plausible.ci.dev/ocaml.org.
Spent far too much time looking at ELF and MachO binaries of OCaml programs. Including reading about Apples Compact Unwinding Format faultlore.com/blah/compact-u…
We're looking for a team lead at @tarides_: tarides.com/jobs/team-lead/. Please apply if keen, and do retweet for visibility.
FP-SYD is back for 2024. Along with a couple of talks we will be organising the events for the year. Come along with your ideas and don't forget to RSVP on meetup.com/fp-syd/events/…

KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Dmitrii Kovanikov @ChShersh
48K Followers 231 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Tarides @tarides_
2K Followers 231 Following We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
David Sancho @davesnx
3K Followers 1K Following Building the tools behind user interfaces at @ahrefs with OCaml and open-source, mostly reason-react, server-reason-react, styled-ppx, Melange and Reason.
Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Yawar Amin.ocallm @yawaramin
2K Followers 1K Following Glug-brained developer, serial coflounder, 10➗engineer
Domen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Marcello Seri @marcelloseri
735 Followers 2K Following Here only to save the handle. History deleted, find me at @[email protected] or @mseri.me on bsky
vaibhav sagar @vbhvsgr
2K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on bluesky
José Manuel Calderó... @josecalderon
2K Followers 855 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
모리츠 ✨ @4ngerman
3K Followers 2K Following C'mon now, click follow! You know you want to! Developer Experience, Compilers, Languages. Personal Opinions, No Financial Advice!
Luc Tielen @luctielen
1K Followers 121 Following I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
JamieHicks @OO1J262X05fexz
3 Followers 440 Following
JosephineCommons @e5H00VPmhGv02
1 Followers 445 Following
Jegie @Jegie4548599
2 Followers 428 Following
CynthiaCollins @C1xXSgsG7V6EaS
525 Followers 5K Following
YeddaJeames @RnS5I8eZaA1glqY
0 Followers 370 Following
AudreyMac- @6yv7IjmP1NYW2
0 Followers 376 Following
KittyNelson @k47mw5958okBr
0 Followers 283 Following
mfreeman451 @mfreeman451
494 Followers 2K Following building opensource software, prev @MicroFocus, @HPE, Opsware, NMCI, @Akamai
thegeekinside @thegeekinside
983 Followers 4K Following 👨💻💻🕵️♂️🩺🦉🧪🦀🐍🐿 λ 🖊✍📷👨🎨🎨🎶🎧♟🌮☕🍷🧘♂️🇲🇽 he/him
Chris Leader @BadBrainsFan
46 Followers 486 Following Kind-Hearted & Ethically Minded iOS Developer With Experience In Project Management. Tentative Graduation Date of Fall 2026. he/him/his
Tom @ekander_
286 Followers 779 Following O'Cameleer at @ahrefs ex @woltapp (@doordash intl.). Musician at heart. Functional programming enthusiast.
Thosmeas @Thosmeas9uXs
43 Followers 5K Following
One Happy Fellow @onehappyfellow
2K Followers 704 Following calmly weaving caml code;; programmers are wizards who forgot their magic;; lack of type safety always comes with a price;; head of @typememetics
Crypto baguette @BaguetteCrypto
29 Followers 469 Following
VeraTuttle @G1h5l4hVskLS9T2
55 Followers 3K Following
Vlad A. Barbu @vladddbbb
2 Followers 353 Following
Atomic @RajaVignesh2013
207 Followers 3K Following Aerospace Engineering, High Performance Computing, Defense, Nuclear Physics, Silicon, Sustainability, Markets 🇮🇳
Leandro @leostera
4K Followers 375 Following staff eng / pm working on the #ocaml ecosystem moved to https://t.co/pRZ9HuXb7H 🦋
Ulugbek Abdullaev @ulugbekna
197 Followers 464 Following 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"
Espen Trydal @EspenTrydal
22 Followers 1K Following
Punch @punchagan
495 Followers 1K Following
neuroevolutus @neuroevolutus
22 Followers 3K Following
Mark de Wijk @MarkdeWijk21278
29 Followers 181 Following
🌑 Qamarade Hécate... @TechnoEmpress
2K Followers 1K Following People can't do functional programming if they're getting carpet bombed.
ᛞᚨᛏᚨᛁᛃᚨ @datayja
2K Followers 3K Following ‘89 • 🦉 • programmer, geek, nerd, progcentreright+progmetal+13forluck • RT ≠ endorsement • ⚛️🇨🇿🏳️🌈🏳️⚧️🇪🇺 • vibe code cleanup specialist
TrudaCrichton @08l05a3PN82uB46
72 Followers 7K Following
MJ @mikejeuga
135 Followers 733 Following 📍 LDN 🇬🇧 | Up for a debate. @SorbonneParis1 Alumn | coach + organiser @codebarLDN | he/him. I speak for myself. 👨🏾💻 SWE
Didier Nicolas - 🍺... @DidierNicolas78
578 Followers 4K Following Fiché L(effe) - quadruple dosé à la 🍺🍺🍺🍺
Palash Nigam @palash2504
612 Followers 3K Following Gopher | Learning Rust 🦀 Zig 🦎Ocaml 🐫 | Interested in distributed systems | Amateur Brider 🕊️ Github: https://t.co/adZTRYr5gC
Denis ⚡️ @denisgruiax
134 Followers 386 Following Software Engineer 👨💻 Learning OCaml and Rust 🌱 Beginner in Quantitative Trading ™️ Dfinity ⚡️MultiversX 🧩 Ducati Streetfighter 1098 🚀 Apple 🍎
Pietro Loffredi @pitloffredi
584 Followers 5K Following Software architect. Multi-platform developer. Committed to become a FP alchemist #Scala #Elixir. Passionate lifelong learner
senthil kumar @senthilsam28
23 Followers 5K Following
Esteban Marin @Esteban08240516
289 Followers 934 Following #Scala #Haskell #Nix #Typescript Engineer @ZivergeTech In love with functional programming { . . . ❤️} All opinions are my own.
prometheansacrifice (... @ManasJayanth
581 Followers 175 Following OCaml and Reason Dev tools hacking. https://t.co/3ulXJQ34iW
Omniscient @JoshuaRowe11
155 Followers 517 Following Working in embedded systems but also enjoy graphics, game engines, systems programming, CAD. C, OCaml, Rust 日本語OK https://t.co/FVCWKAgVfG
Ernest Ng @ngernest2
502 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him
Xavier Van de Woestyn... @vdwxv
277 Followers 218 Following Allo. I'm Xavier Van de Woestyne. I'm a wannabe software engineer who tweets in rough 🇫🇷 and catastrophic 🇬🇧! #ocaml I work at @tarides_ 🐫
. @dfwij
2 Followers 290 Following
luisensis @v_luisensis
1 Followers 89 Following
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Satnam Singh @satnam6502
20K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Dmitrii Kovanikov @ChShersh
48K Followers 231 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Tarides @tarides_
2K Followers 231 Following We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
David Sancho @davesnx
3K Followers 1K Following Building the tools behind user interfaces at @ahrefs with OCaml and open-source, mostly reason-react, server-reason-react, styled-ppx, Melange and Reason.
Rúnar @runarorama
12K Followers 106 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
Yaron (Ron) Minsky @yminsky
16K Followers 340 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
John Carmack @ID_AA_Carmack
1.1M Followers 274 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospace
Erik Meijer @headinthebox
31K Followers 2 Following
Joachim Breitner @nomeata
2K Followers 1 Following Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dL
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Matt Parsons @mattoflambda
5K Followers 522 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
teej dv 🔭 @teej_dv
77K Followers 1K Following open source code | @neovim core | @terminaldotshop btw | ✝️ father of 3, dad jokes my own https://t.co/jKpcjsTqBE | https://t.co/zb8zDKmSwG
Antonio Monteiro @_anmonteiro
3K Followers 243 Following Eng @recallai, building the universal API for meeting recording. Making @melange_re
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
John A De Goes @jdegoes
18K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
Rick @rickasaurus
9K Followers 3K Following 2x Dad, AI Old-Timer, FP Enjoyer, Math for Fun, Startup Leadership Roles in: Fintech, Healthcare, RegTech, Biotech. B2B, B2B2C, Successful Exit CTO.
Ulugbek Abdullaev @ulugbekna
197 Followers 464 Following 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"
FUN OCaml @FunOCaml
680 Followers 10 Following FUN OCaml is a 2 days open source conference and hacking event for OCaml enthusiasts and professionals 2026 Date & Location TBA All talks live streamed!
Punch @punchagan
495 Followers 1K Following
Xavier Van de Woestyn... @vdwxv
277 Followers 218 Following Allo. I'm Xavier Van de Woestyne. I'm a wannabe software engineer who tweets in rough 🇫🇷 and catastrophic 🇬🇧! #ocaml I work at @tarides_ 🐫
MMTk @MMTkGC
52 Followers 1 Following Collecting the world's garbage since 2002. Follow for occasional news and announcements.
prometheansacrifice (... @ManasJayanth
581 Followers 175 Following OCaml and Reason Dev tools hacking. https://t.co/3ulXJQ34iW
sabine 🐫🦀 / 'us... @sabine_s_
5K Followers 478 Following show me OCaml | an https://t.co/8e1icJBB76 maintainer | RFC 3339 dating coach | maybe not a sith lord | former overqualified señor meme developer | 5€ VPS kid
Elixir Sydney @ElixirSydney
370 Followers 101 Following We meet & discuss Elixir, Erlang & related technologies. Organisers: @joshprice, @teamalembic
Vincent Balat @vincentbalat
287 Followers 182 Following Ocsigen, Be Sport, Tarides https://t.co/0o55ogDWWt @balat.bluesky.social @[email protected]
fp-syd @fpsyd2
4 Followers 3 Following Functional programming interest group. We host seminars and social events.
Built on Power @BuiltonPower
303 Followers 541 Following Management consultants working with IBM Power ISV's
Javier Chávarri @javierwchavarri
1K Followers 268 Following Frontend @ahrefs • Previously @webflow • Passionate about The Web, JavaScript, and now OCaml 🐫.
No Context Grand Desi... @ukgranddesigns
52K Followers 665 Following *disclaimer* in no way affiliated with Sir Kev
Alain Frisch @AlainFrisch
154 Followers 44 Following CTO https://t.co/1C4hcew4iP, #OCaml. "Political" account: @AlainF92
Guillaume Petiot @GuillaumePetiot
54 Followers 89 Following
Brendan Gregg @brendangregg
47K Followers 156 Following Makes things fast. Expert in computer performance and eBPF. Intel Fellow, ex-Netflix. Created flame graphs. Aussie. Opinions my own. [email protected]
Josh Price @joshprice
2K Followers 5K Following Polyglot software developer and technology consultant. Co-organiser of Elixir Sydney and GraphQL Sydney meetups. Working on GraphQL and Elixir at Alembic.
Jay Ong @jaysbrickblo... @jayong28
5K Followers 969 Following Professional LEGO reviewer. Questionable sense of direction. Sometimes Pokemon fan. LEGO is the universal language of play that binds us all.
Celeste @cahollenbeck
1K Followers 913 Following Nontraditional computer science PhD candidate at @EdinburghUni 🏴. Former technical & creative writer.
Olivier Nicole @OlivierNicole1
207 Followers 237 Following Working @tarides_ on the OCaml language. ❤️ Music, typesetting More active on Mastodon: https://t.co/hr27aLR691
Tanks Encyclopedia @tanksenc
13K Followers 313 Following All about the tactics, battles, technology and evolution of tanks and armored vehicles worldwide from their origin to contemporary conflicts.
Mike Duncan @mikeduncan
120K Followers 107 Following History podcaster/author. Revolutions + The History of Rome.
John Whitington @johnwhitington
142 Followers 33 Following
Thomas Lively @tlively52
723 Followers 110 Following Software engineer working on WebAssembly tools and specification @Google. he/him. @ tlively on GitHub.
NathanReb @nathanrebou
78 Followers 385 Following
Thibaut Mattio @tmattio_
534 Followers 390 Following Building Raven, a machine learning ecosystem for OCaml. Former director of engineering @tarides_, building developer experiences for the OCaml Platform.
Gemma Gordon @em3r4ld6
170 Followers 249 Following
Jon Ludlam @jonludlam
113 Followers 276 Following
MirageOS @OpenMirage
1K Followers 31 Following I'm a unikernel operating system written in OCaml. Logo: a Sand Cat (via @mindypreston) Pic credit: https://t.co/pdMD6mQf6a; star me at https://t.co/Ym2EBR4A7r
4C: Cambridge Centre ... @trustedcarbon
510 Followers 493 Following Unlocking finance for conservation through credible, transparent nature-based carbon credits. Based @CCI_Cambridge + @Cambridge_CL, @Cambridge_Uni.
The OCaml Bot @The_OCaml_Bot
194 Followers 12 Following The OCaml Bot is a simple bot to give visibility to the OCaml community. It retweet all tweets containing "OCaml"
OCaml Software Founda... @OCamlFoundation
212 Followers 8 Following
OCamlPro @OCamlPro
2K Followers 80 Following OCamlPro helps you harness state-of-the-art languages like #OCaml and #Rust. We help you design & implement safe & powerful software #FormalMethods