In search of causality, composition & the right abstraction.

CTO @ Fanstake.

Happily married, father of 2, or 4 counting furry friends.

Software, computer and electrical engineer.
Ham radio operator (KK6ZBK). I've been using computers since the C=64, ran my own BBS. I enjoy programming, and keep Scala, Nim, Typescript and Flutter easily accessible on my toolbelt.

Social moderate, fiscal conservative.

Also known as @boia01 on twitter.
https://twitter.com/boia01

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
Views are frequently my own

I work on Stryker4s mutation testing for Scala and telescopes. Love open source 👨‍💻, video games ⌨🖱, cats 🐱 and plants 🌱. I sometimes tweet Dutch stuff. He/him 🏳️‍🌈

If you want to make a universe, you must first bake a cake from scratch.

Herding bits at my growing consultancy 🧑‍💻 https://inputobjects.com

I own way too many keyboards. Some are broken ... in half.

Scala aficionado.
Java diehard.
Go lurker.
Rust wannabe.
C++ masochist.

Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Internationalist.

Functional programmer with an agile background, Founder. of Agilogy and Scala BCN.
🧒🏼👦🏻👩🏻 Family man , 🎻 amateur violinist.
I (mostly) only talk about sw dev. #Scala #Kotlin and the #jvm.

🦄 Papa | Software Engineer | Hoffnungsloser Optimist | He/Him

🐿️ CPTO & Managing Directory bei gutefrage.net #gutefrage
Vermarktung & Werbung bei highfivve.com #ads

🧑‍💻 Open Source Contributor #prebid #scala #sbt

🥨 in München geboren, ein ❤️ für alle

🎸 Als ich noch jung war https://open.spotify.com/intl-de/artist/1wniWcCrXgtbk21ETBYdSF?si=5o4ijIKVRayxdIp4HfBprw

Scala Developer

Exploring Mastodon.

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

Doctoral assistant in Learning Sciences 🧑‍🏫 @ REACT group #epfl · Microengineer specialised in low-power embedded systems for the Internet of Things · VP Outreach @graasp · Slightly involved in politics

Toots in 🇨🇭🇺🇸🇫🇷

DevOps coach

Scala+FP developer | passionate for road bikes and photography | nothing without a cup of Darjeeling+milk

Consultant, trainer, scala hacker, haskell/fp enthusiast,fanatic mtb rider;should have become chef cuisinier|mathematician

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

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

Just your average programmer. Addicted to life and could not care less about death.

- Loves reptilians, games, chatting.
- Willing to discuss programming and other interests..
- Currently into Python, C family languages, and Cyber-Security (pen-testing, etc.)
- Goes by any nickname or pronouns. (e.g., Dock, Scalara..)
- Chronically online.
- Currently exploring the fedi-verse (seems cool!)

Feel free to hit me up :D

Scientist turned software engineer. Variously Java, Scala and Python over the years, some Big Data on Spark, some social media analysis, hype-busting tech writing, and a bunch of other stuff, now mostly trying to cram things reluctantly into k8s pods. Debunker of transphobes.

Field archery (trad. recurve).

Kung-fu (Shaolin 7 animals).

Keeper of rats.

https://twitter.com/doublehelix

https://medium.com/@davidallsopp

https://bsky.app/profile/doublehelix.bsky.social

Coding with Scala, Elm, Haskell, Python, Erlang, Gleam, Rust, Java and Ruby on Linux and OpenBSD
Co-Founder of http://Talenteca.com
For geeks -> @csaltos

Izumi Project - http://izumi.7mind.io
• distage, DI Framework for Scala
• IdeaLingua, RPC for Scala/TypeScript/C#/Go
• LogStage, structural logging for Scala

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

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