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.

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

Author 20+ books, mostly on AI, LLMs, deep learning, semantic web, Lisp. 50+ patents. Follow me on Mastodon @mark_watson

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

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

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

Shitposting, if anything

Fucking around and finding out (mathematical).

Haskeller by trade.

#thonkin

Software engineer in the Bay Area. Dad. Nerd. I'm into #Rust, #Haskell, #Typescript, #Neovim, #Nix. Also sometimes #History. #fedi22

Pronouns he/they

PhD student at Delft University of Technology 🎓 in the @DelftPL group. Trying to build correct compilers from modular building blocks 🧩 in #Agda.

I'm also a #Haskell enthusiast, #GHC contributor, and a member of the GHC Steering Committee and the Core Libraries Committee.

Other than that, I like to play #folk guitar 🎶 and practicing a bit on my banjo 🪕. I also appreciate playing with language 📝 #lightverse.

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

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.

Internet software developer

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

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

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"

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)

Hacker with a #Bass. Bass player and Musician. (Currently accepting students, online or on-site) #Bielefeld #TTRPG #BassGuitar #Music #Haskell #FreeBSD #Math (he/his)

Composer, hobby sinologist, web- and audio-developer. Based in Berlin. Coding musical grammars in Python, Haskell and SuperCollider. Lecturer in composition and electronic music. Happy Reaper user.

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

[Ger,Eng,Tok]

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

Software engineer in New York, amateur code blogger, lover of cats and anteaters.

Opinions expressed do not represent that of my employers.

#Python #Zig #Haskell #Linux #Art #YuGiOh