You can find me working in Scala tooling, exploring new music, enjoying good food, appreciating people's creations, and talking about all of them.

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.

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

HCC is een vereniging voor iedereen die geïnteresseerd is in computers, technologie en alles wat daarbij komt kijken. Sinds onze oprichting in 1977 hebben we talloze leden verwelkomd en een gemeenschap opgebouwd die draait om kennisdeling, persoonlijke groei en het vieren van de liefde voor technologie. Onze vereniging biedt een scala aan activiteiten en mogelijkheden, voor beginners, gevorderden als mensen die het moeilijk vinden om de snelle ontwikkelingen op digitaal gebied bij te blijven.

I am: French, excuse my English / Father^3 / calm and silent IRL / FP enthousiast
i believe: FLOSS are our digital common goods, their maintainers our sacrified wealth [update: we've lot to learn at making that flourish and sustain] / if it doesn't work, you need more Ostrom in it / systems are complicated
I do: things before they are cool (linux and floss since 2001 / Coq in 2004 / Scala since 2006 / @rudderio CTO nowadays...)

My dm are open, perhaps I can help

Achievement, I guess? Asking people at conferences if they are ok for working for the 1930 IBM and getting tagged "rectitude"

Scala Developer

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

Contributor to Scala benchmarking, Sangria GraphQL library.

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

#GetFediHired

Exploring Mastodon.

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

Jeg er computernørd, Scala er et ret nice programmeringssprog.

Studerer Software på Aalborg Universitet

Hobbyer inkluderer #esperanto, #tegnsprog #badminton m.m.

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

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 🇨🇭🇺🇸🇫🇷

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

Maintainer of Mill build tool, Scala, Open Source, OpenStreetMap, former OSGi expert, Gentoo, unethical
LLM avoider

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

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

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

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

Just your average programmer. Addicted to life and could not care less about death.

- Loves reptilians, games, chatting.
- Willing to discuss programming and other interests..
- Currently into Python, C family languages, and Cyber-Security (pen-testing, etc.)
- Goes by any nickname or pronouns. (e.g., Dock, Scalara..)
- Chronically online.
- Currently exploring the fedi-verse (seems cool!)

Feel free to hit me up :D

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

Izumi Project - http://izumi.7mind.io
• distage, DI Framework for Scala
• IdeaLingua, RPC for Scala/TypeScript/C#/Go
• LogStage, structural logging for Scala

Functional programming enthusiast | Scala, Java, Kotlin, Typescript developer. Pie eater. FreeBSD user.

A living example of paticca samuppada. Pining for Ye Olde Nette, digging the Tildeverse and Gemini.

EN/ES/EO/FR/DE/PT/IT/RU

C#, Dart, SQL, Rust, Scala, Cypher, TypeScript, Forth, Erlang