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
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.
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.
洪 民憙 (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.
Haskell Weekly
@[email protected]Articles, projects and tutorials about #Haskell.
Weekly newsletter: https://discu.eu/weekly/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
Björn Gohla
@[email protected]math. programming. fancy types. haskell.
https://6d03.info
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.
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
Jesse Hallett
@[email protected]Software engineer in the Bay Area. Dad. Nerd. I work at Hasura. I'm into #Rust, #Haskell, #Typescript, #Neovim, #Nix. Also sometimes #History. #fedi22
Reducing wealth inequality is a big issue to me - IMO it's an issue with one of the highest conceptual simplicity-to-world improvement ratios. So sometimes I step out of the tech zone and post things like #eattherich and #nogoodbillionaires.
Pronouns he/they
RELEX Solutions
@[email protected]This is an unofficial mirror of RELEX Oy social media channels elsewhere. We're reading DMs. Some of our technologies are: #Ansible, #Elixir, #Golang, #Haskell, #Java, #Kafka, #Kotlin, #Kubernetes, #NodeJS #Rails, #ReactJS, #Redux, #Ruby, #Terraform, #Typescript. ∎ Our unified supply chain and retail planning platform helps retailers and consumer brands sell more and waste less.
Pixdigit
@[email protected]Hobby Gamedev with interests in (functional) programming, climbing, cooking and sustainability. Professional computer infrastructure tinkerer
[Ger,Eng,Tok]
Mmdrza
@[email protected]Programming : Haskell , C, C++, C#, JavaScript, PHP, Python , Ruby, Gem, Rust, Swift, Go, SQL, Shell, Powershell, Typescript, Assembly , R , Lua, Latex, Perl
Dima
@[email protected]Software Engineer.
I love functional programming and Haskell, but I work with TypeScript and OOP. Still have a lot of fun.
Visit me here: https://github.com/dkurilo
And write me if I can help somehow.
wrote Ruby before Rails became popular. Also Go. Wanna try Rust, Haskell, Lisp, Scheme, Agda (?).
Carlos Saltos
@[email protected]Coding with Scala, Elm, Haskell, Python, Erlang, Gleam, Rust, Java and Ruby on Linux and OpenBSD
Co-Founder of http://Talenteca.com
For geeks -> @csaltos
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