3 true statements about me in no particular order:

- computer scientists see me as a linguist and vice versa
- ho voluto la bicicletta e ora pedalo
- försöker bli svensk men det är inte så bra tajmat

Projekte: telix | tessera | frankenstein | surd
Linux-Kernel-Schwerpunkt: pgcl | pidhashing | hugetlbfs | filtered wake-ups | cpumask_t
Sprachniveaus: en:C1 | es:B1 | de:A2 | eo:A2 | lernbereite für weitere Sprachen
Pronomen: ela | ella | elle | lei | sie | она | वह | 她 | هِيَ
📍Berlin, Deutschland

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

Contributor to an open source project near you (Alpine Linux, Guix, ...). Passionate about functional programming (mostly Scheme and Haskell), software security, and operating systems. Day job in computer science, currently doing a postdoc in systems research.

Professional full-time Nix hater and part-time Haskell liker. Former world's fastest Nameless One. Jewish refugee. Transbian menace 🏳️‍⚧️🏳️‍🌈. She/Her.

Shitposting, if anything

Fucking around and finding out (mathematical).

Haskeller by trade.

#thonkin

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

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

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

[Ger,Eng,Tok]

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

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

Queery {PL,Q}T; my gender is carbohydrates & the colour pink. 💝

I write a lot of #OCaml for the #JavaScript ecosystem!

DMs open; indexed on tootfinder.ch; other keywords: #PLT #Rust #TypeScript #ML #Haskell #FunctionalProgramming #DevOps

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

Displaced Philly boy. Threat hunter. Educator. Executive Director. #infosec, #programming #rust , #python #haskell , and #javascript . #opensource advocate. General in the AI Resistance. Runs @thetaggartinstitute. Made https://wtfbins.wtf. Not your bro. All opinions my own. Dad. #fedi22 #searchable

Pronouns: He/him.

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

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

he/him #haskell #categorytheory #lumatone

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

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.

Salvadorian. I also *really* like trains :)

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

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

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