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
-
Followers658
-
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
42K Followers 204 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 226 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 824 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)
Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Anti-authoritarian. Pro-privacy. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Outsider. Gay af. Genocide is terrible.
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.
Arian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercury
Marcello Seri @marcelloseri
737 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 853 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 123 Following I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
mfreeman451 @mfreeman451
460 Followers 2K Following
TradeUp @tug2rensg916153
0 Followers 248 Following 止损是生存,止盈是享受。真正的高手,都在等别人犯错。 👉 Join Telegram: https://t.co/ZevIKB9r6E 👉 Join WhatsApp:https://t.co/WlBsd5lSLW
thegeekinside @thegeekinside
985 Followers 4K Following 👨💻💻🕵️♂️🩺🦉🧪🦀🐍🐿 λ 🖊✍📷👨🎨🎨🎶🎧♟🌮☕🍷🧘♂️🇲🇽 he/him
Chris Leader @BadBrainsFan
44 Followers 457 Following Kind-Hearted & Ethically Minded iOS Developer With Experience In Project Management. Tentative Graduation Date of Fall 2026. he/him/his
Tom E @ekander_
280 Followers 772 Following O'Cameleer at @ahrefs ex @woltapp. Musician at heart. Functional programming enthusiast.
Thosmeas @Thosmeas9uXs
46 Followers 5K Following
One Happy Fellow @onehappyfellow
2K Followers 685 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
28 Followers 468 Following
VeraTuttle @G1h5l4hVskLS9T2
56 Followers 3K Following
Vlad A. Barbu @vladddbbb
2 Followers 352 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
196 Followers 462 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
21 Followers 1K Following
Punch @punchagan
496 Followers 1K Following
neuroevolutus @neuroevolutus
21 Followers 3K Following
Mark de Wijk @MarkdeWijk21278
27 Followers 177 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
76 Followers 7K Following
Renzo @renzocarbonara
2K Followers 4K Following Author of @atopbook, building software with types and functional programming. Unfollow me for less wisdom.
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
584 Followers 4K Following Fiché L(effe) - quadruple dosé à la 🍺🍺🍺🍺
Palash Nigam @palash2504
615 Followers 3K Following Gopher | Learning Rust 🦀 Zig 🦎Ocaml 🐫 | Interested in distributed systems | Amateur Brider 🕊️ Github: https://t.co/adZTRYr5gC
Denis ⚡️ @denisgruiax
133 Followers 386 Following Software Engineer 👨💻 Learning OCaml and Rust 🌱 Beginner in Quantitative Trading ™️ Dfinity ⚡️MultiversX 🧩 Ducati Streetfighter 1098 🚀 Apple 🍎
Pietro Loffredi @pitloffredi
586 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
281 Followers 923 Following #Scala #Haskell #Nix #Typescript Engineer @ZivergeTech In love with functional programming { . . . ❤️} All opinions are my own.
prometheansacrifice (... @ManasJayanth
581 Followers 174 Following OCaml and Reason Dev tools hacking. https://t.co/3ulXJQ34iW
Omniscient @JoshuaRowe11
153 Followers 519 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
506 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him
Xavier Van de Woestyn... @vdwxv
271 Followers 210 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 278 Following
luisensis @v_luisensis
1 Followers 89 Following
Emile Trotignon 🇺�... @etrotign
40 Followers 433 Following 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.
Koonwen @koonwen
47 Followers 74 Following
Luna @Neyshea165597
1 Followers 193 Following Can we be good friends? I'm looking for a serious relationship
Shakthi Kannan @shakthimaan
1K Followers 399 Following Free/Libre Open Source Software | Econometrics | Consultancy | Strategy | Speaker | Writer | Emacser | Table Tennis | Chennai Super Kings | தமிழன் (Tamizhan)
xand @xandkar
378 Followers 681 Following Recovering functional programmer. Ad verum, pulchrum, et bonum. λ🐫🦀🐧
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Dmitrii Kovanikov @ChShersh
42K Followers 204 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 226 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 103 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
Yaron (Ron) Minsky @yminsky
15K Followers 333 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 824 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 273 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 523 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
75K 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
10K 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
196 Followers 462 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
604 Followers 10 Following FUN OCaml 2025 is a 2 days open source hacking event dedicated to OCaml enthusiasts and professionals September 15+16, 2025, Warsaw All talks live streamed!
Punch @punchagan
496 Followers 1K Following
Xavier Van de Woestyn... @vdwxv
271 Followers 210 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 174 Following OCaml and Reason Dev tools hacking. https://t.co/3ulXJQ34iW
sabine 🐫🦀 / 'us... @sabine_s_
5K Followers 473 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
288 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 543 Following Management consultants working with IBM Power ISV's
Javier Chávarri @javierwchavarri
1K Followers 262 Following Frontend @ahrefs • Previously @webflow • Passionate about The Web, JavaScript, and now OCaml 🐫.
No Context Grand Desi... @ukgranddesigns
52K Followers 670 Following *disclaimer* in no way affiliated with Sir Kev
Alain Frisch @AlainFrisch
155 Followers 44 Following CTO https://t.co/1C4hcew4iP, #OCaml. "Political" account: @AlainF92
Guillaume Petiot @GuillaumePetiot
52 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 970 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 914 Following Nontraditional computer science PhD candidate at @EdinburghUni 🏴. Former technical & creative writer.
Olivier Nicole @OlivierNicole1
205 Followers 237 Following Working @tarides_ on the OCaml language. ❤️ Music, typesetting More active on Mastodon: https://t.co/hr27aLR691
Tanks Encyclopedia @tanksenc
13K Followers 314 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 105 Following History podcaster/author. Revolutions + The History of Rome.
John Whitington @johnwhitington
142 Followers 33 Following
Thomas Lively @tlively52
727 Followers 110 Following Software engineer working on WebAssembly tools and specification @Google. he/him. @ tlively on GitHub.
NathanReb @nathanrebou
79 Followers 385 Following
Thibaut Mattio @tmattio_
528 Followers 389 Following Building Raven, a machine learning ecosystem for OCaml. Former director of engineering @tarides_, building developer experiences for the OCaml Platform.
Gemma Gordon @em3r4ld6
169 Followers 250 Following
Jon Ludlam @jonludlam
113 Followers 277 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
511 Followers 495 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
193 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
213 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