Exploring Mastodon.

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

Fractional-CTO, and polyglot software engineer (#Haskell, #PureScript, #Nix, #NixOS, #Deno, #Rust, #Roc, #Flix) with focus on building and scaling infrastructure, platforms and SaaS products end-to-end.

Tolerates writing #Scala for good money.

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

Antifascist, immigrant, gay af, she/her.

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/

[follow requests welcome]

move slow & fix things

music • photography • poetry • code

🎸 since 1998
👩🏻‍💻 since 2006 (pro since 2012)

aka inkjetski • new single “autumn sunset” out now on bandcamp

building: uncut systems
prev: sotheby’s, twitter, spotify, meetup, etc

roles: front-end, back-end, sre, infra, platform, devex, tech lead, consultant

practices: xp, tdd, ddd, pairing, mobbing, t-shaped, xfun teams

languages: ruby, js, ts, go, java, scala, swift, html, css, sql

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

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

he/him

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

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

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

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.

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

Software Gardener. Speaker. Trainer. Testcontainers Community Champion. Художник. Honorary Bavarian. DMs open. 👨‍💻👨‍🌾
#Java #Scala #Linux #Programming
SoftwareGarden.dev

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

FOSS person. #Gamedev for the #ZXSpectrum, #Amstrad CPC, #Commodore64, #MSX and other shiny things (PC and #DOS!).

Also #Scala, #C, #Python and #haskell, and some (retro) gaming.

Not made of actual Lego.

Toots have TTL.

Moved from @reidrac

#nobot #nobots

Header: a photo of a Sony Trinitron TV displaying a scene from the game The Dawn of Kernel (Amstrad CPC) in all its CRT beauty.

Software Developer trying to not go mad
I try to play guitar. I like it, you won’t.
I write mostly Java but I’d rathe use Scala, Clojure or Rust.
Nazis fuck off.

Born at lunchtime.

Against all forms of #antisemitism and #racism

Queer. Trans. She/her. White. Python. Scala. SF. Cycling. Music. Revolution. Shoes.
I'm not even half-assing social media, I'm quarter-assing it.

- Doing Scala for 10+ years
- Fervent skier
- Saving as much energy as possible

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.

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

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

Man about #SanFrancisco. I want better #publictransit and #biking infrastructure. I write #scala for money. I podcast at Detuned Radio for fun. Born & raised in Michigan.