I mostly pouet about software development, do bad puns, and troll acquaintances. Also #haskell, #nix, #rust and alikes.

My main achievements : I have a most likely sane teenager, and I've completed all 3 saves of The Binding of Isaac Repentance.

Currently freelance at the French NAP: https://transport.data.gouv.fr

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

feel free to follow request!

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/

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

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

Computer scientist, Haskell developer, Home Assistant smart home enthusiast, DIY electronics rookie, with interest in social production of software and culture.

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

Currently hyper-fixating on contributions to 2009scape, working on homelab stuff, and haskell 🙃

Header photo credit: Josan Gonzalez
Pfp credit: Jaki Martinez

Haskell programmer, Linux user.
I block assholes quickly and frequently.

Contributor to an open source project near you (Alpine Linux, Guix, ...). Passionate about functional programming (mostly Scheme and Haskell), software security, and operating systems. Day job in computer science, currently doing a postdoc in systems research.

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

Software developer, #FP, #Scala, #Kotlin, #JVM, #Haskell enthusiast; contributor to https://alexn.org, https://monix.io, https://typelevel.org.

🌍 #Bucharest, #Romania

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

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

#haskell #nix

PhD student at IMDEA Software
Working on Refinement Types and Liquid Haskell
I like when programs are proofs

Chief enabler and software architect at @activegroupgmbh, (functional) programming, mainly Clojure, Haskell, Elixir and OCaml, based in Vienna

PhD student with Ralf Hinze in Category Theory for the design of Proven Correct, Total Algorithms
#categorytheory #agda #haskell #nix #emacs Recursion Schemes Generic Programming Language Acquisition New Masculinities #vegan #sustainable #skeptic Friend #meditation Yin #maker 🇪🇺an

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

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

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