Scala developer, *nix enjoyer

Scala Developer

Exploring Mastodon.

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

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.

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.

Geek for all seasons, especially #SCA, #LARP, #scifi, #boardgames, #comics.

Avid programmer, focused on #FP #Scala, especially #Typelevel

he/him

Software Developer, Creator, Maintainer, Bikepacker, OSM Mapper, Dad.

Maintainer of Mill build tool, Scala, Open Source, OpenStreetMap, former OSGi expert

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

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

Father of a young hockey player and two other future young hockey players. I develop software products from idea to working solution.

Average spooktoberfest enjoyer. Scala, Smithy, Nix, Playdate dev, ADHD, GFDI, JP2GMD

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

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.

#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

Scala and React Developer from Stockholm living in Germany and works remote. Interested in UX, Cyber Security and workflows.

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