logo FEDIDEVS

FEDIDEVS

36 of the best Haskell accounts on Mastodon.

Best haskell Haskell
Header Image
Patrik Jansson
@[email protected]

Computer scientist, 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, , Climate Impact Research, Parametricity for Dependent Types, Testing, Parsing, polytypic programming, ...
(Using tootfinder.ch)

Last posted ▼ 4 days ago
Posts 900
Followers 311
Following 164
Header Image

Contributor to an open source project near you (Alpine Linux, Guix, ...). Passionate about functional programming (mostly Scheme and Haskell), software security, and operating systems. Day job in computer science, currently doing a postdoc in systems research.

Last posted ▼ 1 week ago
Posts 95
Followers 303
Following 490
Header Image
Bryce3DKeygen.midi
@[email protected]

Interests: gaming, films, Haskell, Nix, Anti-capitalism, the Small Web, cooking.

Last posted ▼ 1 week ago
Posts 304
Followers 145
Following 201
Header Image
Xavier Van de Woestyne
@[email protected]

I like programming using nice languages like OCaml, Haskell, F# and IO and I try to draw, with spray on walls.

Last posted ▼ 1 week ago
Posts 1,177
Followers 269
Following 174
Header Image

I am a mathematical physicist and work as a software developer at Heilmann Software.

I spend most of my time coding and am a member of the Haskell team and the Steering Committee. Apart from that I love choir singing, ballroom dancing and playing .

Try out my projects:

code.maralorn.de/maralorn/nix-
matrix.to/#/@nixpkgs-bot:maral

Last posted ▼ 1 week ago
Posts 1,771
Followers 492
Following 472
Nicholas Boyd Isacsson
@[email protected]

Half-Brit Swede living in Lund but working in Copenhagen.

Last posted ▼ 2 weeks ago
Posts 832
Followers 305
Following 521
Header Image
Stephan Schiffels
@[email protected]

I am a research group leader at the Max Planck Institute for Evolutionary Anthropology in Leipzig, Germany. My interests are population genetics and human history. My group uses genetics and ancient DNA to investigate the human past.
Also, I like Haskell and functional programming!
I post in English and occasionally in German

Last posted ▼ 3 weeks ago
Posts 395
Followers 444
Following 507
Julian Stecklina
@[email protected]

Does low-level systems hacking for food. 🌍🇪🇺🇩🇪🇷🇴🇪🇸🇺🇦 | @blitzclone on Twitter

Last posted ▼ 1 month ago
Posts 184
Followers 331
Following 178
Header Image
Jesse Hallett
@[email protected]

Software engineer in the Bay Area. Dad. Nerd. I'm into , , , , . Also sometimes .

Pronouns he/they

Last posted ▼ 1 month ago
Posts 179
Followers 125
Following 198
Header Image

Author 20+ books, mostly on AI, LLMs, deep learning, semantic web, Lisp. 50+ patents. My books are free to read (or buy DRM free copies) online leanpub.com/u/markwatson

Last posted ▼ 1 month ago
Posts 294
Followers 512
Following 324
Header Image
Header Image

theoretical physicist @uniheidelberg + semiprofessional computer booper (I use NixOS btw)

, ,

I like cats 🐈

compsci things: linux rust (global state apologists dni) nixos flag_jbo
other things:

Last posted ▼ 3 months ago
Posts 245
Followers 177
Following 143
Header Image
Paolo G. Giarrusso
@[email protected]

Exploring Mastodon.

PhD in Programming Languages. Formal Methods Engineer at Bedrock Systems — Coq/Scala/Haskell/Agda — geek — formally verifying C++

Last posted ▼ 3 months ago
Posts 363
Followers 311
Following 596
Carlos Saltos
@[email protected]

Coding with Scala, Elm, Haskell, Python, Erlang, Gleam, Rust, Java and Ruby on Linux and OpenBSD
Co-Founder of Talenteca.com
For geeks -> @csaltos

Last posted ▼ 4 months ago
Posts 263
Followers 136
Following 204
Header Image

Hacker, Pirat, Feuerwehr, Maschinist, Bierfreund, λ-punk, experimenteller Neuropharmakologe, Hanf Züchter und Grower, stv. Bundes Vorsitzender PP-DE a.d.

Last posted ▼ 5 months ago
Posts 3,777
Followers 1,362
Following 430
洪 民憙 (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 , , , & . They/them.

()

Last posted ▼ 7 months ago
Posts 1,917
Followers 759
Following 634