Hobby Gamedev with interests in (functional) programming, climbing, cooking and sustainability. Professional computer infrastructure tinkerer

[Ger,Eng,Tok]

#gamedev #JavaScript #FOSS #TokiPona #DemoScene #degrowth

Internet software developer

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

Head of Rust Ecosystem at JetBrains. Former university lecturer teaching programming languages and other topics in CS. Author of Haskell in Depth (Manning publications, 2021).

Software engineer in New York, amateur code blogger, lover of cats and anteaters.

Opinions expressed do not represent that of my employers.

#Python #Zig #Haskell #Linux #Art #YuGiOh

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

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

🌍 #Bucharest, #Romania

himbo/thembo 🏳️‍🌈 · Haskell homosexual who thinks monads are foreplay and `-Wall -Werror` is a love language. I write functional code, filthier commit messages, and a blog nobody asked for → thisfieldwas.green. Fluent in Scala, decent at category theory, and expert at holding eye contact two seconds too long. Explain applicative functors to me slowly and I am ANYBODY's. Type systems make me feel things. Will leave you on read to refactor a parser combinator. Gay, geeky, and a documented menace in code review. Reality TV scholar; I know exactly who deserved to win. Come for the lambdas, stay because I bullied you into learning Haskell.

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

Expect some political/environment rants...

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

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

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

Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Functional Programming

Professional full-time Nix hater and part-time Haskell liker. Former world's fastest Nameless One. Jewish refugee. Transbian menace 🏳️‍⚧️🏳️‍🌈. She/Her.

Hacker with a #Bass. Bass Teacher and Musician. (Currently accepting students, online or on-site) #Bielefeld #TTRPG #BassGuitar #Music #Haskell #FreeBSD #Math (he/his)

Composer, hobby sinologist, web- and audio-developer. Based in Berlin. Coding musical grammars in Python, Haskell and SuperCollider. Lecturer in composition and electronic music. Happy Reaper user.

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

PureScript Haskell Csound and some math teaching. Universal Basic Income evangelist

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

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

Author 20+ books, mostly on AI, LLMs, deep learning, semantic web, Lisp. 50+ patents. Follow me on Mastodon @mark_watson