logo FEDIDEVS

FEDIDEVS

Awesome Haskell humans on Mastodon.

Human haskell Haskell
Header Image

Haskell programmer, Linux user.
I block assholes quickly and frequently.

Last posted ▼ 1 day ago
Posts 1,196
Followers 105
Following 213
Header Image

Indoor European. Knows . Writes (in or or or or ). Not a fan of racism, sexism, transphobia, or bigotry.
100% OPSEC.

Kompatibel mit handelsüblichen Klemmbausteinen.

Last posted ▼ 1 day ago
Posts 9,218
Followers 232
Following 66
Header Image
Cass Alexandru (at TYPES)
@[email protected]

PhD student with Ralf Hinze, Jurriaan Rot & Niels van der Weide in Category Theory for the design of Proven Correct, Total Algorithms
 #agda #haskell #nix #emacs Recursion Schemes/Structured Recursion Generic Programming Language Acquisition New Masculinities #vegan #sustainable #skeptic Friend Boulderer #meditation Yin #maker 🇪🇺an

Last posted ▼ 1 day ago
Posts 798
Followers 213
Following 176

Software engineer. Mathematics major. All programming languages are bad.

In free time, game developer; main titles: , , .

Super Mario Maker troll fan (i.e. I enjoy watching streamers suffer).

Primary: @divVerent

Last posted ▼ 1 day ago
Posts 28
Followers 128
Following 222
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 ▼ 2 days ago
Posts 1,111
Followers 351
Following 170
Header Image

Interests in no particular order: , , , , (Boardgame), (Retro and Indie), , ,

If you want to follow me, and we don't know each other in meat space, your profile should give me an idea about who you are.

Last posted ▼ 2 days ago
Posts 7,917
Followers 473
Following 167
Header Image

CTO at satoshi-connect.ch.
@bebop ambassador.

I’m curious and passionate about free software, decentralized systems and decentralized finance. I’m interested in Haskell, Nix, Rust but also embedded systems, radio comm ops and the occasional math paper.

In my free time, I contribute to open source projects, promote blockchain-based solutions to real-world problems or study RF signals around me.

I also *really* like trains :)

Last posted ▼ 2 days ago
Posts 393
Followers 44
Following 130
Header Image
Vitaly Bragilevsky
@[email protected]

Head of Rust Ecosystem at JetBrains. Former university lecturer teaching programming languages and other topics in CS. Author of Haskell in Depth (Manning publications, 2021).

Last posted ▼ 2 days ago
Posts 41
Followers 430
Following 75
Header Image

i like terepi and homestuck 👍 ¦ i like math and computers and computer math ¦ all posts come with a 3 year warranty as well as free customer support ¦ , , , , , -pilled—i just like programming languages okay

Last posted ▼ 2 days ago
Posts 717
Followers -1
Following 41

Professional freelance programmer (#python, , , ++, )
meejah.ca
txtorcon.readthedocs.org
carml.readthedocs.org

I re-toot all reasonable replies
"rumoured to be Canadian"

Last posted ▼ 2 days ago
Posts 10,007
Followers 659
Following 702
Header Image
Sjoerd Visscher
@[email protected]
Last posted ▼ 2 days ago
Posts 747
Followers 276
Following 226
Header Image

they/she 🏳️‍⚧️
marxist & queer activist, will not TW/CW politics takes
apprentice field mathematician, Haskell enjoyer
DMs are open

Last posted ▼ 2 days ago
Posts 264
Followers 307
Following 75
Header Image

Chief enabler and software architect at @activegroupgmbh, (functional) programming, mainly Clojure, Haskell, Elixir and OCaml, based in Vienna

Last posted ▼ 2 days ago
Posts 889
Followers 65
Following 192
Header Image

Hobby Gamedev with interests in (functional) programming, climbing, cooking and sustainability. Professional computer infrastructure tinkerer

[Ger,Eng,Tok]

Last posted ▼ 3 days ago
Posts 2,985
Followers 244
Following 426
Header Image

Author 20+ books, mostly on AI, LLMs, deep learning, semantic web, Lisp. 50+ patents. Follow me on Mastodon @mark_watson

Last posted ▼ 3 days ago
Posts 356
Followers 537
Following 366
Josep Bigorra (jjba23)
@[email protected]

Software Engineer in the Netherlands 🇳🇱 (born in Barcelona)
aka jjba23, Joe

Hacking away, spreading free software (as in freedom) and writing Lisp, Haskell, Scala, Rust, Guix, Nix, loving Emacs and GNU/Linux systems

Playing guitar

Last posted ▼ 3 days ago
Posts 171
Followers 67
Following 60
Header Image
Clemens Schmid
@[email protected]

Computational archaeologist at MPI EVA. , , , , ,

Last posted ▼ 3 days ago
Posts 1,984
Followers 194
Following 243
Header Image
Nora Dimitrijević
@[email protected]

Software dev, working in programming languages and static analysis, armchair linguist and conlanger, amateur and karaoke fiend.
Based in Amsterdam 🇳🇱. 
Interests: 
Personal:

Last posted ▼ 3 days ago
Posts 213
Followers 61
Following 115
Header Image

Epitech graduate. liskvork and QuasarMC maintainer.
Working for the French government. Opinions expressed are solely my own and do not express the views or opinions of my employer.

I like to program in C/Haskell/Python/Zig.
I hate C++.

Posts get deleted after 2 weeks for privacy related reasons :3

Last posted ▼ 3 days ago
Posts 18
Followers 111
Following 138
Header Image

Software developer, , , , , enthusiast; contributor to alexn.org, monix.io, typelevel.org.

🌍 ,

Last posted ▼ 4 days ago
Posts 65
Followers 1,247
Following 349
Header Image
Compiler Explorer
@[email protected]

I'm a website that lets you type in C, C++, D, Rust, Haskell, Ispc, Java and other compiled languages, and then I compile it and show you the assembly output.

I can also run those programs and show what they'd print.

But not here, I'm not a bot, I'm a person and this account is for status and help with the site.

Last posted ▼ 4 days ago
Posts 148
Followers 1,648
Following 40