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

Chasing dreams.

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

Interests:

- Some tech origins, mainly beginnings of #Unix, CP/M, #Amiga, and thus #BCPL / #tripos. Fond of #forth too. Looking up to #lisp #haskell #erlang and #elm.

- Network infra #TCP/IP, #mptcp and #TLS progress.

- Traditional Unix editors such as vi (#vim) - after about three decades of growing into it, more and more of #emacs.

- Text interfaces, #mutt, #tig, #mc

- Fan of version control, coming from #rcs through #git

- I might be a luddite - I don't favour all tech or all vendors.

Internet software developer

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

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

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

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 :)

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.

Interests in no particular order: #Haskell, #Unix, #Neovim, #Feminism, #Go(Boardgame), #VideoGames (Retro and Indie), #Origami, #Tea, #Chocolate

If you want to follow me, and we don't know each other in meat space, your profile should give me an idea about who you are.

#nobot

#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

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

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

Emily, putting the gay into #gamedev ​

#rustlang, #speedcube, #heavymetal, and #bassguitar nerd hoping to flood the internet with my rambles and projects. Also an Arch user btw

Feel free to DM me and say hi :)

I'm trans pan married woman and usually I'm #engineering the #cloud. And #gaming (mostly #ffxiv and #genshinimpact) ;)
But really, most of the time I live inside my #vim (technically #neovim these days) and coding.

If I don't get a joke or a reference, please excuse me, ASD has some drawbacks. Let me know in a civil way so I can learn. Thank you :)

(I live on Fedi since around 2017, but now this is my only user, any other ghost users remaining somewhere are just ghosts)

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.

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

#haskell #nix

ADHD aphant amateur-generalist

🧑‍🎓: 🧙SmartLogic AKS 🌷Tulip 🏛️MIT

🧑‍🔧: #shell #ruby ⚗️ #elixir #k8s

🧑‍🏫: #rust #nix #wasm #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"

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

Building AGI with Privacy and Security at OpenAI.
Previously: ML Supply chain security @ Google Open Sourse Security Team (GOSST, released model signing & GUAC).
Previously: TensorFlow Security & OSS @ Google Research.
Previously: Haskell+differential privacy+ML @ LeapYear.