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

Born 1980-05-15 in Mena, AR
Cis White Male He/him
Liberal Democratic Socialist Idealist
Professional Haskell Programmer
Lives in Cove, AR
(24 years resident of Fayetteville, AR)

Please use Wire (or Signal) for private messaging.

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google on http://github.com/google/googlesql

If you want to follow me, please make sure your profile has some info that helps me learn about you.

#programminglanguages #software #running #Haskell #NixOS #photography #quantifiedself #indieweb #rss #blogging

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)

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

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

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"

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

Haskell. Gopher.

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

Programmer, TTRPG'er, hobbyist of a million varieties...

Currently hyper-fixating on contributions to 2009scape, working on homelab stuff, haskell 🙃, learning rust, pop os contributions, modding cloverpit, modding bannerlord, uhhh other stuff i prolly forgot

Header photo credit: Josan Gonzalez
Pfp credit: Jaki Martinez

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

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.

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.

#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

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

telix | frankenstein/organ-bank | surd | peirce
innert Linux: pgcl | pidhashing | hugetlbfs | filtered wake-ups | cpumask_t

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