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

Interested in #haskell #dependent_type #dependent_types #idris #idris2 #distributed #p2p #ocaml .
Exploring fediverse.

Software Engineer from the Netherlands 🇳🇱
aka jjba23, Joe

Hacking away, spreading free software (as in freedom) and writing Lisp, Haskell, Scala, Rust, Guix, Nix, loving Emacs and GNU/Linux systems

Playing guitar

Internet software developer

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

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

She/they/it (trans | 25 | #solarpunk)

ish a local fedi kitty.

I love programming #Rust and #Haskell on #NixOS.

A fan of Stardew Valley and CBN. Sometimes I make mods for them.

#nobot #noai MDNI

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

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

Free software enthusiast currently working at Epitech Toulouse.

I like to program in C/Haskell/Python/Zig.
I hate C++.

Posts get deleted after 2 weeks for privacy related reasons :3

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.

Hi there.

I'm a software engineer and father of 2 kids.

I enjoy learning new things and have a keen interest in furthering the state of FOSS, either through development work or politics (in as much as there is a difference between the two). We'll have to see if anything ever comes from this.

I hail from Denmark, the Copenhagen area.

I have been working professionally with Haskell, Rust, Python, and C#.

Theoretical Computer Science sleeper agent. (The formal methods revolution is coming - and when it does, I will be ready).

My blog: https://blog.philsas.one/plc/

Queery {PL,Q}T; my gender is carbohydrates & the colour pink. 💝

I write a lot of #OCaml for the #JavaScript ecosystem!

DMs open; indexed on tootfinder.ch; other keywords: #PLT #Rust #TypeScript #ML #Haskell #FunctionalProgramming #DevOps

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.

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

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 #日本語

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

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

Queery {PL,Q}T; my gender is carbohydrates & the colour pink. 💝

I write a lot of #OCaml for the #JavaScript ecosystem!

DMs open; indexed on tootfinder.ch; other keywords: #PLT #Rust #TypeScript #ML #Haskell #FunctionalProgramming

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

Pronouns he/they

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 working on Virtual Power Plants at Generac | #climate | Clean #energy | #rustlang #haskell #elixir #elm #nixos | https://www.sebastiandebellefon.com/