Exploring Mastodon.

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

💻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

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

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.

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

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+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 #clojure
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

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

‣ Mobile Software Engineer (mostly)

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

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.

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

🦄 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