logo FEDIDEVS

FEDIDEVS

139 awesome Haskell accounts on Mastodon.

haskell Haskell

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 4 days ago
Posts 3,887
Followers ▼ 5,669
Following 828
Header Image

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

Last posted 2 days ago
Posts 1,976
Followers ▼ 4,696
Following 10
Header Image

Fractional-CTO, and polyglot software engineer (, , , , , , , ) with focus on building and scaling infrastructure, platforms and SaaS products end-to-end.

Tolerates writing for good money.

Has a penchant for , , , .

Antifascist, immigrant, gay af, she/her.

Last posted 1 day ago
Posts 1,966
Followers ▼ 1,868
Following 678
Header Image

Articles, projects and tutorials about .

Weekly newsletter: discu.eu/weekly/haskell

Last posted 1 day ago
Posts 1,980
Followers ▼ 1,560
Following 21
Last posted 6 days ago
Posts 2,314
Followers ▼ 1,397
Following 2,119
Header Image

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 6 days ago
Posts 120
Followers ▼ 1,368
Following 39
Header Image

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

Last posted 4 days ago
Posts 3,649
Followers ▼ 1,350
Following 428
Header Image

Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).

Last posted 3 days ago
Posts 4,828
Followers ▼ 1,253
Following 1,014
Header Image

Hacker with a . Bass Teacher and Musician. (Currently accepting students, online or on-site) antifa (he/his)

Last posted 1 week ago
Posts 8,884
Followers ▼ 1,235
Following 181
Header Image

FOSS person. for the , CPC, , and other shiny things (PC and !).

Also , , and , 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.

Last posted 3 months ago
Posts 995
Followers ▼ 816
Following 303
洪 民憙 (Hong Minhee)
@hongminhee@fosstodon.org

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 1 month ago
Posts 1,917
Followers ▼ 759
Following 634
Header Image

Haskell programmer. Also like graphics programming, electronic music, jazz, metal, cycling and weightlifting. ocharles.org.uk

Last posted 1 month ago
Posts 106
Followers ▼ 680
Following 382
Header Image

git log -p -- @xameer

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0

send messages , not metadata
> https://.sr.ht/~carnotweat/deltanix
, bits of

Last posted 2 days ago
Posts 8,605
Followers ▼ 575
Following 169
Header Image

Functional roboticist. 
Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.

Last posted 3 days ago
Posts 2,733
Followers ▼ 557
Following 378
Efexor Zolpidem v_com
@capeta@ursal.zone

Proletário das áreas Software e Educação. Shitposts em português e inglês.

Last posted 4 days ago
Posts 4,709
Followers ▼ 529
Following 1,099
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 day ago
Posts 283
Followers ▼ 512
Following 320
Header Image

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

Last posted 5 days ago
Posts 1,099
Followers ▼ 502
Following 994
Header Image

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

I spend most of my time coding , , , am a co-maintainer of nixpkgs.haskellPackages and a member of 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 4 days ago
Posts 1,747
Followers ▼ 459
Following 459
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 4 days ago
Posts 7,559
Followers ▼ 455
Following 155
Header Image
Stephan Schiffels
@stschiff@ecoevo.social

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 4 days ago
Posts 341
Followers ▼ 428
Following 482