logo FEDIDEVS

FEDIDEVS

Awesome Haskell humans on Mastodon.

Human haskell Haskell
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 ▼ 1 day ago
Posts 719
Followers -1
Following 41
Header Image
Sjoerd Visscher
@[email protected]
Last posted ▼ 1 day ago
Posts 748
Followers 277
Following 227
Header Image

A programmer from Aotearoa (otherwise known as New Zealand). I have also lived in China but I'm back now.

Last posted ▼ 1 day ago
Posts 11,372
Followers 504
Following 337
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 day ago
Posts 187
Followers 127
Following 195
Jonathan Carroll
@[email protected]

primarily but learning , , , , , , and many others

rstats haskell julia rust apl python bash

Also learning Japanese 🇯🇵

Happy to also talk , , , , and lots more

Working remotely from Adelaide, South Australia

Last posted ▼ 1 day ago
Posts 2,312
Followers 1,213
Following 536
Header Image
Frédéric Menou
@[email protected]

I mostly pouet about software development, do bad puns, and troll acquaintances. Also , , and alikes.

My main achievements : I have a most likely sane teenager, and I've completed all 3 saves of The Binding of Isaac Repentance.

Currently freelance at the French NAP: transport.data.gouv.fr

Last posted ▼ 1 day ago
Posts 1,536
Followers 217
Following 250

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 29
Followers 128
Following 222
Header Image

math. programming. fancy types. haskell.
6d03.info

Last posted ▼ 1 day ago
Posts 8,161
Followers 242
Following 722
Header Image

Functional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue • he/him

Last posted ▼ 2 days ago
Posts 1,599
Followers 553
Following 1,047
Header Image

I draw gay ponies and dragons and furries in Krita!

I work on system libs and compilers professionally with LLVM. Haskell simp.

Last posted ▼ 2 days ago
Posts 222
Followers -1
Following 179
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,113
Followers 352
Following 170
Header Image

Interests:

- Some tech origins, mainly beginnings of , CP/M, , and thus / . Fond of too. Looking up to and .

- Network infra /IP, and progress.

- Traditional Unix editors such as vi () - after about three decades of growing into it, more and more of .

- Text interfaces, , ,

- Fan of version control, coming from through

- I might be a luddite - I don't favour all tech or all vendors.

Last posted ▼ 2 days ago
Posts 2,958
Followers 405
Following 921
Header Image

Haskell. Gopher.

Last posted ▼ 2 days ago
Posts 1,351
Followers 367
Following 146

I talk to machines.

Indie quant developer and algo trader teaching ordinary folks to fuck a system designed to oppress them. Polyglot software engineer (#Haskell, , , , , , ) and recovering software engineer in "tech".

Has a penchant for , , , .

Antifascist, immigrant, gay af.

Last posted ▼ 2 days ago
Posts 2,660
Followers 1,957
Following 693
Header Image

I'm interested in:
- and everything related
- programming languages that take some idea to a logical conclusion, like , or
- category theory and therefore
- new and exciting ways to make your code unreadable, including:
- functional programming
- reactive programming and
- rational fiction

Dreaming of selfhosting something

I use , home-manager and nix-on-droid btw

Last posted ▼ 3 days ago
Posts 349
Followers 3
Following 39
Header Image
Jaro Reinders
@[email protected]

PhD student at Delft University of Technology 🎓 in the @DelftPL group. Trying to build correct compilers from modular building blocks 🧩 in .

I'm also a enthusiast, contributor, and a member of the GHC Steering Committee and the Core Libraries Committee.

Other than that I'd like to play some guitar 🎶 and recently obtained a banjo 🪕. I also appreciate playing with language 📝 .

Last posted ▼ 3 days ago
Posts 310
Followers 92
Following 101
Header Image
There is No Magic
@[email protected]

I am a Haskell programmer, and former physicist. New York City. Was @ThereIsNoMagic on twitter, @ThereIsNoMagic

Last posted ▼ 3 days ago
Posts 230
Followers 162
Following 436
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 ▼ 4 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 ▼ 4 days ago
Posts 41
Followers 430
Following 75
Header Image

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

[Ger,Eng,Tok]

Last posted ▼ 5 days ago
Posts 2,985
Followers 244
Following 426
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 ▼ 5 days ago
Posts 213
Followers 61
Following 115