Graphic designer, information designer and type designer. I do like large families: Scala, Seria, Nexus, Questa and Comma.

I'm a developer for fun and profit. I write #scala, usually of the functional variety. I'm on the #typelevel steering committee. I care about #data and #resiliency and those two things combined. I also #sew and #knit.

This is one of my accounts! I have another account over at @spills

I'm pretty sure I don't know what I'm doing.

Lead Developer at Scott Logic by day, Architecturally curious, techno freak by night. Creator of Higher-Kinded-J https://higher-kinded-j.github.io
#higher-kinded-j #hkj #java #scala #clojure
Views are frequently my own

Aiuto startup e creativi multi-potenziali
con strategie per scalare le proprie idee 🎡
Founder of 3 NewCOs🇮🇹 | 20K+ Tk
zaap.bio/alex.sm

You can find me working in Scala tooling, exploring new music, enjoying good food, appreciating people's creations, and talking about all of them.

Follow me if you want to get lost. 🇯🇲🇺🇸

‣ Mobile Software Engineer (mostly)

#androiddev #kotlin #scala #cycling #cyclocross #gaming

Exploring Mastodon.

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

Haskell / Scala developer, author of specs2 and registry

Scala Developer

Software Developer, Creator, Maintainer, Bikepacker, OSM Mapper, Dad.

Maintainer of Mill build tool, Scala, Open Source, OpenStreetMap, former OSGi expert

Posting random programming BLOBs and hashes

root@rttf:~


#programming #opensource #cpp #rustlang #java #scala #linux #embedded #webdev

🇵🇱

I write code, mostly C#, Scala, or Python. It’s my job and hobby. Also playing around with electronics on raspberry pi and micro:bit. 3D printer and newbie thing creator. Father of children, Walker of cockapoo, First of his name. He/Him.

Software Developer: C/C++, #python 🐍, #java, #kotlin, #scala, #golang 💕 Linux 🐧 RasPi 🥧 maker 🤖 IoT enthusiast 🎛️ Jujutsu 🥋

Software engineer, interested in concurrency, and programming languages, currently doing Data Engineering with mostly #scala and #python and now learning #rustlang, and I like gaming when I have the time

Working at the intersection of software engineering and machine learning (∅).

Mostly reading and writing #Scala and #Python currently.

Functional programming enthusiast | Scala, Java, Kotlin, Typescript developer. Pie eater.

Dad and husband to three amazing people. Also, a co-author, former adjunct professor and software engineer. 
I have experience in Smalltalk, Common Lisp, Clojure, Fennel, Swift, Java, C, C++, C#, Objective-C, Scala, F#, Typescript, Perl, Raku, Clojurescript, 6502 & 68000 assembly, Object Pascal, APL, Wolfram Language, and JavaScript and more.
Lucky enough to have gotten an original Mac in Jan 1984, a NeXT Computer in 1988 and my own Lisp Machine.
I’ve had dinner with Steve Jobs as well.

Indépendant, j'aide les équipes de dev à embrasser :) les bonnes pratiques ... et j'aime lire et améliorer du code.
Je m'initie à l'automatisation des infras avec ansible

Entrepreneur dans la CAE Optéos https://www.opteos.fr

Intérêts :
#TDD, #scala, #java , Rust, flightgear, OpenStreetMap, GIS
contribue au chaton pâquerette http://paquerette.eu @ChatonsOrg

Pour le dessin : https://mobilizon.fr/@abersketchers
@jlebleu

J'habite sur la côte bretonne au nord de Brest

Building a hobby 2D game engine in Scala, one half of Purple Kingdom Games, among other things...

Scala.js, WebGL, TEA, and chocolate biscuits. (he/him)

Same stuff, different place.
https://bsky.app/profile/davesmith00000.bsky.social

he/him/his Dev in Berlin, #scala and #rust

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 🐈🎾⛷️ 🧗‍♂️🛹👟