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)

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

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

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

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Hobby Gamedev with interests in (functional) programming, climbing, cooking and sustainability. Professional computer infrastructure tinkerer

[Ger,Eng,Tok]

#gamedev #JavaScript #FOSS #TokiPona #DemoScene #degrowth

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

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

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 Generic Programming Language Acquisition New Masculinities #vegan #sustainable #skeptic Friend #meditation Yin #maker 🇪🇺an

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

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

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

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

Father of to girls, Husband, Software Engineer and Manager

Haskell is cool.

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

Epitech graduate. liskvork and QuasarMC maintainer.

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

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

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

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

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

Software dev, working in programming languages and static analysis, armchair linguist and conlanger, #ChapmanStick amateur and karaoke fiend.
Based in Amsterdam 🇳🇱. 
Interests: #Tech #FOSS #ProgrammingLanguages #LLVM #MLIR #Compilers #CategoryTheory #Databases #Datalog #Haskell #Lisp #Conlanging #Esperanto #Philosophy #Psychoanalysis #Lacan #Hegel #Demoscene #C64 #Amiga #MusicTheory #Renoise #Furry #EcstaticDancing #ScummVM #Weird
Personal: #Autistic #Polyam #Trans
#fedi22