111 awesome Haskell accounts on Mastodon.
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.
kevin ✨ (he/him)
@[email protected]#DevOps & Platform Engineering at AOE GmbH
always antifascist 🏴
always queer 🏳️🌈
Posting mainly about Kubernetes, DevSecOps and programming (Rust, Web Dev) Currently learning Haskell.
Astro
@[email protected]Internet software developer
#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz
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
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.
dougfort
@[email protected]programmer.
Interested in augmentation
Ocaml
Haskell
Racket
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
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).
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.
Dino
@[email protected]Haskell programmer, Linux user.
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.
I like maths, computers, nature, people. Master student in dynamics (ergodic theory) at USP, but often fiddling with Haskell and Lean. From northeast of Brazil, type 1 diabetic 🌻.
Björn Gohla
@[email protected]math. programming. fancy types. haskell.
https://6d03.info
acowley
@[email protected]Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
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.
Pixdigit
@[email protected]Hobby Gamedev with interests in (functional) programming, climbing, cooking and sustainability. Professional computer infrastructure tinkerer
[Ger,Eng,Tok]
Doug Burke
@[email protected]Astronomer. Interested in Open Science, how to do Science, Haskell, Semantic Web, and other stuff.
Secretary of the Astrostatistics Interest Group of the American Statistical Association for 22/23
Sebastian Graf
@[email protected]Talk to me about Haskell, GHC, static analysis, PL design and theory, general CS, or my trumpet
jailandrade
@[email protected]Software Developer, currently creating themes and templates for websites to sell and share my journey as entrepreneur
I'm interested in moving the web forward, so I read and share a lot about #HTML, #CSS, #SVG, #XML, #JS, #WebDev, and #WebDesign,
very interested in #functionalprogramming languages like #haskell, #clojure, #elixir, #ocaml and #elm.
I'm a #indiedev, #indieweb believer, #indiehacker and #buildinginpublic advocate
Let's create the web we want today
maon
@[email protected]Software guy; mostly C at work, mostly Rust at home, historically Haskell and Befunge and such. Fan of FOSS, privacy, video games. Finn.