Exploring Mastodon.

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

Golang, Kubernetes, Scala nerd. Trying to learn how to take better photos.

Turning the beauty, complexity, and wonder of the deep-sea into long strings of ones and zeros.

Software engineer. Deep-sea Researcher. Dad. Backpacker. Mountain biker. SCUBA instructor.

Following: #Scala, #Java, #MachineLearning, #MountainBiking


Pacific Grove, CA.

©2023-2024 Brian Schlining. All Rights Reserved.

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

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

Scala Developer

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 🇨🇭🇺🇸🇫🇷

Software Architect - Java/Scala Developer - Cybersecurity - Sci-Fi - Heavy Metal - Trekking - BJJ - Airsoft

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

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

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

Ciao! 👋
Mi chiamo Roberto, insegnante di Scienze naturali . Da sempre la biologia e la scienza in generale mi affascinano e incuriosiscono.

Posting random programming BLOBs and hashes

root@rttf:~


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

🇵🇱

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.

I work on Stryker4s mutation testing for Scala. 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.

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

Jeg er computernørd, Scala er et ret nice programmeringssprog.

Studerer Software på Aalborg Universitet

Hobbyer inkluderer #esperanto, #tegnsprog #badminton m.m.

Software Gardener. Speaker. Trainer. Testcontainers Community Champion. Художник. Honorary Bavarian. DMs open. 👨‍💻👨‍🌾
#Java #Scala #Linux #Programming
SoftwareGarden.dev

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

#java #scala #nosql #fdbnosql #edbnosql #xml #xquery #xslt #existdb