107 awesome Haskell developers on Mastodon.
洪 民憙 (Hong Minhee)
@[email protected]An intersectionalist, feminist, and socialist guy living in Seoul (UTC+09:00). Who's behind @fedify and @hollo. Write some free software in #Haskell, #Rust, #TypeScript, & #Python. They/them.
Bartosz Milewski
@[email protected]Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Programming
José A. Alonso
@[email protected]Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).
Brent Yorgey
@[email protected]Associate professor of CS at Hendrix College in Conway, AR. Open-source Haskell development, education, competitive programming, type theory, category theory, combinatorics, etc.
Juan
@[email protected]FOSS person. #Gamedev for the #ZXSpectrum, #Amstrad CPC, #Commodore64, #MSX and other shiny things (PC and #DOS!).
Also #Scala, #C, #Python and #haskell, and some (retro) gaming.
Not made of actual Lego.
Toots have TTL.
Moved from @reidrac
Header: a photo of a Sony Trinitron TV displaying a scene from the game The Dawn of Kernel (Amstrad CPC) in all its CRT beauty.
Satnam Singh
@[email protected]Punjabi-Scottish-American husband and father of two, Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook} living in Los Altos, California
Astro
@[email protected]Internet software developer
#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz
arialdo
@[email protected]Dysfunctional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue
Boyd Stephen Smith Jr.
@[email protected]Born 1980-05-15 in Mena, AR
Cis White Male He/him
Liberal Democratic Socialist Idealist
Professional Haskell Programmer
Lives in Cove, AR
(24 years resident of Fayetteville, AR)
Please use Wire (or Signal) for private messaging.
maralorn
@[email protected]I am a mathematical physicist and work as a software developer at Heilmann Software.
I spend most of my time coding #haskell, #nix, #nixos, am a co-maintainer of nixpkgs.haskellPackages and a member of the #GHC Steering Committee. Apart from that I love choir singing, ballroom dancing and playing #TTRPGs.
Try out my projects:
https://code.maralorn.de/maralorn/nix-output-monitor
https://matrix.to/#/@nixpkgs-bot:maralorn.de
raichoo
@[email protected]Hacker with a #Bass. Bass Teacher and Musician. (Currently accepting students, online or on-site) #Bielefeld #TTRPG #BassGuitar #Music #Haskell #FreeBSD #Math (he/his)
Patrik Jansson
@[email protected]Computer scientist, #Haskell hacker, catalyst of research ideas, likes to connect the big picture with formal details, software & language technology advocate.
Have worked on Domain-Specific Languages of Mathematics, #Agda, Climate Impact Research, Parametricity for Dependent Types, Testing, Parsing, polytypic programming, ...
(Using tootfinder.ch)
Andres Löh
@[email protected]I am a partner and Haskell Consultant at Well-Typed LLP. I am also a member of the Haskell Foundation Board, and a co-host on the Haskell Interlude podcast and the Haskell Unfolder YouTube series.
Posting mostly about Haskell, but occasionally also about books I'm reading, video games I'm playing, and other things that interest me.
acowley
@[email protected]Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
Björn Gohla
@[email protected]math. programming. fancy types. haskell.
https://6d03.info
Salsa Gal
@[email protected]Emily, putting the gay into #gamedev
#rustlang, #speedcube, #heavymetal, and #bassguitar nerd hoping to flood the internet with my rambles and projects. Also an Arch user btw
Feel free to DM me and say hi :)
Robin Hartley
@[email protected]Lover of cosmos; weaver of ken. Here to make friends and exchange ideas.
Most of my time is put into #philosophy and #SemanticWeb / #KnowledgeGraph. My aim is to eventually create a network of ideas.
The causes i care about: #LibreSoftware, #FreeCulture, #cypherpunk, #veganism, #environmentalism, #minimalism.
I dabble in #VisualArt, #ElectricGuitar; study #science, #psychology, #history; peruse #ScienceFiction, #HighFantasy, #AgeOfSail.
Also, i'm forthright, #HighlySensitivePerson, #nomad, #StraightEdge(avoidance of addictions).
🌌🧑💻🔑 𝐗 ♻️ 🧚🧝🦌🐰🚊🚲🌍🏙️🖌️🎸🧍 [it > they > *] #searchable #fedi22
Susan Potter
@[email protected]Fractional-CTO, and polyglot software engineer (#Haskell, #PureScript, #Nix, #NixOS, #Deno, #Rust, #Roc, #Flix) with focus on building and scaling infrastructure, platforms and SaaS products end-to-end.
Tolerates writing #Scala for good money.
Has a penchant for #OptionsTrading, #FunctionalProgramming, #Economics, #SystemsThinking.
Antifascist, immigrant, gay af, she/her.
jailandrade 🍉
@[email protected]Software Developer, currently creating themes and templates for websites to sell and share my journey as entrepreneur
I'm interested in moving the web forward, so I read and share a lot about #HTML, #CSS, #SVG, #XML, #JS, #WebDev, and #WebDesign,
very interested in #functionalprogramming languages like #haskell, #clojure, #elixir, #ocaml and #elm.
I'm a #indiedev, #indieweb believer, #indiehacker and #buildinginpublic advocate
Let's create the web we want today