繁體中文
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어
lambda_foo's profile picture. Providing thought leadership since 1801. Haskell and OCaml programmer. Co-Organiser of FP-SYD. http://github.com/tmcgilchrist

Tim McGilchrist

@lambda_foo

Providing thought leadership since 1801. Haskell and OCaml programmer. Co-Organiser of FP-SYD. http://github.com/tmcgilchrist

8千貼文 656位跟隨者 566個跟隨中
你可能會喜歡
發生問題，請重新整理頁面並重試。
kc_srk's profile picture. Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.

KC Sivaramakrishnan

@kc_srk
ChShersh's profile picture. Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.

Dmitrii Kovanikov

@ChShersh
tarides_'s profile picture. We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫

Tarides

@tarides_
davesnx's profile picture. Open Source UI infra at @ahrefs with OCaml Made styled-ppx and server-reason-react Working on reason-react / Melange / Reason

David Sancho

@davesnx
kmett's profile picture. Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai

Edward Kmett

@kmett
Dinoosaure's profile picture. hmmmhmmm

Calascibetta Romain

@Dinoosaure
etorreborre's profile picture. Haskell / Scala / Rust developer (author of the specs2 and registry libraries)

Eric Torreborre

@etorreborre
yawaramin's profile picture. Glug-brained developer, serial coflounder, 10➗engineer

Yawar Amin.ocallm

@yawaramin
domenkozar's profile picture. ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J

Domen Kožar

@domenkozar
smdiehl's profile picture. Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT

Stephen Diehl

@smdiehl
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.

José A. Alonso

@Jose_A_Alonso
ProgrammerDude's profile picture. I perform @nixos_org witchcraft at @mercury

Arian van Putten

@ProgrammerDude
marcelloseri's profile picture. Here only to save the handle. History deleted, find me at @mseri@mathstodon.xyz or @mseri.me on bsky

Marcello Seri

@marcelloseri
etiennemillon's profile picture. https://t.co/3lra6yxebH

Etienne Millon

@etiennemillon
vbhvsgr's profile picture. future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on bluesky

vaibhav sagar

@vbhvsgr
josecalderon's profile picture. Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire

José Manuel Calderón Trilla (@jmct.bsky.social)

@josecalderon
angerman's profile picture. 🏠 Stay-at-home dad wrangling kids & LLMs 🤖 AI maxi | FP degen | Cumlang CEO (it’s a joke) Opinions hotter than my coffee. NFA ever.

moritz ✨

@angerman
luctielen's profile picture. I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.

Luc Tielen

@luctielen
sniffnsignulls's profile picture. Observability (life + software) | prev @thalesgroup | latte art(ist)

Armaan

@sniffnsignulls
O6v3JMAxm09EAR's profile picture.

DeliaFaulkner

@O6v3JMAxm09EAR
s7TiBXG70kbDbP's profile picture.

CorneliaPhilip

@s7TiBXG70kbDbP
Ofriwea817's profile picture.

Ofriwea

@Ofriwea817
hz0HFUlxF96Jfyy's profile picture. セクシー桜花娘、奔放で夜のデート無限。日本料理後、甘いデート、体で語り合う。ためらわず、セクシー日本娘が待ってる！

蘭 (らん)

@hz0HFUlxF96Jfyy
AZ9L0h9ta0s9v's profile picture. セクシー日本美女、曲線美、熱烈デートを求め中。ショッピング好き、デート街歩き、試着室でサプライズ。日本妖女、デート上手、君に挑戦。

柚葉 (ゆずは)

@AZ9L0h9ta0s9v
mfreeman451's profile picture. building opensource software, prev @MicroFocus, @HPE, Opsware, NMCI, @Akamai

mfreeman451

@mfreeman451
Atowo272223's profile picture. Gods determine what you're going to be。

🧱🧱

@Atowo272223
thegeekinside's profile picture. 👨‍💻💻🕵️‍♂️🩺🦉🧪🦀🐍🐿 λ 🖊✍📷👨‍🎨🎨🎶🎧♟🌮☕🍷🧘‍♂️🇲🇽 he/him

thegeekinside

@thegeekinside
BadBrainsFan's profile picture. Kind-Hearted & Ethically Minded Future Electrical Engineer With Experience In Project Management. he/him/his

Chris Leader

@BadBrainsFan
frierenbyparfit's profile picture. accelerate, a(gamem)non

Frieren Endowed Chair of Robotics

@frierenbyparfit
ekander_'s profile picture. O'Cameleer at @ahrefs ex @woltapp (@doordash intl.). Musician at heart. Functional programming enthusiast.

Tom

@ekander_
Thosmeas9uXs's profile picture.

Thosmeas

