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

I like programming using nice languages like OCaml, Haskell, F# and IO and I try to draw, with spray on walls.

PhD student at IMDEA Software
Working on Refinement Types and Liquid Haskell
I like when programs are proofs

Haskell. Gopher.

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

🌍 #Bucharest, #Romania

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

he/him #haskell #categorytheory #lumatone

Chief enabler and software architect at @activegroupgmbh, (functional) programming, mainly Clojure, Haskell, Elixir and OCaml, based in Vienna

Staff Software Engineer working with #ruby, #elixir and Functional Programming advocate through #haskell and #elm - #Monad is the word.

all my content have a #creativecommons license CC BY-NC-SA 4.0 #CCBYNCSA

Epitech graduate. liskvork and QuasarMC maintainer.
Working for the French government. Opinions expressed are solely my own and do not express the views or opinions of my employer.

I like to program in C/Haskell/Python/Zig.
I hate C++.

Posts get deleted after 2 weeks for privacy related reasons :3

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

Languages, Visuals, and Dangerous Things

(Currently learning Occitan, te reo Māori, Haskell, and Rust)

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

Shitposting, if anything

Fucking around and finding out (mathematical).

Haskeller by trade.

#thonkin

Indoor European. Knows #regex. Writes #code (in #C or #Haskell or #Perl or #JavaScript or #bash). Not a fan of racism, sexism, transphobia, or bigotry.

Kompatibel mit handelsüblichen Klemmbausteinen.

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

I am a mathematical physicist and work as a software developer at Heilmann Software.

I spend most of my time coding #Haskell and am a member of the #NixOS Haskell team and 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

Research Engineer @ Lean FRO.

ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600, Lean

they/she 🏳️‍⚧️
marxist & queer activist, will not TW/CW politics takes
apprentice field mathematician, Haskell enjoyer
DMs are open

ADHD aphant amateur-generalist

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

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

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