Passionate Software-Developer from Germany, likes Ruby, Haskell, Linux, Emacs, Vim, Books, Fantasy, Lego, Boardgames, Whisky, Heavy Metal and Nature.

Chasing dreams.

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

Does low-level systems hacking for food. #x86 #riscv #rust #haskell #cpp #nixos 🌍🇪🇺🇩🇪🇷🇴🇪🇸🇺🇦 | @blitzclone on Twitter

C++ developer by day, Haskell enthusiast by night.

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

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

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.
100% OPSEC.

Kompatibel mit handelsüblichen Klemmbausteinen.

I mostly pouet about software development, do bad puns, and troll acquaintances. Also #haskell, #nix, #rust and alikes.

My main achievements : I have a most likely sane teenager, and I've completed all 3 saves of The Binding of Isaac Repentance.

Currently freelance at the French NAP: https://transport.data.gouv.fr

#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

CTO at satoshi-connect.ch.
@bebop ambassador.

I’m curious and passionate about free software, decentralized systems and decentralized finance. I’m interested in Haskell, Nix, Rust but also embedded systems, radio comm ops and the occasional math paper.

In my free time, I contribute to open source projects, promote blockchain-based solutions to real-world problems or study RF signals around me.

I also *really* like trains :)

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

Languages, Visuals, and Dangerous Things

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

Father of to girls, Husband, Software Engineer and Manager

Haskell is cool.

Right now, I'm leading our managed Kubernetes products.

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

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

Haskell programmer, Linux user.
I block assholes quickly and frequently.

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

he/him #haskell #categorytheory #lumatone

Incoming Assist. Prof. of CS at Commonwealth U (Bloomsburg, PA). PhD in CS from Northeastern. Programming languages and compilers. Julia, Haskell.

Haskell. Gopher.

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