111 awesome Haskell accounts on Mastodon.
Bartosz Milewski
@[email protected]Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Programming
HoldMyType
@[email protected]> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge
> i am not a book about me .
> https://git.sr.ht/~carnotweat/virt-nix
#rust #nix , bits of #haskell #ocaml
raichoo
@[email protected]Hacker with a #Bass. Bass Teacher and Musician. (Currently accepting students, online or on-site) #Bielefeld #TTRPG #BassGuitar #Music #Haskell #FreeBSD #Math (he/his)
洪 民憙 (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 #Haskell, #Rust, #TypeScript, & #Python. They/them.
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).
Brent Yorgey
@[email protected]Associate professor of CS at Hendrix College in Conway, AR. Open-source Haskell development, education, competitive programming, type theory, category theory, combinatorics, etc.
Juan
@[email protected]FOSS person. #Gamedev for the #ZXSpectrum, #Amstrad CPC, #Commodore64, #MSX and other shiny things (PC and #DOS!).
Also #Scala, #C, #Python and #haskell, 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.
Simon Weiss
@[email protected]Artist, designer, coder, FOSS enjoyer.
🧑🏻🎨 fine art, oil painting, acrylic, mixed media, calligraphy, design, logo, typography, minimalism, abstract art, pixel/ASCII/ANSI art, webcomic
🧑🏻💻 Python, Rust, Haskell, Elm, Tidal Cycles
⛺ nature, hiking, camping, DIY, hi-fi, strange music, object manipulation
Raymond
@[email protected]Shitposting, if anything
Fucking around and finding out (mathematical)
Trying to homotop a type theory. Big fan of round, hollow things. (I guess they don't even really need to be round)
Haskell in the streets, agda in the sheets.
Haskell Weekly
@[email protected]Articles, projects and tutorials about #Haskell.
Weekly newsletter: https://discu.eu/weekly/haskell
arialdo
@[email protected]Dysfunctional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue
Björn Gohla
@[email protected]math. programming. fancy types. haskell.
https://6d03.info
Boyd Stephen Smith Jr.
@[email protected]Born 1980-05-15 in Mena, AR
Cis White Male He/him
Liberal Democratic Socialist Idealist
Professional Haskell Programmer
Lives in Cove, AR
(24 years resident of Fayetteville, AR)
Please use Wire (or Signal) for private messaging.
Astro
@[email protected]Internet software developer
#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz
ELLIOTTCABLE
@[email protected]Queery {PL,Q}T; my gender is carbohydrates & the colour pink. 💝
I write a lot of #OCaml for the #JavaScript ecosystem!
DMs open; indexed on tootfinder.ch; other keywords: #PLT #Rust #TypeScript #ML #Haskell #FunctionalProgramming
Jeremy List
@[email protected]A programmer from Aotearoa (otherwise known as New Zealand). I have also lived in China but I'm back now.
Antisemites (specifically including Likud supporters) and other racists dni.
Salsa Gal
@[email protected]Emily, putting the gay into #gamedev
#rustlang, #speedcube, #heavymetal, and #bassguitar nerd hoping to flood the internet with my rambles and projects. Also an Arch user btw
Feel free to DM me and say hi :)
dougfort
@[email protected]programmer.
Interested in augmentation
Ocaml
Haskell
Racket
Patrik Jansson
@[email protected]Computer scientist, #Haskell 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, #Agda, Climate Impact Research, Parametricity for Dependent Types, Testing, Parsing, polytypic programming, ...
(Using tootfinder.ch)