Internet software developer

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

I am a research group leader at the Max Planck Institute for Evolutionary Anthropology in Leipzig, Germany. My interests are population genetics and human history. My group uses genetics and ancient DNA to investigate the human past.
Also, I like Haskell and functional programming!
I post in English and occasionally in German

26 years old transfem from 🇲🇾. A friendly cat furry , solarpunk 🌱, and an anarcho-communist. Also likes pats and hugs

This silly kitty is a pansexual .

Hobbyist programmer of #rust and #haskell. Big fan of #nixos.

My posts/boosts consist of tech, solarpunk, furry art, humor, mental health, politics, kinky nsfw stuff, and me being silly.

Follow me if you want to hear more of my blabbing!

#noai MDNI

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

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google.

If you want to follow me, please make sure your profile has some info that helps me learn about you.

#programminglanguages #software #running #Haskell #NixOS #photography #quantifiedself #indieweb #rss #blogging

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.

Pedagogical assistant @ Epitech Toulouse. Epitech graduate.

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

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

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

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"

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

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

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

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

Haskell, recurse center, swedish, unicycle
formerly a Bible reading Christian, no longer comfortable associating myself with that name.
The most selfish thing I can do is to build up others. Our world is so tightly connected, building up others is building up myself.

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

Father of to girls, Husband, Software Engineer and Manager

Haskell is cool.

Right now, I'm maintaining/building my own Kubernetes distribution.

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

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

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

[Ger,Eng,Tok]

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

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/

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