Well-Typed
@welltyped
The Haskell Consultants
ID: 184844481
http://www.well-typed.com/ 30-08-2010 16:36:01
517 Tweet
6,6K Followers
256 Following
Rob Rix
@rob_rix
colouring outside the lines increasingly, see at robrix at types dot pl instead
Bryan Richter
@chreekat
Haskell and bicycles in an unordered heap. Now even more unordered as the DevOps Engineer for the Haskell Foundation!
deech
@deech
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.
Jens Petersen 🇵🇸🇺🇦
@juhp
[email protected]; @RedHat; @fedora Workstation, @FedoraI18n, @fedorahaskell, @teamsilverblue, @haskellstackage; he/him #stopgenocide
Gergő Érdi
@gergo_erdi
Finite-tape Turing machine
Domen Kožar
@domenkozar
❄️ Mainstreaming Nix. 💬 cal.com/domenkozar 🌲 @cachix_org founder 💻 devenv.sh 🌊 oceansprint.org
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. ✝️
Travis Whitaker (hs/acc)
@travismwhitaker
I am weaponizing Haskell and Nix.
Sukant Hajra ([email protected])
@shajra
Twitter has lost my confidence. Find me via Mastodon at functional.cafe/@shajra. Find me via Bluesky at shajra.bsky.social.
Bartosz Milewski
@bartoszmilewski
Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
José Manuel Calderón Trilla (@jmct.bsky.social)
@josecalderon
Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Csongor Kiss
@lowert
pick the right job for the tool (he/him)
Mihai Maruseac
@mihaimaruseac
Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear. Views my own
Michael Snoyman
@snoyberg
Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
Artem Pelenitsyn 🇺🇦 @[email protected]
@ulysses4ever
Postdoc at @purdue_pl / PhD in CS from @neu_prl / @mmcs_sfedu alumni / Haskell enthusiast, Julia advocate
Joachim Breitner
@nomeata
Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 mastodon.online/@nomeata
Jeremy Siek
@jeremysiek
Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Dependent Types
@dependent_types
Mostly an automated feed from the Dependent Types reddit
Sam Derbyshire
@samderbyshire
Cohomology enthusiast. I've seen rings you people wouldn't believe.
山本和彦
@kazu_yamamoto
4人の子育と親の介護真っ最中のHaskeller。Haskellコミュニティではネットワーク周りを担当。昆虫、特にクワガタが好き。エギンガー＆サワラーな釣り人。山口県在住。 アイコンは長男を模したゆるキャラです。
Tomasz Tylec
@ttylec
PhD in mathematical physics, interested in functional programming and data science
Matti Palli 🧙♂️
@tritlo
uncertified haskell engineer
Rodrigo Mesquita
@romesrf
GHC contributor; kanjideck.com
Stephen Diehl
@smdiehl
Left this hellsite for BlueSky. bsky.app/profile/www.st…
Jonathan Brachthäuser
@__protected
Researcher in computer science, all things effects, author of the Effekt language (effekt-lang.org), JunProf. at Uni Tübingen. types.pl/@effects
Taylor Fausak
@taylorfausak
Marcin Szamotulski
@me_coot
Functional programmer, mathematician.
José A. Alonso
@jose_a_alonso
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Erik Meijer
@headinthebox
Andreas Klebinger
@andreask_tweets
Working on the Glasgow Haskell Compiler.
Vladislav Zavialov
@int_index
Haskell programmer since 2012; GHC contributor since 2018.
Alexis King
@lexi_lambda
computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Matt Parsons
@mattoflambda
Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
gabby
@gabriellag439
Author of @dhall_lang, haskellforall.com, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
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 🦋
Dmitrii Kovanikov
@chshersh
Functional Programming account #1. Senior SWE at Bloomberg. I write OCaml for money. All opinions are my own.
Julian Arni
@jk_arni
@garnix_io founder. Co-author of servant. He/him
Mikolaj Konarski
@mikolajkonarski
#Haskell programmer, creator of @AllureRoguelike
Sebastian Graf
@sgraf1337
Talk to me about Haskell, GHC, general CS or my trumpet Mastodon: @[email protected]
Allure of the Stars
@allureroguelike
near-future Sci-Fi #roguelike and tactical squad game written in #Haskell #roguelikedev #gamedev
🌸🐑 mlep🥛🌸
@yandereidiot
🪬 Former CTO of @haskellfound 🧘 Core Eng Honcho @kadena_io 🪷 cohost.org/mlep 🐑 I love sheep ✨
Tweag
@tweagio
The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Serokell
@serokell
The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Finley
@finleymcilwaine
Haskell Consultant at Well-Typed LLP
Pi Writes Code
@piwritescode
@PiDelport writes codes. 👩🏼💻️ Rust, Python, Haskell, FP, types, testing.
Tom Sydney Kerckhove
@kerckhove_ts
Professional Weirdo Learning American Sign Language
Krzysztof Gogolewski
@monoidal_
Armando Santos
@_bolt12
Haskell Consultant @ Well-Typed LLP
Cheng Shao (@[email protected])
@monadiccheng
He/him. Opinions are my own.
Haskell Foundation
@haskellfound
haskell.foundation • a non-profit for building the future of Haskell
Tom Ellis
@tomjaguarpaw
Groq, Haskell, Bluefin, Opaleye
The Haskell Interlude
@haskelinterlude
This is the Haskell Interlude. A Haskell-focused podcast hosted by @nomeata, @kosmikus, @tritlo, @wouterswierstra, @nikivazou, @hgoldstein95, +Sam @PLRG_bristol
Type Theory Forall
@ttforall
Making Type Theory, Programming Languages and Formal methods more accessible! typetheoryforall.com
Flora Package Index
@flora_haskell
Flora is a package index for the #Haskell ecosystem. We are moving to the Fediverse: @[email protected]
Sovereign Tech Agency
@sovtechagency
Strengthening digital infrastructure and open source ecosystems in the public interest. mastodon.social/@sovtechfund
Never not this moment
@sridca
Haskell Weekly
@haskellweekly
Haskell Weekly is a hand-picked weekly digest of Haskell news.
gelisam
@haskell_cat
Professional Haskell developer at well.co . Opinions are my own and do not necessarily represent those of my employer.
Csaba Hruska
@csaba_hruska
I'm into compilers and pure functional programming. I'm doing Research & Development. (GHC, LLVM, ASM, pointer analysis, optimization) FYI: Csaba ⟦ˈt͡ʃɒbɒ⟧
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
🌑 Qamarade Hécate 🪬
@technoempress
Data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone they/them (PP by @HuntyDraws).
Monadic Party
@monadic_party
A Haskell summer school in Poznan and a meetup from Warsaw. We love functional programming.
Graham Hutton
@haskellhutt
Professor at @UoNComputerSci 💻 Haskeller tinyurl.com/PIH-II 📓 YouTuber tinyurl.com/FP-Nott🎙 Food Nerd 🍽 Glaswegian 🏴
Vanessa McHale
@vamchale
Mainly Haskell, sometimes J/?