Rust dev at work • Playing around with Swift and SwiftUI at home • Used to work on formal verification for Scala • Haskell enthusiast • Web dev in a previous life • I like 🐈🎾⛷️ 🧗‍♂️🛹👟

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

swe @ https://cachix.org by day.
dabbling in graphics programming by night.

#haskell #rust #elm #nix

Software engineer working on Virtual Power Plants at Generac | #climate | Clean #energy | #rustlang #haskell #elixir #elm #nixos | https://www.sebastiandebellefon.com/

Staff Software Engineer working with #ruby, #elixir and Functional Programming advocate through #haskell and #elm - #Monad is the word.

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

Expect some political/environment rants...

Programmer interested in #python #golang #vlang #haskell #elixir #elm and many more! Currently learning F#. User of #Neovim #Freebsd. Collector of #programming books!

Also into #hifi #vinyl #cds and #taichi

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.

Plutus, Haskell, Nix, Purescript, *Swift/Kotlin*. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, "move fast and break things" approaches

---

AC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0

Undergraduate researcher, currently interested in statistical learning theory. (Very) occasionally posts on computer science topics!

#DeepLearning #LearningTheory #Generalization
#CV #InformationTheory
#Haskell #Rust #FunctionalProgramming
#ComputerScience #TCS

An intersectionalist, feminist, and socialist guy living in Seoul (UTC+09:00). Who's behind @fedify and @hollo. Write some free software in #Haskell, #Rust, #TypeScript, & #Python. They/them.

#國漢文混用 #한국어 (#朝鮮語) #English #日本語

Interested in developments at technology ∩ society, and actions promoting values increasingly coherent over increasing context.

#EmergencyManagement #Preparedness
#Sufficiency #Sustainability
#Foresight #HorizonScanning #FuturesStudies
#DecisionMaking #ProblemSolving #Uncertainty
#Decentralization #Cooperation #CollectiveIntelligence #IntentionalCommunity
#KnowledgeManagement #Visualization
#FunctionalProgramming #Haskell #Python
#MusicTheory #Musicology
#EvoDevo

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

Haskell好き

Computational archaeologist & #PhD student at MPI SHH + MPI EVA. #aDNA, #rstats, #haskell

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

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.

21 years old student at Epitech Toulouse (5th year) and Free software enthusiast.

I like to program in C/Haskell/Python.
I hate C++.
CubicServer's maintainer.