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 developer from #austria

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

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

Haskell, Elm, Rust

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

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

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

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

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

I'm trans pan married woman and usually I'm #engineering the #cloud. And #gaming (mostly #ffxiv and #genshinimpact) ;)
But really, most of the time I live inside my #vim (technically #neovim these days) and coding.

If I don't get a joke or a reference, please excuse me, ASD has some drawbacks. Let me know in a civil way so I can learn. Thank you :)

(I live on Fedi since around 2017, but now this is my only user, any other ghost users remaining somewhere are just ghosts)

Ruby and JS in the streets, Haskell and friends between the sheets.

Independent researcher in formal methods, sovereign AI systems, and reproducible computing. Building verified agentic infrastructure with Lean 4, Haskell, Rust, Prolog, and C. Publishing open research, formal proofs, and defensive prior art. Evidence over hype.

Interessiert an:

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

I am #nobot

facts that feel somewhat relevant right now, in no particular order:

- computer scientists see me as a linguist and vice versa
- ho voluto la bicicletta e ora pedalo
- försöker bli svensk men det är inte så bra tajmat

I talk to machines.

Indie quant developer and algo trader teaching ordinary folks to fuck a system designed to oppress them. Polyglot software engineer (#Haskell, #Erlang, #Scala, #Nix, #NixOS, #Fsharp, #Python) and recovering software engineer in "tech".

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

Antifascist, immigrant, gay af. #effice

Exploring Mastodon.

PhD in Programming Languages. Formal Methods Engineer at Bedrock Systems — Coq/Scala/Haskell/Agda — geek — formally verifying C++

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

Expect some political/environment rants...

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

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

Computer engineer. #java #haskell #sql #php #csharp #c_sharp #prolog #jack_hilon #jackhilon