139 awesome Haskell accounts on Mastodon.
Taggart
@mttaggart@infosec.exchangeDisplaced Philly boy. Threat hunter. Streamer. Educator. #infosec, #programming #rust , #python #haskell , and #javascript . #opensource advocate. Runs @thetaggartinstitute. Made https://wtfbins.wtf. Co-creator of https://github.com/mttaggart/OffensiveNotion. Not your bro. All opinions my own. Dad. #fedi22 #searchable
Pronouns: He/him.
M.Ed | Sec+ | CISSP | eCTHPv2 | eWPT | CRTO
Bartosz Milewski
@bartoszmilewski@mathstodon.xyzPhysicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Programming
Susan Potter
@susanpotter@mastodon.socialFractional-CTO, and polyglot software engineer (#Haskell, #PureScript, #Nix, #NixOS, #Deno, #Rust, #Roc, #Flix) with focus on building and scaling infrastructure, platforms and SaaS products end-to-end.
Tolerates writing #Scala for good money.
Has a penchant for #OptionsTrading, #FunctionalProgramming, #Economics, #SystemsThinking.
Antifascist, immigrant, gay af, she/her.
Haskell Weekly
@haskell_discussions@mastodon.socialArticles, projects and tutorials about #Haskell.
Weekly newsletter: https://discu.eu/weekly/haskell
Astro
@astro@c3d2.socialInternet software developer
#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz
Compiler Explorer
@compiler_explorer@hachyderm.ioI'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.
alios
@alios@chaos.socialHacker, Pirat, Feuerwehr, Maschinist, Bierfreund, λ-punk, experimenteller Neuropharmakologe, Hanf Züchter und Grower, stv. Bundes Vorsitzender PP-DE a.d. #haskell #rustlang #nixos #openbsd
José A. Alonso
@jose_a_alonso@mathstodon.xyzMathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).
raichoo
@raichoo@chaos.socialHacker with a #Bass. Bass Teacher and Musician. (Currently accepting students, online or on-site) #Bielefeld #TTRPG #BassGuitar #Music #Haskell #FreeBSD #Math (he/his)
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.
洪 民憙 (Hong Minhee)
@hongminhee@fosstodon.orgAn 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.
Ollie Charles
@ocharles@mastodon.socialHaskell programmer. Also like graphics programming, electronic music, jazz, metal, cycling and weightlifting. https://ocharles.org.uk
HoldMyType
@xameer@mathstodon.xyzgit log -p -- @xameer
> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge #noai
send messages , not metadata
> https://.sr.ht/~carnotweat/deltanix
#rust #nix , bits of #haskell #ocaml
Anthony Cowley
@acowley@mastodon.socialFunctional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
Efexor Zolpidem
@capeta@ursal.zoneProletário das áreas Software e Educação. Shitposts em português e inglês.
#linux #gnu #foss #python #php #javascript #haskell #fp #EatTheRich
Mark Watson
@mark_watson@mastodon.socialAuthor 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 https://leanpub.com/u/markwatson
arialdo
@arialdo@mastodon.onlineDysfunctional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue, he/him
maralorn
@maralorn@chaos.socialI am a mathematical physicist and work as a software developer at Heilmann Software.
I spend most of my time coding #haskell, #nix, #nixos, am a co-maintainer of nixpkgs.haskellPackages and a member of the #GHC Steering Committee. Apart from that I love choir singing, ballroom dancing and playing #TTRPGs.
Try out my projects:
https://code.maralorn.de/maralorn/nix-output-monitor
https://matrix.to/#/@nixpkgs-bot:maralorn.de
tauli
@tauli@chaos.socialInterests in no particular order: #Haskell, #Unix, #Neovim, #Feminism, #Go(Boardgame), #VideoGames (Retro and Indie), #Origami, #Tea, #Chocolate
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.
Stephan Schiffels
@stschiff@ecoevo.socialI 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