FOSS und Nextcloud fan. Meine stille Liebe gilt allerdings Haskell und NIX.
Über Nextcloud nähere ich mich den Themen digitale Teilhabe, Souveränität, Bildung. Nerds sollen der Gesellschaft von Nutzen sein, statt ihr Anderssein zu kultivieren.

OSS and Nextcloud fan. However, my silent love is Haskell and NIX.
Through Nextcloud, I approach the topics of digital participation, sovereignty and education. Nerds should be of use to society instead of cultivating their otherness.

Programmer interested in #fsharp #haskell #elixir #elm and many more! Currently learning #clojure. User of #Neovim #Freebsd. Collector of #programming books!

Also into #hifi #vinyl #cds and #taichi

#haskell #nix

ADHD aphant amateur-generalist

🧑‍🎓: 🧙SmartLogic AKS 🌷Tulip 🏛️MIT

🧑‍🔧: #shell #ruby ⚗️ #elixir #k8s

🧑‍🏫: #rust #nix #wasm #haskell?

I am a partner and Haskell Consultant at Well-Typed LLP. I am also a member of the Haskell Foundation Board, and a co-host on the Haskell Interlude podcast and the Haskell Unfolder YouTube series.

Posting mostly about Haskell, but occasionally also about books I'm reading, video games I'm playing, and other things that interest me.

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

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

A guy who's trying to make more switches to FOSS, interested in gaming, philosophy, science, food...

Expect some political/environment rants...

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

writing in haskell for food

Half-Brit Swede living in Lund but working in Copenhagen.

#haskell #scala #linux #opensource #asciiart #books #tea #vegan

Fractional-CTO, and polyglot software engineer (#Haskell, #PureScript, #Nix, #NixOS, #Deno, #Rust, #Roc, #Flix) with focus on building and scaling infrastructure, platforms and SaaS products end-to-end.

Tolerates writing #Scala for good money.

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

Antifascist, immigrant, gay af, she/her.

I draw gay ponies and dragons and furries in Krita!

I work on system libs and compilers professionally with LLVM. Haskell simp.

#mlp #mlpart #haskell

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

Programming languages PhD student at University of Glasgow, programmer, sysadmin, lover of Haskell, purveyor of fine dining and fine memes

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/

I am a mathematical physicist and work as a software developer at Heilmann Software.

I spend most of my time coding #haskell, #nix, #nixos, am a co-maintainer of nixpkgs.haskellPackages and a member of 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

C++ developer by day, Haskell enthusiast by night.

Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.

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