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

Internet software developer

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

@[email protected]
Passionate about elegance in software design, with a taste of sophisticated type safety. Haskell is nice.

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

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

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)

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

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

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

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

[Ger,Eng,Tok]

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

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.

Haskell. Gopher.

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

Haskell hacker and Stunts racer. Fascinated by category theory. Enjoys logic, PLT, and philosophy from both sides of the divide. Brasileiro. He/him

#haskell #retrogaming #CategoryTheory

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

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

he/him #haskell #categorytheory #lumatone

Father of to girls, Husband, Software Engineer and Manager

Haskell is cool.

Right now, I'm leading our managed Kubernetes products.

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