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 Takipçi
571 Takip Edilen
Mike Duncan
@mikeduncan
History podcaster/author. Revolutions + The Duncan & Coe History Show + The History of Rome.
Adam Leventhal
@ahl
Don't follow me here.
Rúnar
@runarorama
Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
Eric Torreborre
@etorreborre
Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Andrey Popp
@andreypopp
Shifting bits...
Josh Price
@joshprice
Polyglot software developer and technology consultant. Co-organiser of Elixir Sydney and GraphQL Sydney meetups. Working on GraphQL and Elixir at Alembic.
Jon Ludlam
@jonludlam
Hannes
@h4nnes
hacker anarchist #OCaml #MirageOS robur.coop
Rick the Tech Dad
@rickasaurus
2x Dad, Machine Learning Old-Timer, FP Enjoyer, Math for Fun, FinTech VP of Eng, Former Startup Leadership Roles in: AI Healthcare, AI RegTech.
Edward Kmett
@kmett
Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. calendly.com/ekmett github.com/ekmett 🦋 @kmett.ai
John A De Goes
@jdegoes
CEO @ZivergeTech, CEO @GolemCloud, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️Bartosz Milewski
@bartoszmilewski
Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Gemma Gordon
@em3r4ld6
Calascibetta Romain
@dinoosaure
hmmmhmmm
Vincent Balat
@vincentbalat
Ocsigen, Be Sport, Tarides besport.com/user/194 @balat.bluesky.social @[email protected]
Cuihtlauac ALVARADO
@cuihtlauac
Corecursive Tinkerer
Yaron (Ron) Minsky
@yminsky
Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social threads.net/@yaronminsky
Joachim Breitner
@nomeata
Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 mastodon.online/@nomeata
Jay Ong @jaysbrickblog on bluesky
@jayong28
Professional LEGO reviewer. Questionable sense of direction. Sometimes Pokemon fan. LEGO is the universal language of play that binds us all.
Michael Bacarella
@mbacarella
Founded mobile media company that exited to Synchrony; ex-Jane Street; ex-Google; OCaml programmer; occasional shitpoaster
Corey Quinn
@quinnypig
Find me on the butterfly site; same username.
John Whitington
@johnwhitington
John Carmack
@id_aa_carmack
AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospace
Antonio Monteiro
@_anmonteiro
Eng @recallai, building the universal API for realtime meeting data. Making @melange_re
prometheansacrifice (esy.sh)
@manasjayanth
OCaml and Reason Dev tools hacking. esy.sh
Brendan Gregg
@brendangregg
Makes things fast. Expert in computer performance and eBPF. Intel Fellow, ex-Netflix. Created flame graphs. Aussie. Opinions my own. [email protected]
Etienne Millon (dune in bio)
@etiennemillon
Working on Dune, a build system for OCaml projects. github.com/ocaml/dune
Punch
@punchagan
Javier Chávarri
@javierwchavarri
Frontend @ahrefs • Previously @webflow • Passionate about The Web, JavaScript, and now OCaml 🐫.
MirageOS
@openmirage
I'm a unikernel operating system written in OCaml. Logo: a Sand Cat (via @mindypreston) Pic credit: flic.kr/p/nMtc6h; star me at github.com/mirage/mirage
AMD Gaming
@amdgaming
Dedicated to gamers, esports, developers & the gaming industry for the best possible PC gaming experience.
Antonin Décimo
@rucikir
C & OCaml and indie punk rock techno croissants
David Sancho
@davesnx
Software engineer at @ahrefs building open source tools with @reasonml and OCaml — styled-ppx / server-reason-react / reason-react / Reason / Melange
Erik Meijer
@headinthebox
Alain Frisch
@alainfrisch
CTO lexifi.com, #OCaml. "Political" account: @AlainF92
OCamlPro
@ocamlpro
OCamlPro helps you harness state-of-the-art languages like #OCaml and #Rust. We help you design & implement safe & powerful software #FormalMethods
Guillaume Petiot
@guillaumepetiot
Building 🌴 TryTagalog.com
Matt Parsons
@mattoflambda
Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Thibaut Mattio
@tmattio_
Exploring AI, robotics, and biology at @recursecenter. Former Director of Engineering @tarides_, building developer experiences for the OCaml Platform.
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"
sabine 🐫🦀 / 'use ocaml';
@sabine_s_
show me OCaml | an OCaml.org maintainer | RFC 3339 dating coach | maybe not a sith lord | former overqualified señor meme developer | 5€ VPS kid
KC Sivaramakrishnan
@kc_srk
Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.
Celeste
@cahollenbeck
Nontraditional computer science PhD candidate at @EdinburghUni 🏴. Former technical & creative writer.
NathanReb
@nathanrebou
teej dv 🔭
@teej_dv
open source code | @neovim core | @terminaldotshop btw | ✝️ father of 3, dad jokes my own twitch.tv/teej_dv | youtube.com/@teej_dv
MMTk
@mmtkgc
Collecting the world's garbage since 2002. Follow for occasional news and announcements.
Thomas Lively
@tlively52
Software engineer working on WebAssembly tools and specification @Google. he/him. @ tlively on GitHub.
OCaml NYC Meetup
@ocamlnyc
OCaml in New York City!
Built on Power
@builtonpower
Management consultants working with IBM Power ISV's
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_ 🐫
sekun
@sekunho_
4funning programming #rust #haskell #nix
The OCaml Bot
@the_ocaml_bot
The OCaml Bot is a simple bot to give visibility to the OCaml community. It retweet all tweets containing "OCaml"
Olivier Nicole
@oliviernicole1
Working @tarides_ on the OCaml language. ❤️ Music, typesetting More active on Mastodon: functional.cafe/@otini
No Context Grand Designs
@ukgranddesigns
*disclaimer* in no way affiliated with Sir Kev
Bla.
@prettyunsound
Not active, probably never will be again.
4C: Cambridge Centre for Carbon Credits
@trustedcarbon
Unlocking finance for conservation through credible, transparent nature-based carbon credits. Based @CCI_Cambridge + @Cambridge_CL, @Cambridge_Uni.
fp-syd
@fpsyd2
Functional programming interest group. We host seminars and social events.
FUN OCaml
@funocaml
FUN OCaml 2024 is a 2 days open source hacking event dedicated to OCaml enthusiasts and professionals September 16+17, 2024 All talks live streamed!
Talia Ringer 🟣 🎗️
@taliaringer
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Elixir Sydney
@elixirsydney
We meet & discuss Elixir, Erlang & related technologies. Organisers: @joshprice, @teamalembic
Tanks Encyclopedia
@tanksenc
All about the tactics, battles, technology and evolution of tanks and armored vehicles worldwide from their origin to contemporary conflicts.
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
Tarides
@tarides_
We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
OCaml Software Foundation
@ocamlfoundation