@Thosmeas9uXs
onehappyfellow's profile picture. head of @typememetics ⊢ best-selling type-safe rapper ⊢ known to write OCaml from time to time ⊢ raising a small human

One Happy Fellow

@onehappyfellow
BaguetteCrypto's profile picture.

Crypto baguette

@BaguetteCrypto
G1h5l4hVskLS9T2's profile picture.

VeraTuttle

@G1h5l4hVskLS9T2
vladddbbb's profile picture.

Vlad A. Barbu

@vladddbbb
l___d__s's profile picture. Personal account.

Leon

@l___d__s
RajaVignesh2013's profile picture. Aerospace Engineering, High Performance Computing, Defense, Nuclear Physics, Silicon, Sustainability, Markets 🇮🇳

Atomic

@RajaVignesh2013
richarddavison's profile picture. Tempus fugit.

Richard Davison (is/eius/eī/eum/eō)

@richarddavison
leostera's profile picture. staff eng / pm working on the #ocaml ecosystem moved to https://t.co/pRZ9HuXb7H 🦋

Leandro

@leostera
ulugbekna's profile picture. 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"

Ulugbek Abdullaev

@ulugbekna
EspenTrydal's profile picture.

Espen Trydal

@EspenTrydal
punchagan's profile picture.

Punch

@punchagan
boobvp's profile picture. Vampire on the way

🧛 Vampire 🧛

@boobvp
alexhorth's profile picture. Engineer

Alex Horth

@alexhorth
neuroevolutus's profile picture.

neuroevolutus

@neuroevolutus
MarkdeWijk21278's profile picture.

Mark de Wijk

@MarkdeWijk21278
TechnoEmpress's profile picture. People can't do functional programming if they're getting carpet bombed.

🌑 Qamarade Hécate 🪬

@TechnoEmpress
datayja's profile picture. ‘89 • 🦉 • programmer, geek, nerd, progcentreright+progmetal+13forluck • RT ≠ endorsement • ⚛️🇨🇿🏳️‍🌈🏳️‍⚧️🇪🇺 • vibe code cleanup specialist

ᛞᚨᛏᚨᛁᛃᚨ

@datayja
08l05a3PN82uB46's profile picture.

TrudaCrichton

@08l05a3PN82uB46
mikejeuga's profile picture. 📍 LDN 🇬🇧 | Up for a debate. @SorbonneParis1 Alumn | coach + organiser @codebarLDN | he/him. I speak for myself. 👨🏾‍💻 SWE

MJ

@mikejeuga
DidierNicolas78's profile picture. Fiché L(effe) - quadruple dosé à la 🍺🍺🍺🍺

Didier Nicolas - 🍺🍺🍺🍺

@DidierNicolas78
palash2504's profile picture. Gopher | Learning Rust 🦀 Zig 🦎Ocaml 🐫 | Interested in distributed systems | Amateur Brider 🕊️ Github: https://t.co/adZTRYr5gC

Palash Nigam

@palash2504
denisgruiax's profile picture. Software Engineer 👨‍💻 Learning OCaml and Rust 🌱 Beginner in Quantitative Trading ™️ Dfinity ⚡️MultiversX 🧩 Ducati Streetfighter 1098 🚀 Apple 🍎

Denis ⚡️

@denisgruiax
pitloffredi's profile picture. Software architect. Multi-platform developer. Committed to become a FP alchemist #Scala #Elixir. Passionate lifelong learner

Pietro Loffredi

@pitloffredi
senthilsam28's profile picture.

senthil kumar

@senthilsam28
Esteban08240516's profile picture. #Scala #Haskell #Nix #Typescript Engineer @ZivergeTech In love with functional programming { . . . ❤️} All opinions are my own.

Esteban Marin

@Esteban08240516
ManasJayanth's profile picture. OCaml and Reason Dev tools hacking. https://t.co/3ulXJQ34iW

prometheansacrifice (esy.sh)

@ManasJayanth
sixfourtwelve's profile picture. Software Engineer (opinions are my own)

ethan

@sixfourtwelve
emil_priver's profile picture. Tech Lead and Part-Owner at TBA

Emil Privér

@emil_priver
JoshuaRowe11's profile picture. Working in embedded systems but also enjoy graphics, game engines, systems programming, CAD. C, OCaml, Rust 日本語OK https://t.co/FVCWKAgVfG

Omniscient

@JoshuaRowe11
ngernest2's profile picture. PL/Systems PhD student @Cornell_CS, pipe organist | he/him

Ernest Ng

@ngernest2
vdwxv's profile picture. Allo. I'm Xavier Van de Woestyne. I'm a wannabe software engineer who tweets in rough 🇫🇷 and catastrophic 🇬🇧! #ocaml I work at @tarides_ 🐫

Xavier Van de Woestyne

@vdwxv
dfwij's profile picture.

.

