logo FEDIDEVS

FEDIDEVS

120 awesome Haskell developers on Mastodon.

Human haskell Haskell
Header Image

Slowly writing a common lisp book

bluesky folks follow @ap.brid.gy so we can interact!

Profile pic was created with Picrew’s “Fields of Mistria OC maker“!

Header is a Haskell wallpaper made by me.

Last posted ▼ 1 day ago
Posts 5,763
Followers 479
Following 283
Header Image
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).

Last posted ▼ 1 day ago
Posts 6,870
Followers 1,422
Following 1,040

Hi there.

I'm a software engineer and father of 2 kids.

I enjoy learning new things and have a keen interest in furthering the state of FOSS, either through development work or politics (in as much as there is a difference between the two). We'll have to see if anything ever comes from this.

I hail from Denmark, the Copenhagen area.

I have been working professionally with Haskell, Rust, Python, and C#.

Theoretical Computer Science sleeper agent. (The formal methods revolution is coming - and when it does, I will be ready).

My blog: blog.philsas.one/plc/

Last posted ▼ 1 day ago
Posts 362
Followers 11
Following 101
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 ▼ 1 day ago
Posts 945
Followers 318
Following 164
Header Image
Mihai Maruseac
@[email protected]

Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.

Last posted ▼ 1 day ago
Posts 35
Followers 13
Following 28
Header Image
Maxx (she/her)
@[email protected]

Programmer, TTRPG'er, hobbyist of a million varieties...

Currently hyper-fixating on contributions to 2009scape, working on homelab stuff, and haskell 🙃

Header photo credit: Josan Gonzalez
Pfp credit: Jaki Martinez

Last posted ▼ 1 day ago
Posts 195
Followers 9
Following 28

Displaced Philly boy. Threat hunter. Streamer. Educator. , rust, python haskell, and javascript. advocate. Runs @thetaggartinstitute. Made wtfbins.wtf. Co-creator of github.com/mttaggart/Offensive. Not your bro. All opinions my own. Dad.

Pronouns: He/him.

M.Ed | Sec+ | CISSP | eCTHPv2 | eWPT | CRTO

Last posted ▼ 1 day ago
Posts 7,854
Followers 7,073
Following 857
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 ▼ 1 day ago
Posts 7,738
Followers 465
Following 163
Header Image
Mihai Maruseac
@[email protected]

Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.

Last posted ▼ 1 day ago
Posts 9
Followers 17
Following 30
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,379
Followers 213
Following 242
Header Image
Mihai Maruseac
@[email protected]

Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.

Last posted ▼ 1 day ago
Posts 33
Followers 18
Following 30
Header Image

Haskell hacker and Stunts racer. Fascinated by category theory. Enjoys logic, PLT, and philosophy from both sides of the divide. Brasileiro. He/him

Last posted ▼ 1 day ago
Posts 320
Followers 28
Following 75
Header Image
Marko Dimjašević
@[email protected]

Computer scientist, Haskell developer, Home Assistant smart home enthusiast, DIY electronics rookie, with interest in social production of software and culture.

Last posted ▼ 1 day ago
Posts 1,444
Followers 83
Following 53
Header Image

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

🌍 ,

Last posted ▼ 1 day ago
Posts 59
Followers 1,219
Following 360
Header Image

I’m curious and passionate about free software, functional programming languages, decentralized systems and decentralized finance. I’m interested in Haskell, Nix, Rust but also embedded systems and low-power wireless technologies.

In my free time, I contribute to open source projects, participate in activities in the further of mass blockchain adoption or study RF signals around me.

PS: I *really* like trains :)

Last posted ▼ 1 day ago
Posts 283
Followers 27
Following 88
Header Image
Cass Alexandru
@[email protected]

PhD student with Ralf Hinze in Category Theory for the design of Proven Correct, Total Algorithms
 Recursion Schemes Generic Programming Language Acquisition New Masculinities  Friend  Yin  🇪🇺an

Last posted ▼ 1 day ago
Posts 640
Followers 173
Following 156
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,657
Followers 376
Following 893
Header Image
Bartosz Milewski
@[email protected]

Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Functional Programming

Last posted ▼ 2 days ago
Posts 2,393
Followers 4,941
Following 11
Header Image
Jaro Reinders (he/him)
@[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 member of the Core Libraries Committee (github.com/haskell/core-librar).

Last posted ▼ 2 days ago
Posts 173
Followers 52
Following 74
Header Image
Artem Pelenitsyn
@[email protected]

Postdoc at Purdue. PhD in CS. Programming languages and compilers. Julia, Haskell.

Last posted ▼ 2 days ago
Posts 191
Followers 97
Following 100