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.

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

Proletário das áreas Software e Educação. Shitposts em português e inglês.

#linux #gnu #foss #python #php #javascript #haskell #fp #EatTheRich

A programmer from Aotearoa (otherwise known as New Zealand). I have also lived in China but I'm back now.
Antisemites (specifically including Likud supporters) and other racists dni.

Software Developer, currently creating websites to sell and sharing my experience

I'm interested in moving the web forward, so I read and share a lot about #HTML, #CSS, #SVG, #XML, #JS, #WebDev and #WebDesign

love #functionalprogramming languages like #haskell, #clojure, #elixir, #elm, etc

learning #java, #python, #go, #rust, #ruby, #swift, #kotlin, #dart

I'm a #indiedev, #indieweb believer, #indiehacker, #buildinginpublic advocate

I want that you have a website. Se habla español.

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

Functional programmer • Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue • he/him

Indoor European. I know #regex. I write #code (in #C or #Haskell or #Perl or #JavaScript or #bash). 100% OPSEC.

math. programming. fancy types. haskell.
https://6d03.info

Programming languages aficionado, occasional runner, quantified-self enthusiast, and fervent napper. Works as senior software engineer at Google.

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

#fedi22 #programminglanguages #software #running #Haskell #NixOS #photography #quantifiedself

Writing a common lisp book

bluesky folks follow @ap.brid.gy so we can interact!

Profile pic is a chickadee from https://falseknees.com

Header is a Haskell wallpaper made by me.

> git checkout --no-overlay --
if only ..

all content CC BY-SA 4.0
#nobot #nobridge #noai
send messages , not metadata
> https://.sr.ht/~carnotweat/deltanix
#rust #nix , #haskell
DP - shamelessly stolen from a an fp video i watched

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

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

Haskell hacker
~Studying CyberSecMasters@UNSW~
Crypto(graphy: 👍 | currency: 👎)
ACT SES volley
@Axman6@🦤 and everywhere else
🦋https://bsky.app/profile/axman6.au

Articles, projects and tutorials about #Haskell.

Weekly newsletter: https://discu.eu/weekly/haskell

Displaced Philly boy. Threat hunter. Streamer. Educator. #infosec, #programming #rust , #python #haskell , and #javascript . #opensource advocate. Runs @thetaggartinstitute. Made https://wtfbins.wtf. Co-creator of https://github.com/mttaggart/OffensiveNotion. Not your bro. All opinions my own. Dad. #fedi22 #searchable

Pronouns: He/him.

M.Ed | Sec+ | CISSP | eCTHPv2 | eWPT | CRTO

I am a partner and Haskell Consultant at Well-Typed LLP. I am also a member of the Haskell Foundation Board, and a co-host on the Haskell Interlude podcast and the Haskell Unfolder YouTube series.

Posting mostly about Haskell, but occasionally also about books I'm reading, video games I'm playing, and other things that interest me.

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.

Shitposting, if anything

Fucking around and finding out (mathematical)

Trying to homotop a type theory. Big fan of round, hollow things. (I guess they don't even really need to be round)

Haskell in the streets, agda in the sheets.

#thonkin