#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

Software Engineer in the Netherlands 🇳🇱 (born in Barcelona)
aka jjba23, Joe

Hacking away, spreading free software (as in freedom) and writing Lisp, Haskell, Scala, Rust, Guix, Nix, loving Emacs and GNU/Linux systems

Playing guitar

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"

Computational archaeologist at MPI EVA. #aDNA, #linguistics, #archaeology, #gis, #rstats, #haskell

PhD student at Delft University of Technology 🎓 in the @DelftPL group. Trying to build correct compilers from modular building blocks 🧩 in #Agda.

I'm also a #Haskell enthusiast, #GHC contributor, and member of the Core Libraries Committee (https://github.com/haskell/core-libraries-committee/).

Other than that I'd like to play some #folk guitar 🎶 and recently obtained a banjo 🪕. I also appreciate playing with language 📝 #lightverse.

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

Software guy; mostly C at work, mostly Rust at home, historically Haskell and Befunge and such. Fan of FOSS, privacy, video games. Finn.

Hi there.

I'm a software engineer and father of 2 kids.

I enjoy learning new things and have a keen interest in furthering the state of FOSS, either through development work or politics (in as much as there is a difference between the two). We'll have to see if anything ever comes from this.

I hail from Denmark, the Copenhagen area.

I have been working professionally with Haskell, Rust, Python, and C#.

Theoretical Computer Science sleeper agent. (The formal methods revolution is coming - and when it does, I will be ready).

My blog: https://blog.philsas.one/plc/

ADHD aphant amateur-generalist

🧑‍🎓: 🧙SmartLogic AKS 🌷Tulip 🏛️MIT

🧑‍🔧: #shell #ruby ⚗️ #elixir #k8s

🧑‍🏫: #rust #nix #wasm #haskell?

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)

Computer scientist, Haskell developer, Home Assistant smart home enthusiast, DIY electronics rookie, with interest in social production of software and culture.

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 :)

they/she 🏳️‍⚧️
commie & queer activist
apprentice field mathematician, Haskell enjoyer
DMs are open

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

I am a Haskell programmer, and former physicist. New York City. Was @ThereIsNoMagic on twitter, @ThereIsNoMagic

#haskell #nix

I draw gay ponies and dragons and furries in Krita!

I work on system libs and compilers professionally with LLVM. Haskell simp.

#mlp #mlpart #haskell

i like terepi and homestuck 👍 ¦ i like math and computers and computer math ¦ all posts come with a 3 year warranty as well as free customer support ¦ #racket, #rust, #sbcl, #lean4, #elixir, #haskell-pilled—i just like programming languages okay

feel free to follow request!

software developer from #austria

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