@[email protected]
Passionate about elegance in software design, with a taste of sophisticated type safety. Haskell is nice.

Father of to girls, Husband, Software Engineer and Manager

Haskell is cool.

Right now, I'm maintaining/building my own Kubernetes distribution.

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/

Software dev, working in programming languages and static analysis, armchair linguist and conlanger, #ChapmanStick amateur and karaoke fiend.

Based in Amsterdam 🇳🇱.

Interests: #Tech #FOSS #ProgrammingLanguages #LLVM #MLIR #Compilers #CategoryTheory #Databases #Datalog #Haskell #Lisp #Conlanging #Esperanto #Philosophy #Psychoanalysis #Lacan #Hegel #Demoscene #C64 #Amiga #MusicTheory #Renoise #Furry #EcstaticDancing #ScummVM #Weird

Personal: #Autistic #Polyam #Trans

#fedi22

Furry/otherkin/otherwise. I love journaling and meditation.

I am a(n):
- grad student, applied statistician, data scientist, feminist, computer hobbyist

My academic interests:
- mechanism design, social choice theory, game theory, category theory, agentic systems

Programming languages I use:
- Python, Haskell, Scheme.

I saw:
- the beads and colored eyes, trampled into the asphalt

I will never believe in:
- the change in the weather

#Healthcare #Cybersecurity is my day job.

#Haskell #Elixir #RStats #Egyptology #HistoryOfScience #HistoryOfMedicine #MedievalStudies #Birding #Bonsai #Photography #TaiChi #QiGong are the other things I like to do.

I enjoy listening to #ClassicalMusic; reading non-fiction (#history, #science, #technology), #sf, and #fantasy; and watching quirky tv shows.

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

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

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!

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

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

physics grad student // he/they // condensed matter, algebraic geometry, category theory, Rust and Haskell

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

Pronouns he/they

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.

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

computer scientist @ university of bristol
reluctant overwatch player

Does low-level systems hacking for food. #x86 #riscv #rust #haskell #cpp #nixos 🌍🇪🇺🇩🇪🇷🇴🇪🇸🇺🇦 | @blitzclone on Twitter

software developer from #austria

Interessiert an:

- #Beethoven
- #Elm
- #Haskell
- #Jazz
- #Lehre
- #Linux
- #Markdown
- #NLP (Natural Language Processing)
- #Python

I am #nobot

Developer Advocate at JetBrains (Rust, Kotlin, IntelliJ IDEA/CLion/Fleet). Former university lecturer teaching programming languages and other topics in CS. Author of Haskell in Depth (Manning publications, 2021).

Software Engineer in the Netherlands 🇳🇱 (born in Barcelona)
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