i make cool stuff

#1 systemd/Linux fan · web developer in d̶e̶n̶i̶a̶l̶ a̶n̶g̶e̶r̶ b̶a̶r̶g̶a̶i̶n̶i̶n̶g̶ d̶e̶p̶r̶e̶s̶s̶i̶o̶n̶ acceptance · recovering Rust developer · also Haskell, OCaml & C99 nerd
will teach you higher kinded polymorphism and you will enjoy it

follow requests okay!!

Doing computer stuff, mostly.

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

Profile pic: https://picrew.me/en/image_maker/2288696/

Header is a Haskell wallpaper from reddit: https://www.reddit.com/r/haskell/comments/1om4ie/made_some_haskell_wallpapers_thought_id_share/

Bluesky bridge: https://bsky.app/profile/drewsh.com

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

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.

s='hello;'
echo "${s//;/\;}"

> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge
chose life not Google
> https://git.sr.ht/~carnotweat/modshelltovm
#rust #nix , bits of #haskell #ocaml

An intersectionalist, feminist, and socialist guy living in Seoul (UTC+09:00). Who's behind @fedify and @hollo. Write some free software in #Haskell, #Rust, #TypeScript, & #Python. They/them.

#國漢文混用 #한국어 (#朝鮮語) #English #日本語

Software Developer, currently creating themes and templates for websites to sell and share my journey as entrepreneur

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

very interested in #functionalprogramming languages like #haskell, #clojure, #elixir, #ocaml and #elm.

love #python, #go, #rust

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

Let's create the web we want today

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

Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Programming

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

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.

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

iOS/macOS Developer. Swift with some Lisp and Haskell for fun. Emacs, the Dvorak layout, nice pens, and pun-ctionaI programming. I try to run and draw. Aspire to SDK in Go.

Also @abizern.dev on Bluesky

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

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

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

Astronomer. Interested in Open Science, how to do Science, Haskell, Semantic Web, and other stuff.

Secretary of the Astrostatistics Interest Group of the American Statistical Association for 22/23

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.

- Standard 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

Articles, projects and tutorials about #Haskell.

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