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

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

he/him

Social-media Anfängerin, aber Fediverse... Alternativen gibt es für mich keine

Fotografiere mit a99ii oder Smartphone (Pixel9 mit GrapheneOS) Linux hat auch einen Platz bei mir

Wald, Natur, Tiere, Pflanzen,
werkeln, garteln, basteln, schnitzen, lustig sein
interessiere mich für vieles, probiere vieles aus
bin im Waldkindergarten also genau richtig

Unterstützt werde ich bei Allem von meinem Herzensmensch 🤍
#mecfs seit 2022, nach Bell-Scala ca. 40, deswegen nur so aktiv wie es mir gut tut 🐅

By way of #introduction, I'm an inveterate hacker of markup (XML, HTML, SGML, TeX, JSON, DocBook, RELAX NG, XML Schema, Schematron) and wrangler of bits (XProc, XSLT, XQuery, Java, Scala, Python, JavaScript, C#). Author. Photographer. Occasional cook. Frequent bottle washer. Employed by Saxonica. Resident of Wales. Website tinkerer, https://norm.tovey-walsh.com/

I write code, mostly C#, Scala, or Python. It’s my job and hobby. Also playing around with electronics on raspberry pi and micro:bit. 3D printer and newbie thing creator. Father of children, Walker of cockapoo, First of his name. He/Him.

Exploring Mastodon.

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

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"

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

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

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

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

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

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

DevOps coach

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

Mostly reading and writing #Scala and #Python currently.

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.

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

🌍 #Bucharest, #Romania

he/him/his Dev in Berlin, #scala and #rust

Golang, Kubernetes, Scala nerd. Trying to learn how to take better photos.

I talk to machines.

Indie quant developer and algo trader teaching ordinary folks to fuck a system designed to oppress them. Polyglot software engineer (#Haskell, #Erlang, #Scala, #Nix, #NixOS, #Fsharp, #Python) and recovering software engineer in "tech".

Has a penchant for #OptionsTrading, #FunctionalProgramming, #Economics, #SystemsThinking.

Antifascist, immigrant, gay af. #effice

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

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

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

himbo/thembo 🏳️‍🌈 · Haskell homosexual who thinks monads are foreplay and `-Wall -Werror` is a love language. I write functional code, filthier commit messages, and a blog nobody asked for → thisfieldwas.green. Fluent in Scala, decent at category theory, and expert at holding eye contact two seconds too long. Explain applicative functors to me slowly and I am ANYBODY's. Type systems make me feel things. Will leave you on read to refactor a parser combinator. Gay, geeky, and a documented menace in code review. Reality TV scholar; I know exactly who deserved to win. Come for the lambdas, stay because I bullied you into learning Haskell.