The person who's wrong on the Internet. Meme-worthy. Lurking in the AI Alliance (thealliance.ai). Also pretending to do FP, Scala, Physics, writing books, and conference speaking. Alleged photographer (flickr.com/photos/deanwampler/). IBM Research

Exploring Mastodon.

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

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

🌍 #Bucharest, #Romania

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

Scala developer, *nix enjoyer

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.

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

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

Scopri il meglio del cielo: le ultime scoperte astronomiche, selezionate dagli utenti di Diggita con cura e passione:

💫 Supernove rare catturate da citizen scientist

📸 Immagini inedite dalla missione Vera C. Rubin Observatory

🌀 Galaxy cluster, esopianeti emergenti, fenomeni cosmici su scala colossale

Hai una passione per pianeti, galassie, stelle, il sistema solare, buchi neri o fenomeni marziani? Qui il cielo non ha confini.

Software Engineering Manager | Former iOS and backend developer

💻 Recovering Objective-C and Scala programmer
🕹️ Retro handheld gaming enthusiast
📚 Science fiction and fantasy buff
🩸 Flesh and Blood beginner

Scala Developer

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

Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Internationalist.

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

💻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

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

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

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

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

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