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

‣ Mobile Software Engineer (mostly)

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

Exploring Mastodon.

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

Geboren in Amsterdam. In de jaren 70 verhuisd naar Almere. Getrouwd met Wil. Heb twee kinderen, beide nu volwassen. In 2020 de stad verlaten om in een rustig Fries dorp te gaan wonen, Warns.
Breed scala aan interesses, geen specifieke hobby.
Help nog steeds particulieren met hard- en software Windows problemen. Talen: Nederlands en Engels

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

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.

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

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

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.

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

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

Doctoral assistant in Learning Sciences 🧑‍🏫 @ REACT group #epfl · Microengineer specialised in low-power embedded systems for the Internet of Things · VP Outreach @graasp · Slightly involved in politics

Toots in 🇨🇭🇺🇸🇫🇷

Scala developer, *nix enjoyer

Scala Developer

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

Posting random programming BLOBs and hashes

root@rttf:~


#programming #opensource #cpp #rustlang #java #scala #linux #embedded #webdev

🇵🇱

Software Developer: C/C++, #python 🐍, #java, #kotlin, #scala, #golang 💕 Linux 🐧 RasPi 🥧 maker 🤖 IoT enthusiast 🎛️ Jujutsu 🥋

Working at the intersection of software engineering and machine learning (∅).

Mostly reading and writing #Scala and #Python currently.