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

Kompatibel mit handelsüblichen Klemmbausteinen.

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.

- Traditional Unix 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.

Indie developer and fractional-CTO for very early stage startups. Polyglot software engineer (#Haskell, #Erlang, #Scala, #Nix, #NixOS, #Fsharp) with focus on building privacy-cenetered applications and services.

Has a penchant for #OptionsTrading, #FunctionalProgramming, #Economics, #SystemsThinking.

Antifascist, immigrant, gay af.

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

Haskell hacker and Stunts racer. Fascinated by category theory. Enjoys logic, PLT, and philosophy from both sides of the divide. Brasileiro. He/him

#haskell #retrogaming #CategoryTheory

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

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

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 am a mathematical physicist and work as a software developer at Heilmann Software.

I spend most of my time coding #Haskell and am a member of the #NixOS Haskell team and the #GHC Steering Committee. Apart from that I love choir singing, ballroom dancing and playing #TTRPGs.

Try out my projects:

https://code.maralorn.de/maralorn/nix-output-monitor
https://matrix.to/#/@nixpkgs-bot:maralorn.de

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/

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

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

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

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

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.

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

Multidisciplinary nerd. Aotearoan–Scots. Independent catholic. Extremely cool and funny. Some labels for the kind of human I am: #Christian #trans #lesbian #maths #haskell #hacker #ActuallyAutistic #ADHD #anarchism #antifa #syndicalism. Learning to play and referee #RollerDerby.

#nobot

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

Professional freelance programmer (#python, #haskell, #rust, #c++, #linux)
https://meejah.ca
https://txtorcon.readthedocs.org
https://carml.readthedocs.org
#twisted #python #tor #infosec #privacy
I re-toot all reasonable replies
"rumoured to be Canadian"