Displaced Philly boy. Threat hunter. Educator. #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.

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

they/she 🏳️‍⚧️
commie & queer activist
apprentice field mathematician, Haskell enjoyer
DMs are open

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

26 years old transfem. A friendly cat furry , solarpunk 🌱, and an anarcho-communist. Also likes pats and hugs

This silly kitty is a pansexual .

Hobbyist programmer of #rust and #haskell.

My posts/boosts consist of tech, solarpunk, furry art, humor, mental health, politics, kinky nsfw stuff, and me being silly.

Follow me if you want to hear more of my blabbing!

#nobot #noai MDNI

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.

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

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.

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

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.

Software Engineer.
I love functional programming and Haskell, but I work with TypeScript and OOP. Still have a lot of fun.
Visit me here: https://github.com/dkurilo
And write me if I can help somehow.

Software engineer in the Bay Area. Dad. Nerd. I'm into #Rust, #Haskell, #Typescript, #Neovim, #Nix. Also sometimes #History. #fedi22

Pronouns he/they

software developer from #austria

Interested in developments at technology ∩ society, and actions promoting values increasingly coherent over increasing context.

#EmergencyManagement #Preparedness
#Sufficiency #Sustainability
#Foresight #HorizonScanning #FuturesStudies
#DecisionMaking #ProblemSolving #Uncertainty
#Decentralization #Cooperation #CollectiveIntelligence #IntentionalCommunity
#KnowledgeManagement #Visualization
#FunctionalProgramming #Haskell #Python
#MusicTheory #Musicology
#EvoDevo

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

#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 @ university of bristol
reluctant overwatch player

Haskell, TypeScript, and Idris ♥
Lua and Neovim <- new!!

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

(I live on Fedi since around 2017, but now this is my only user, any other ghost users remaining somewhere are just ghosts)