@dfwij
v_luisensis's profile picture.

luisensis

@v_luisensis
yburyug's profile picture. bluesky @bobbby.online https://t.co/qDul60mMOe

yburyug

@yburyug
IndieGhozt's profile picture. Software Engineer - We doing mobile now

Thomas Dillard

@IndieGhozt
etrotign's profile picture. 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.

Emile Trotignon 🇺🇦 🐫

@etrotign
koonwen's profile picture.

Koonwen

@koonwen
kc_srk's profile picture. Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.

KC Sivaramakrishnan

@kc_srk
satnam6502's profile picture. Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}

Satnam Singh

@satnam6502
ChShersh's profile picture. Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.

Dmitrii Kovanikov

@ChShersh
tarides_'s profile picture. We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫

Tarides

@tarides_
davesnx's profile picture. Open Source UI infra at @ahrefs with OCaml Made styled-ppx and server-reason-react Working on reason-react / Melange / Reason

David Sancho

@davesnx
runarorama's profile picture. Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.

Rúnar

@runarorama
yminsky's profile picture. Occasional OCaml programmer. Host of @signalsthreads. @yminsky@discuss.systems @yminsky.bsky.social https://t.co/kiUGRvWOO2

Yaron (Ron) Minsky

@yminsky
BartoszMilewski's profile picture. Physicist, programmer, mathematician. Author of Category Theory for Programmers. @BartoszMilewski@Mathstodon.xyz

Bartosz Milewski

@BartoszMilewski
kmett's profile picture. Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai

Edward Kmett

@kmett
ID_AA_Carmack's profile picture. AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospace

John Carmack

@ID_AA_Carmack
headinthebox's profile picture.

Erik Meijer

@headinthebox
Dinoosaure's profile picture. hmmmhmmm

Calascibetta Romain

@Dinoosaure
nomeata's profile picture. Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dL

Joachim Breitner

@nomeata
TaliaRinger's profile picture. Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi

Talia Ringer 🕊

@TaliaRinger
mattoflambda's profile picture. Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!

Matt Parsons

@mattoflambda
teej_dv's profile picture. open source code | @neovim core | @terminaldotshop btw | ✝️ father of 3, dad jokes my own https://t.co/jKpcjsTqBE | https://t.co/zb8zDKmSwG

teej dv 🔭

@teej_dv
_anmonteiro's profile picture. Eng @recallai, building the universal API for meeting recording. Making @melange_re

Antonio Monteiro

@_anmonteiro
etorreborre's profile picture. Haskell / Scala / Rust developer (author of the specs2 and registry libraries)

Eric Torreborre

@etorreborre
jdegoes's profile picture. CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️

John A De Goes

@jdegoes
rickasaurus's profile picture. 2x Dad, AI Old-Timer, FP Enjoyer, Math for Fun, Tech Leadership. My views do not represent my employer.

Rick

@rickasaurus
AMDGaming's profile picture. Powered by AMD. Driven by gamers. 🎮

AMD Gaming

@AMDGaming
ulugbekna's profile picture. 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"

Ulugbek Abdullaev

@ulugbekna
andreypopp's profile picture. Shifting bits...

Andrey Popp

@andreypopp
FunOCaml's profile picture. 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!

FUN OCaml

@FunOCaml
punchagan's profile picture.

Punch

@punchagan
vdwxv's profile picture. Allo. I'm Xavier Van de Woestyne. I'm a wannabe software engineer who tweets in rough 🇫🇷 and catastrophic 🇬🇧! #ocaml I work at @tarides_ 🐫

Xavier Van de Woestyne

@vdwxv
MMTkGC's profile picture. Collecting the world's garbage since 2002. Follow for occasional news and announcements.

MMTk

@MMTkGC
ManasJayanth's profile picture. OCaml and Reason Dev tools hacking. https://t.co/3ulXJQ34iW

prometheansacrifice (esy.sh)

@ManasJayanth
sabine_s_'s profile picture. 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

sabine 🐫🦀 / 'use ocaml';

@sabine_s_
ElixirSydney's profile picture. We meet & discuss Elixir, Erlang & related technologies. Organisers: @joshprice, @teamalembic

Elixir Sydney

@ElixirSydney
vincentbalat's profile picture. Ocsigen, Be Sport, Tarides https://t.co/0o55ogDWWt @balat.bluesky.social @balat@mastodon.top

Vincent Balat

@vincentbalat
fpsyd2's profile picture. Functional programming interest group. We host seminars and social events.

fp-syd

@fpsyd2
BuiltonPower's profile picture. Management consultants working with IBM Power ISV's

Built on Power

@BuiltonPower
javierwchavarri's profile picture. Frontend @ahrefs • Previously @webflow • Passionate about The Web, JavaScript, and now OCaml 🐫.

