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

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.

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.

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'd like to play some #folk guitar 🎶 and recently obtained a banjo 🪕. I also appreciate playing with language 📝 #lightverse.

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

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"

Haskell. Gopher.

Shitposting, if anything

Fucking around and finding out (mathematical).

Haskeller by trade.

#thonkin

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

Software guy; mostly C at work, mostly Rust at home, historically Haskell and Befunge and such. Fan of FOSS, privacy, video games. Finn.

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

Software developer, #FP, #Scala, #Kotlin, #JVM, #Haskell enthusiast; contributor to https://alexn.org, https://monix.io, https://typelevel.org.

🌍 #Bucharest, #Romania

he/him #haskell #categorytheory #lumatone

writing in haskell for food

i like terepi and homestuck 👍 ¦ i like math and computers and computer math ¦ all posts come with a 3 year warranty as well as free customer support ¦ #racket, #rust, #sbcl, #lean4, #elixir, #haskell-pilled—i just like programming languages okay

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

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.

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

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

#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

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