alcides

@alcides

Typing types. Associate Professor at the University of Lisbon.

+ Follow

🦋 Jared Forsyth

@jaredforsyth

follower of Christ. feminist. mormon. type theory, building kipos github.com/kipos-lang/kip… dev @KhanAcademy he/him @jaredforsyth.com on 🦋

+ Follow

Taro Sekiyama

@skymountain_

+ Follow

Edward Z. Yang

@ezyang

I work on PyTorch at Meta. Chatty alt at @difficultyang. Currently on parental leave and doing a lot of AI coding, including authoring codemcp.

+ Follow

Edward Kmett

@kmett

Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. calendly.com/ekmett github.com/ekmett 🦋 @kmett.ai

+ Follow

Yann LeCun

@ylecun

Professor at NYU. Chief AI Scientist at Meta. Researcher in AI, Machine Learning, Robotics, etc. ACM Turing Award Laureate.

+ Follow

Yaron (Ron) Minsky

@yminsky

Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social threads.net/@yaronminsky

+ Follow

Andrew Myers

@andrewcmyers

Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.

+ Follow

Alejandro Serrano

@trupill

👨‍💻 Researcher at Kotlin Evolution Team 🧙‍♂️ Haskell wizard 📚 Author of 4 books 👨‍👩‍👦‍👦 +1 of @ElenaVielva

+ Follow

Matti Palli 🧙‍♂️

@tritlo

uncertified haskell engineer

+ Follow

Anuvrat Parashar

@bhanuvrat

Founder @ essentia.dev

+ Follow

Ulf Norell

@ulfnorell

+ Follow

国立情報学研究所(NII)

@jouhouken

国立情報学研究所は、情報学を専門とする国内唯一の学術総合研究所です。ネットワーク、ソフトウェア、コンテンツなどの情報関連分野の新しい理論・方法論から応用展開までの研究開発を総合的に推進しています。 National Institute of Informatics, JAPAN

+ Follow

Well-Typed

@welltyped

The Haskell Consultants

+ Follow

Andres Löh

@kosmikus

I am a partner and Haskell Consultant at Well-Typed LLP. well-typed.com

+ Follow

Haskell

@haskellorg

Committed to a welcoming, vibrant & flourishing #Haskell community! Managed by @beatleida & @TechnoEmpress on behalf of the Haskell.org Committee

+ Follow

Xuan Bi

@imzjuer

Haskell developer at Standard Chartered

+ Follow

James Wood

@lamudri

(2022-11-08) Programming Languages at Huawei. Sticking around for a PhD with @mspstrath, mechanising linearity. Banner from #四畳半神話大系. @[email protected]

+ Follow

Yudai Tanabe

@yudai_tnb

Assistant Professor

+ Follow

Ryan O'Donnell

@booleananalysis

Videos: youtube.com/ryanodonnellte…

+ Follow

Erik Meijer

@headinthebox

+ Follow

FP Complete

@fpcomplete

FP Complete is a technology company specializing in Server-Side Software, DevSecOps, Cloud Deployment, Container Orchestration & Advanced Programming Languages.

+ Follow

Vladislav Zavialov

@int_index

Haskell programmer since 2012; GHC contributor since 2018.

+ Follow

Stephanie Weirich

@fancytypes

+ Follow

Yanlin Wang

@yanlin_wang

Assistant Professor at Sun Yat-sen University. Former Senior Researcher at Microsoft Research Asia.

+ Follow

Lambda Days

@lambdadays

💥 Call for talks is open 💥 2 days of full immersion in languages like #Haskell #Scala #Elm #Elixir #Gleam and #Clojure 🦋 We're on other platforms too 🦋

+ Follow

Joe Cutler

@alpha_convert

CS PhD student at @Penn and @NSF GRFP fellow. Types, Compilers, and Distance Running. Formerly @wesleyan_u (go Wes)

+ Follow

Max ⌈

@max_erinmills

Junior APL Dev @bcaresearch / Array Programming Pro

+ Follow

KC Sivaramakrishnan

@kc_srk

Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.

+ Follow

Oisín Kidney

@oisdk

I don't use this account much anymore. Go here instead: mathstodon.xyz/@oisdk

+ Follow

András Kovács

@andraskovacs6

Type theory & applications. Also on Mastodon: types.pl/@AndrasKovacs

+ Follow

Yao Li

@lastland0

He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification. Opinions are my own. [email protected]

+ Follow

latt1ce

@sk_196844

Ex-Kyoto University; Loves System, Compiler, Math, J-Rock, Whisky

+ Follow

CAO Zheming Andy

@andy_czm0622

🏳️‍🌈they/them; PhD student @HKUsociology, @HKUniversity ’25&’29; Migration, Inequality, Education, Occupation; Exchange @UniUtrecht & @PKU1898; 👀@Litao_Zhou

+ Follow

Journal of Functional Programming

@cup_jfp

Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Journal @CambridgeUP, tweets @kamatsu8

+ Follow

Han Xu

@xu156490

+ Follow

kei

@thelissimus

Type Theory, Compiler Engineering, Formal Verification. Speak ru/en/de, learning jp/ar.

+ Follow

Waterlens

@water_lens

MPhil student in PL @HKUST

+ Follow

Ross Tate

@rossetate

Researcher and Consultant for Programming-Language Design and Implementation

+ Follow

Takuma Yoshioka

@cont_is_power

京都大学 M1 type-and-effect

+ Follow

effectfully

@effectfully

Haskell, compilers, mental decay

+ Follow

James Fridman

@fjamie013

Do not submit any personal photos that you do not want to be made public. Terms and conditions apply. jamesfridman.com/termsandcondit…

+ Follow

Tsung-Ju Chiang

@tsungjuc

Studying programming languages. Mastodon: @[email protected]

+ Follow

Prophet

@welltypedwitch

There's no sense crying over every mistake. You just keep on trying till you run out of cake. - GLaDOS cohost.org/prophet bsky.app/profile/wellty…

+ Follow

Skylee

@skyleebot

+ Follow

学不完反复

@edkjjkde

graduate PLT Enthusiast Avatar from SOPHIE.

+ Follow

Impure Pics

@impurepics

FP Advocat. Distilling functional programming for the good of all. youtube.com/@impurepics

+ Follow

Graham Hutton

@haskellhutt

Professor at @UoNComputerSci 💻 Haskeller tinyurl.com/PIH-II 📓 YouTuber tinyurl.com/FP-Nott🎙 Food Nerd 🍽 Glaswegian 🏴󠁧󠁢󠁳󠁣󠁴󠁿

+ Follow

Gary Hu

@rdsspq_eax

Ph.D. student at @HKUST. I'm focusing on formal verification.

+ Follow

Cas van der Rest

@casvdrest

Doing a PhD in PL/semantics

+ Follow