111 awesome Haskell accounts on Mastodon.
![haskell](/static/languages/haskell.3f87ea7539b8.png)
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.
洪 民憙 (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.
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).
Efertone
![verifiedpansexual verifiedpansexual](https://media.tech.lgbt/custom_emojis/images/000/251/317/original/a6d07ad0ce4ff0a9.png)
@[email protected]
I'm trans pan woman and usually I'm #engineering the #cloud. And #gaming (mostly #ffxiv and #genshinimpact) ;)
But really, most of the time I live inside my #vim (technically #neovim these days) and coding.
If I don't get a joke or a reference, please excuse me, ASD has some drawbacks. Let me know in a civil way so I can learn. Thank you :)
Bartosz Milewski
@[email protected]Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Programming
chexum
@[email protected]Interests:
- Some tech origins, mainly beginnings of #Unix, CP/M, #Amiga, and thus #BCPL / #tripos. Fond of #forth too. Looking up to #lisp #haskell #erlang and #elm.
- Network infra #TCP/IP, #mptcp and #TLS progress.
- Standard editors such as vi (#vim) - after about three decades of growing into it, more and more of #emacs.
- Text interfaces, #mutt, #tig, #mc
- Fan of version control, coming from #rcs through #git
- Not a luddite at all, but I don't favour all tech or all vendors.
HoldMyType
@[email protected]> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge
> i am not a book about me .
> https://git.sr.ht/~carnotweat/virt-nix
#rust #nix , bits of #haskell #ocaml
Ari Prakash
@[email protected]👩🏽💻 programmer (TS, rust, haskell)
👩🏽🎓 northeastern '27
🏳️⚧️ trans woman
📥 open to chat about most things
acowley
@[email protected]Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
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.
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
Tomas Aschan [ɐ̆sˈkɑːn]
@[email protected]I'm a software engineer at Spotify, building internal developer tooling on Kubernetes - mostly golang and python. In my spare time I also dabble in haskell, rust and open-source software in general. I'm a choir tenor. I'm learning how to dad, while my son learns how to human (it's great!). I like a good story. I think empathy is probably the most important quality in a person.
emneo
@[email protected]21 years old student at Epitech Toulouse (5th year) and Free software enthusiast.
I like to program in C/Haskell/Python.
I hate C++.
Posts get deleted after 2 weeks for privacy related reasons :3
There is No Magic
@[email protected]I am a Haskell programmer, and former physicist. New York City. Was @ThereIsNoMagic on twitter, @ThereIsNoMagic
Pixdigit
@[email protected]Hobby Gamedev with interests in (functional) programming, climbing, cooking and sustainability. Professional computer infrastructure tinkerer
[Ger,Eng,Tok]
Astro
@[email protected]Internet software developer
#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz
Kalamata Hari
@[email protected]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
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.
Haskell Weekly
@[email protected]Articles, projects and tutorials about #Haskell.
Weekly newsletter: https://discu.eu/weekly/haskell