Andres Löh
@kosmikus
I am a partner and Haskell Consultant at Well-Typed LLP. well-typed.com
ID: 186006976
http://www.kosmikus.org 02-09-2010 10:59:00
1,1K Tweet
3,3K Followers
476 Following
deech
@deech
Eric Torreborre
@etorreborre
Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
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.
Susan Potter
@susanpotter
CTO / Principal SWE Consultant @referentiallabs. Antifascist. Gay. Immigrant. Loves: #OptionsTrading #FunctionalProgramming #economics #mathematics #systems
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
Paweł Szulc
@encodepanda
Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Sean Lee
@seanprime7
skchrko
@skchrko
- What's your job? - 38:12
Nikolai Pohodenko
@phdnk
Arian van Putten
@programmerdude
I perform @nixos_org witchcraft at @mercury
Alex J Best
@alexjbest
Researcher in math+formal methods+ml. Working on using formal verification to train models for mathematics and reasoning @harmonicmath
PJ Deschamps
@pgdeschamps
Influencing positive outcomes since 2000
Well-Typed
@welltyped
The Haskell Consultants
ACM Education & Learning Center
@acmeducation
ACM Learning Center and Education initiatives. Tweet does not = endorsement.
José A. Alonso
@jose_a_alonso
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Aquilla Sherrock
@aquilleph
a human from earth
Leo Liu
@leoliu2007
[Prolog], Javascript, Erlang, Lisp, Emacs
Seamus Kelly
@seamusckelly
Matt Parsons
@mattoflambda
Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Ahmed Hany
@__ahmedhany__
Redacted
@cercerilla
Dad×2_jack
@iceland_jack
Haskell
KC Sivaramakrishnan
@kc_srk
Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.
olric
@8ragh
herbokolog, /n only the true power shines
Tweag
@tweagio
The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Jessica Brown
@jessica_brown86
Can Huzmeli
@can_huzmeli
Creating high performing, agile and innovative teams in IOE @inputoutputHK as Engineering Director (daytime) - Coder (nighttime) - Gardener (weekends)
Graham Hutton
@haskellhutt
Professor at @UoNComputerSci 💻 Haskeller tinyurl.com/PIH-II 📓 YouTuber tinyurl.com/FP-Nott🎙 Food Nerd 🍽 Glaswegian 🏴
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
Vanessa McHale
@vamchale
Mainly Haskell, sometimes J/?
Tom Sydney Kerckhove
@kerckhove_ts
Professional Weirdo Learning American Sign Language
naomi (forgetful functor)
@fixedpointfae
25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | octodon.social/@naomi
dustyway
@dustyway777
Laurent
@cosmic_quanta
Superman
@elduderinob
Lights out by nine, alpha vibes by ten. I live off pizza boxes and questionable burritos—but don’t get it twisted. I don’t skip leg day, I skip social events.
Srivatsa Chakravarthy
@srivatsamath
Math researcher working in Random Walks on Groups
devenv
@devenv_nix
Systemd of developer environments using Nix. Created by @cachix_org Docs: devenv.sh Start: devenv.new Community: discord.gg/naMgvexb6q
Vincent COMBEY
@vincentcombey
Skye
@skyeeeehhh
18 | Ask plox | Maba tekfis ITB | 133'25 (still 167'25 tho)
Fahz Leer
@fahzleer
billow calmer
@billowcalmer
Jose Storopoli
@jose_storopoli
Cypherpunk, PhD, Computer Scientist, Bayesian, Stoic. BJJ & Barbell aficionado. "running bitcoin" since 2020. Open source Maximalist. Software Eng @AlpenLabs.
Herbert Weissenbaeck
@weissenbaeck_h
Entrepreneur. Husband. Father :: Strategy, Technology, Applied Math and good, meaningful conversations. Opinions are mine.
Saint Homobonus
@sthomobonus3
Cogito ergo sum.
Eric Tchirnhausen
@tchirnhaus20039
Theresa Smith
@smi78238
Sensey
@pisensey
Xu Xue
@juniorxxue
Haskell; Agda; Racket
Florida Smith
@floridasmi8420
Ada obi Loveth
@adaobilove10353
Nissan Patel
@nissanpatel1012
Asliddin Abdivasiyev
@_abdivasiyev
Gopher from Uzbekistan
akande adebyo
@aadebyo42826
LBNVB4W8
Steven greg
@stevengreg1245
I’m a Golf player
Torben Schweren
@tschweren
open source developer, find me here: mastodon.schweren.dev/@torben | github.com/Kitt3120 | osu.ppy.sh/users/3754254
ibiweni
@ibiweni
river
keinsell
@keinsell_
processing sanity disintegration, we will comeback to locking in soon
Pangz
@fplaotouer
🇨🇳| Haskell enthusiast & 🦀Rustacean |🧐he/him
0xm3h
@0xb1nd
Cur8
@cur8labs
Where Digital Ownership Lives. Welcome home
whyuenac
@whyuenac
Idris
@syscallnull
Will
@will496betty
Tim Lavoie
@timnottabot
ThinkCareful
@thinkcareful
Moving to blue skky
Lawrence Paulson
@lawrpaulson
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the other place.
Daniel Andem OROCHI
@jeffrey070311
Katerina Mills
@mscutemills
It is better to try and get disappointed, than never to try and be haunted forever. Lovey 🫶
Saba Muhammad Riaz
@muhammad_s41790
✨ Crafting thoughts into code,🤫📝 Shaping silence with syntax, 🐍🤖💫 Where Python meets the soul of AI.