super-ultra-premium, e.g., #scala, functional programming, mentoring, nerdy stuff. he/him.

principal at https://inner-product.com, author https://essentialeffects.dev

Exploring Mastodon.

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

Graphic designer, information designer and type designer. I do like large families: Scala, Seria, Nexus, Questa and Comma.

I'm a developer for fun and profit. I write #scala, usually of the functional variety. I'm on the #typelevel steering committee. I care about #data and #resiliency and those two things combined. I also #sew and #knit.

This is one of my accounts! I have another account over at @spills

I'm pretty sure I don't know what I'm doing.

Aiuto startup e creativi multi-potenziali
con strategie per scalare le proprie idee 🎡
Founder of 3 NewCOs🇮🇹 | 20K+ Tk
zaap.bio/alex.sm

Haskell / Scala developer, author of specs2 and registry

Scala Developer

A jet bundle and a scalar.
私は時々引きこもりです.
Erdos #2.

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

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

Contributor to Scala benchmarking, Sangria GraphQL library.

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

#GetFediHired

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.

RPG/Boardgame/Card Game player
Writer/Blogger/Podcaster
Gardener/Cook/Scalawag

Born & raised in Northern California. Married with dogs. Very opinionated. Leftie liberal. Ally. Time Dude. Possible bad influence.

He/Him/Sir/Dude/Doctor...I'm flexible.

Blog at: https://dociverse.wordpress.com/
Podcast at: https://www.patreon.com/DocCross
Also available free at: https://anchor.fm/doc-cross

Stap uit je dag! In hartje Alkmaar kun je in het prachtige Theater De Vest genieten van een breed scala aan voorstellingen en evenementen.

#alkmaar #theater #cultuur

#FP #Scala #Types #cats #Gardening #Cats #Badminton

💻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

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

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

DevOps coach

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

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

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