Displaced Philly boy. Threat hunter. Educator. Executive Director. #infosec, #programming #rust , #python #haskell , and #javascript . #opensource advocate. General in the AI Resistance. Runs @thetaggartinstitute. Made https://wtfbins.wtf. Not your bro. All opinions my own. Dad. #fedi22 #searchable

Pronouns: He/him.

🇧🇷 Just a Amazonian lad, with no money in the bank or important parents and, coming from the countryside.

Computer scientist, operations researcher, #Haskell #Golang #Cpp programmer, #FOSS, socialist and football lover.

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

Internet software developer

#NixOS #Rustlang #XMPP #IPv6 #noPHP #carfree #Dresden #searchable #FediBuzz

Professional freelance programmer (#python, #haskell, #rust, #c++, #linux)
https://meejah.ca
https://txtorcon.readthedocs.org
https://carml.readthedocs.org
#twisted #python #tor #infosec #privacy
I re-toot all reasonable replies
"rumoured to be Canadian"

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

Head of Rust Ecosystem at JetBrains. Former university lecturer teaching programming languages and other topics in CS. Author of Haskell in Depth (Manning publications, 2021).

Associate professor of CS at Hendrix College in Conway, AR. Open-source Haskell development, education, competitive programming, type theory, category theory, combinatorics, etc.

Haskell. Gopher.

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.

#rstats primarily but learning #haskell, #julia, #rust, #python, #APL, #lisp, and many others

Also learning Japanese 🇯🇵

Happy to also talk #chess, #woodwork, #biotech, #physics, and lots more

Working remotely from Adelaide, South Australia

math. programming. fancy types. haskell.
https://6d03.info

PhD student with Ralf Hinze, Jurriaan Rot & Niels van der Weide in Category Theory for the design of Proven Correct, Total Algorithms
#categorytheory #agda #haskell #nix #emacs Recursion Schemes/Structured Recursion Generic Programming Language Acquisition New Masculinities #vegan #sustainable #skeptic Friend Boulderer #meditation Yin #maker 🇪🇺an

A programmer from Aotearoa (otherwise known as New Zealand). I have also lived in China but I'm back now.

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

Author 20+ books, mostly on AI, LLMs, deep learning, semantic web, Lisp. 50+ patents. Follow me on Mastodon @mark_watson

Software engineer. Mathematics major. All programming languages are bad.

In free time, game developer; main titles: #AAAAXY, #Xonotic, #Nexuiz.

Super Mario Maker troll fan (i.e. I enjoy watching streamers suffer).

Primary: @divVerent

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

he/him #haskell #categorytheory #lumatone

Software developer, #FP, #Scala, #Kotlin, #JVM, #Haskell enthusiast; contributor to https://alexn.org, https://monix.io, https://typelevel.org.

🌍 #Bucharest, #Romania

I talk to machines.

Indie quant developer and algo trader teaching ordinary folks to fuck a system designed to oppress them. Polyglot software engineer (#Haskell, #Erlang, #Scala, #Nix, #NixOS, #Fsharp, #Python) and recovering software engineer in "tech".

Has a penchant for #OptionsTrading, #FunctionalProgramming, #Economics, #SystemsThinking.

Antifascist, immigrant, gay af. #effice