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.

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

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

Internet software developer

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

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

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

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

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.

A programmer from Aotearoa (otherwise known as New Zealand). I have also lived in China but I'm back now.
Antisemites (specifically including Likud supporters) and other racists dni.