Exploring Mastodon.

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

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

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

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

Studerer Software på Aalborg Universitet

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

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

HCC is een vereniging voor iedereen die geïnteresseerd is in computers, technologie en alles wat daarbij komt kijken. Sinds onze oprichting in 1977 hebben we talloze leden verwelkomd en een gemeenschap opgebouwd die draait om kennisdeling, persoonlijke groei en het vieren van de liefde voor technologie. Onze vereniging biedt een scala aan activiteiten en mogelijkheden, voor beginners, gevorderden als mensen die het moeilijk vinden om de snelle ontwikkelingen op digitaal gebied bij te blijven.

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.

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

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

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

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 (Java, Go, Rust, Scala, JavaScript), father of 5, LGBTQ+ advocate, hoops junkie, Celtics & Jaguars fan, fountain pen collector. He/him.

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

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

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.

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

‣ Mobile Software Engineer (mostly)

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

Scala / database / optimization engineer
​​​​​​
Berkeley, CA, US

Contributor to Scala benchmarking, Sangria GraphQL library.

Formerly https://www.linkedin.com/in/softwareconsulting.

#GetFediHired

Software developer, #FP, #Scala, #Kotlin, #JVM, #Haskell enthusiast; contributor to https://alexn.org, https://monix.io, https://typelevel.org.

🌍 #Bucharest, #Romania

tech: #databases, #Erlang, #Elixir, #Rust, #C, #Java, #Scala, distributed systems, consensus, #OSv, #Illumos, #BSD, #Nix, F/LOSS; fun: guitar, swimming, sailing; ex: Sleepycat/BerkeleyDB, Akamai, AWS, Basho, NeXT, Sun, Oracle, ...