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
-
Followers647
-
Following558
-
Likes2K
I’m no longer using this account. If you want to follow me about OCaml and other tech use @[email protected]
1
1
5
457
1
View Details
@KosmosKrypto Yes you can with Asahi Linux (they don’t yet support M3/4) asahilinux.org
Latest XCode 16 includes DWARF5 support. That will help with building debug support for OCaml.
@DanielW_Kiwi Asahi Linux is an option on Apple hardware.
@DanielW_Kiwi I’m using a mix of RPi4/5 for embedded stuff, Ampere servers, and cloud compute from vendors like Scaleway or Equinix.
FP Syd kicking off tonight with neural networks and quadcopters.
Tim McGilchrist retweeted
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
Tim McGilchrist retweeted
How to watch the OCaml workshop livestreams 👇
Tim McGilchrist retweeted
Anton Lorenzen's talk on locality, uniqueness and affinity in OCaml, at ICFP!
Reminder we are on tomorrow evening. Bring along your short talks. I’ll be demo’ing DWARF support for OCaml on MacOS.
FP-SYD is on next week with a lightning talk edition. Come along armed with your coolest and most interesting FP related short talks. RSVP on meetup #ocaml #haskell meetup.com/fp-syd/events/…
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/…
@ManasJayanth That would be cool. I’m deep in writing tex and formatting diagrams. The presentation is on Wednesday. I’ll share what I have afterwards.
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/…
Tim McGilchrist retweeted
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…
@yawaramin @ChShersh The package index is versioned in git so you can always pin to a specific version or use lock files.
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Dmitrii Kovanikov @ChShersh
73K Followers 235 Following Dysfunctional Programming account #1. Senior SWE. I don't write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Tarides @tarides_
2K Followers 233 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
4K Followers 2K Following Open Source UI stuff with OCaml at @ahrefs Made styled-ppx and server-reason-react Working on Reason / Melange / reason-react and co
Edward Kmett @kmett
17K Followers 812 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)
Domen Kožar @domenkozar
6K Followers 2K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J 🗝️ https://t.co/iCG7uqjcoB
Stephen Diehl @smdiehl
54K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
José A. Alonso @Jose_A_Alonso
5K 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
703 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 864 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
moritz ✨ @angerman
2K Followers 2K Following Building open source things for all of us: - https://t.co/dLSzvbY8aa · Docker is stupid - https://t.co/ts1OYFpBS0 · Your CLI deserves a UI
Luc Tielen @luctielen
1K Followers 124 Following I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
Sora Morimoto @smorimoto
88 Followers 411 Following AI Safety. @Cambridge_CL @OCaml_org @TC39. Formerly: @YCombinator (Funded by @JapanGov & @TransposeVC) @Tarides_
Cameron Smith @cameronsmithxz
413 Followers 5K Following
Armaan @4RRMAAN
248 Followers 2K Following distributed systems @AntithesisHQ | prev @thalesgroup | Tweets are my own :D
DeliaFaulkner @O6v3JMAxm09EAR
7 Followers 861 Following
CorneliaPhilip @s7TiBXG70kbDbP
3 Followers 591 Following
蘭 (らん) @hz0HFUlxF96Jfyy
9 Followers 1K Following セクシー桜花娘、奔放で夜のデート無限。日本料理後、甘いデート、体で語り合う。ためらわず、セクシー日本娘が待ってる！
柚葉 (ゆずは) @AZ9L0h9ta0s9v
2 Followers 1K Following セクシー日本美女、曲線美、熱烈デートを求め中。ショッピング好き、デート街歩き、試着室でサプライズ。日本妖女、デート上手、君に挑戦。
mfreeman451 @mfreeman451
653 Followers 2K Following building opensource software, prev @MicroFocus, @HPE, Opsware, NMCI, @Akamai
thegeekinside @thegeekinside
951 Followers 4K Following 👨💻💻🕵️♂️🩺🦉🧪🦀🐍🐿 λ 🖊✍📷👨🎨🎨🎶🎧♟🌮☕🍷🧘♂️🇲🇽 he/him
Chris Leader @BadBrainsFan
62 Followers 789 Following Kind-Hearted & Ethically Minded Future Electrical Engineer With Experience In Project Management. he/him/his
Tom @ekander_
301 Followers 998 Following Builder and tinkerer. Previously @ahrefs, @woltapp (acq. @doordash).
Thosmeas @Thosmeas9uXs
52 Followers 4K Following
One Happy Fellow @onehappyfellow
3K Followers 834 Following head of @typememetics ⊢ best-selling type-safe rapper ⊢ known to write OCaml from time to time ⊢ raising a small human ⊢ https://t.co/wrbSZODDq3
Crypto baguette @BaguetteCrypto
24 Followers 470 Following
VeraTuttle @G1h5l4hVskLS9T2
59 Followers 3K Following
Vlad A. Barbu @vladddbbb
1 Followers 357 Following
Atomic @RajaVignesh2013
179 Followers 4K Following Aerospace Engineering, High Performance Computing, Defense, Nuclear Physics, Silicon, Sustainability, Markets.
Ulugbek Abdullaev @ulugbekna
192 Followers 490 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 2K Following
Punch @punchagan
482 Followers 1K Following
neuroevolutus @neuroevolutus
20 Followers 3K Following
Mark de Wijk @MarkdeWijk21278
23 Followers 187 Following
🌑 Qamarade Hécate... @TechnoEmpress
2K Followers 1K Following People can't do functional programming if they're getting carpet bombed.
MJ @mikejeuga
132 Followers 724 Following 📍 LDN 🇬🇧 | Up for a debate. @SorbonneParis1 Alumn | coach + organiser @codebarLDN | he/him. I speak for myself. 👨🏾💻 SWE
Didier Nicolas - 🍺... @DidierNicolas78
554 Followers 5K Following Fiché L(effe) - quadruple dosé à la 🍺🍺🍺🍺
☘️ @palash2504
565 Followers 3K Following Gopher | Learning Rust 🦀 Zig 🦎Ocaml 🐫 | Interested in distributed systems | Amateur Brider 🕊️ Github: https://t.co/uzlCDw3yPw
Denis ⚡️ @denisgruiax
115 Followers 383 Following Software Engineer 👨💻 Learning OCaml and Rust 🌱 Beginner in Quantitative Trading ™️ Dfinity ⚡️MultiversX 🧩 Ducati Streetfighter 1098 🚀 Apple 🍎
Pietro Loffredi @pitloffredi
580 Followers 5K Following Software architect. Multi-platform developer. Committed to become a FP alchemist #Scala #Elixir. Passionate lifelong learner
senthil kumar @senthilsam28
22 Followers 5K Following
Esteban Marin @Esteban08240516
284 Followers 1K Following #Scala #Haskell #Nix #Typescript Engineer @ZivergeTech In love with functional programming { . . . ❤️} All opinions are my own.
prometheansacrifice (... @ManasJayanth
563 Followers 193 Following Coding agents, OCaml and Reason Dev tools hacking. https://t.co/3ulXJQ3C8u
Joshua Rowe @JoshuaRowe11
146 Followers 671 Following Software enthusiast focused on embedded systems, protocols, infra and system design. Likes: pottery, tennis, languages.
Ernest Ng @ngernest2
502 Followers 3K Following PL/Systems PhD student @Cornell_CS, pipe organist | he/him
Xavier Van de Woestyn... @vdwxv
286 Followers 256 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 480 Following
luisensis @v_luisensis
1 Followers 88 Following
Emile Trotignon 🇺�... @etrotign
37 Followers 434 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
45 Followers 71 Following
Luna @Neyshea165597
2 Followers 184 Following Can we be good friends? I'm looking for a serious relationship
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Satnam Singh @satnam6502
23K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Dmitrii Kovanikov @ChShersh
73K Followers 235 Following Dysfunctional Programming account #1. Senior SWE. I don't write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Tarides @tarides_
2K Followers 233 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
4K Followers 2K Following Open Source UI stuff with OCaml at @ahrefs Made styled-ppx and server-reason-react Working on Reason / Melange / reason-react and co
Rúnar @runarorama
13K Followers 120 Following Icelander. Eudaimonist. Individualist. Comonad enthusiast. Co-creator of the Unison programming language. Co-author of Functional Programming in Scala.
Yaron (Ron) Minsky @yminsky
22K Followers 371 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Bartosz Milewski @BartoszMilewski
37K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Edward Kmett @kmett
17K Followers 812 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
3.9M Followers 295 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospace
Erik Meijer @headinthebox
37K Followers 0 Following
Talia Ringer 🕊🪬 @TaliaRinger
33K 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 597 Following Haskell jock. Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
teej dv 🔭 @teej_dv
89K 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 262 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
20K 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 Information persistence hunter extraordinaire. 2x Dad, AI Guy, FP Enjoyer, Math for Fun, Tech Leadership. My views do not represent my employer.
Tweag by Modus Create @tweagio
7K Followers 322 Following Improving the craft of software engineering.
Stephen Diehl @smdiehl
54K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Ulugbek Abdullaev @ulugbekna
192 Followers 490 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
764 Followers 9 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
482 Followers 1K Following
Xavier Van de Woestyn... @vdwxv
286 Followers 256 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
51 Followers 1 Following Collecting the world's garbage since 2002. Follow for occasional news and announcements.
prometheansacrifice (... @ManasJayanth
563 Followers 193 Following Coding agents, OCaml and Reason Dev tools hacking. https://t.co/3ulXJQ3C8u
sabine 🐫🦀 / 'us... @sabine_s_
5K Followers 525 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
367 Followers 100 Following We meet & discuss Elixir, Erlang & related technologies. Organisers: @joshprice, @teamalembic
Vincent Balat @vincentbalat
282 Followers 178 Following Ocsigen, Be Sport, Tarides https://t.co/0o55ogDWWt @balat.bluesky.social @[email protected]
fp-syd @fpsyd2
5 Followers 3 Following Functional programming interest group. We host seminars and social events.
Built on Power @BuiltonPower
298 Followers 528 Following Management consultants working with IBM Power ISV's
Javier Chávarri @javierwchavarri
1K Followers 273 Following Frontend @ahrefs • Previously @webflow • Passionate about The Web, JavaScript, and now OCaml 🐫.
No Context Grand Desi... @ukgranddesigns
50K Followers 631 Following *disclaimer* in no way affiliated with Sir Kev
Alain Frisch @AlainFrisch
162 Followers 47 Following CTO https://t.co/1C4hcew4iP, #OCaml. "Political" account: @AlainF92
Guillaume Petiot @GuillaumePetiot
51 Followers 19 Following
Brendan Gregg @brendangregg
51K Followers 154 Following Makes things fast. Expert in computer performance and eBPF. OpenAI, ex-Netflix. Created flame graphs. Aussie. Opinions my own. [email protected]
Josh Price @joshprice
3K 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 959 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 889 Following Nontraditional computer science PhD candidate at @EdinburghUni 🏴. Former technical & creative writer.
Olivier Nicole @OlivierNicole1
200 Followers 232 Following Working @tarides_ on the OCaml language. ❤️ Music, typesetting More active on Mastodon: https://t.co/hr27aLR691
Tanks Encyclopedia @tanksenc
14K 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
119K Followers 107 Following History podcaster/author. Revolutions + The History of Rome.
Thomas Lively @tlively52
717 Followers 109 Following Software engineer working on WebAssembly tools and specification @Google. he/him. @ tlively on GitHub.
NathanReb @nathanrebou
74 Followers 371 Following
Gemma Gordon @em3r4ld6
168 Followers 244 Following
Jon Ludlam @jonludlam
108 Followers 270 Following
MirageOS @OpenMirage
1K Followers 29 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
502 Followers 489 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
205 Followers 8 Following
OCamlPro @OCamlPro
2K Followers 85 Following OCamlPro helps you harness state-of-the-art languages like #OCaml and #Rust. We help you design & implement safe & powerful software #FormalMethods
Michael Bacarella @mbacarella
864 Followers 625 Following Founder GPShopper (successful exit) ex-Jane Street (pre-SBF) ex-Google (pre-Sundar) occasional shitpoaster
Corey Quinn @QuinnyPig
106K Followers 1K Following Chief Cloud Economist and co-founder at Duckbill. Author, Artificial Confidence. Professional skeptic with receipts.
Dreadnought Holiday @TheDreadShips
23K Followers 343 Following Worse things happen at sea. Repeatedly. Now posting on BS as @DreadShips.bsky.social
PeerTube INACTIVE ACC... @joinpeertube
5K Followers 78 Following An alternative to Big Tech's video platforms PeerTube is a tool for sharing online videos developed by @Framasoft, a french non-profit.You might like
KC Sivaramakrishnan
@kc_srk
5K Followers
ICFP Conference
@icfp_conference
4K Followers
Matt Parsons
@mattoflambda
5K Followers
Jonathan Fischoff
@jfischoff
7K Followers
Andrey Mokhov
@andreymokhov
2K Followers
Ian Jeffries
@seagreen__
627 Followers
Lucas Pluvinage
@TheLortex
225 Followers
vaibhav sagar
@vbhvsgr
2K Followers