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

Mostly reading and writing #Scala and #Python currently.

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

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.

Developer Supreme. Erlang, C, Python, Scala and more. If I'm not coding, I'm lifting.

💻Elegant code λx ↦ f x
📏 FP with scala and elm.
👾 Generation ZX

💡 "I find that I don’t understand things unless I try to program them" -- Donald Knuth

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

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

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

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

Studerer Software på Aalborg Universitet

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

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

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

Socialist, feminist, born-again Green Party member, Deep-Green credentials - I was reading Fritjof Capra in 1983! ex-labour party member, Dub Reggae and Dub Techno enthusiast, @Bitwig practitioner, fledgling Scala and Mojo coder.

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.

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

Software developer (Java, Go, Rust, Scala, JavaScript), father of 5, LGBTQ+ advocate, hoops junkie, Celtics & Jaguars fan, fountain pen collector. He/him.

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 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

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

影の領域の美人プログラマーである私にとって、人間の狂気が一番悲しいことだ～ (●'◡'●)ﾉ / ギャンブラー（仮想通貨） / 社交不安障害 / 深窓の静養者 / 性滅の開祖 / プログラマー