Javier Chávarri

@javierwchavarri
ukgranddesigns's profile picture. *disclaimer* in no way affiliated with Sir Kev

No Context Grand Designs

@ukgranddesigns
AlainFrisch's profile picture. CTO https://t.co/1C4hcew4iP, #OCaml. "Political" account: @AlainF92

Alain Frisch

@AlainFrisch
prettyunsound's profile picture. Not active, probably never will be again.

Bla.

@prettyunsound
GuillaumePetiot's profile picture.

Guillaume Petiot

@GuillaumePetiot
Cuihtlauac's profile picture. Corecursive Tinkerer

Cuihtlauac ALVARADO

@Cuihtlauac
ahl's profile picture. Don't follow me here.

Adam Leventhal

@ahl
brendangregg's profile picture. Makes things fast. Expert in computer performance and eBPF. Intel Fellow, ex-Netflix. Created flame graphs. Aussie. Opinions my own. brendangregg@aus.social

Brendan Gregg

@brendangregg
joshprice's profile picture. Polyglot software developer and technology consultant. Co-organiser of Elixir Sydney and GraphQL Sydney meetups. Working on GraphQL and Elixir at Alembic.

Josh Price

@joshprice
jayong28's profile picture. Professional LEGO reviewer. Questionable sense of direction. Sometimes Pokemon fan. LEGO is the universal language of play that binds us all.

Jay Ong @jaysbrickblog on bluesky

@jayong28
cahollenbeck's profile picture. Nontraditional computer science PhD candidate at @EdinburghUni 🏴󠁧󠁢󠁳󠁣󠁴󠁿. Former technical & creative writer.

Celeste

@cahollenbeck
etiennemillon's profile picture. https://t.co/3lra6yxebH

Etienne Millon

@etiennemillon
OlivierNicole1's profile picture. Working @tarides_ on the OCaml language. ❤️ Music, typesetting More active on Mastodon: https://t.co/hr27aLR691

Olivier Nicole

@OlivierNicole1
tanksenc's profile picture. All about the tactics, battles, technology and evolution of tanks and armored vehicles worldwide from their origin to contemporary conflicts.

Tanks Encyclopedia

@tanksenc
mikeduncan's profile picture. History podcaster/author. Revolutions + The History of Rome.

Mike Duncan

@mikeduncan
tlively52's profile picture. Software engineer working on WebAssembly tools and specification @Google. he/him. @ tlively on GitHub.

Thomas Lively

@tlively52
nathanrebou's profile picture.

NathanReb

@nathanrebou
Rucikir's profile picture. C & OCaml and indie punk rock techno croissants

Antonin Décimo

@Rucikir
tmattio_'s profile picture. Building Raven, a machine learning ecosystem for OCaml. Former director of engineering @tarides_, building developer experiences for the OCaml Platform.

Thibaut Mattio

@tmattio_
em3r4ld6's profile picture.

Gemma Gordon

@em3r4ld6
jonludlam's profile picture.

Jon Ludlam

@jonludlam
OpenMirage's profile picture. 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

MirageOS

@OpenMirage
trustedcarbon's profile picture. Unlocking finance for conservation through credible, transparent nature-based carbon credits. Based @CCI_Cambridge + @Cambridge_CL, @Cambridge_Uni.

4C: Cambridge Centre for Carbon Credits

@trustedcarbon
sekunho_'s profile picture. 4funning programming #rust #haskell #nix

sekun

@sekunho_
The_OCaml_Bot's profile picture. The OCaml Bot is a simple bot to give visibility to the OCaml community. It retweet all tweets containing "OCaml"

The OCaml Bot

@The_OCaml_Bot
OCamlNYC's profile picture. OCaml in New York City!

OCaml NYC Meetup

@OCamlNYC
OCamlFoundation's profile picture.

OCaml Software Foundation

@OCamlFoundation
OCamlPro's profile picture. OCamlPro helps you harness state-of-the-art languages like #OCaml and #Rust. We help you design & implement safe & powerful software #FormalMethods

OCamlPro

@OCamlPro
mbacarella's profile picture. Founder GPShopper (successful exit) ex-Jane Street (pre-SBF) ex-Google (pre-Sundar) occasional shitpoaster

Michael Bacarella

@mbacarella
QuinnyPig's profile picture. Cloud Economics and AWS shitposting, which are the same thing.

Corey Quinn

@QuinnyPig
foxes_in_love's profile picture. The official twitter of Foxes in Love!

Foxes in Love

@foxes_in_love
TheDreadShips's profile picture. Worse things happen at sea. Repeatedly. Now posting on BS as @DreadShips.bsky.social

Dreadnought Holiday

@TheDreadShips

United States 趨勢

你可能會喜歡

Something went wrong.


Something went wrong.