Exploring Mastodon.

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

Indie developer and fractional-CTO for very early stage startups. Polyglot software engineer (#Haskell, #Erlang, #Scala, #Nix, #NixOS, #Fsharp) with focus on building privacy-cenetered applications and services.

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

Antifascist, immigrant, gay af.

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

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/

Scalar Mode

Software Engineer in the Netherlands 🇳🇱 (born in Barcelona)
aka jjba23, Joe

Hacking away, spreading free software (as in freedom) and writing Lisp, Haskell, Scala, Rust, Guix, Nix, loving Emacs and GNU/Linux systems

Playing guitar

Average spooktoberfest enjoyer. Scala, Smithy, Nix, Playdate dev, ADHD, GFDI, JP2GMD

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.

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.

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

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

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.

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

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

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

he/him

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

🌍 #Bucharest, #Romania

Functional programmer with an agile background, Founder. of Agilogy and Scala BCN.
🧒🏼👦🏻👩🏻 Family man , 🎻 amateur violinist.
I (mostly) only talk about sw dev. #Scala #Kotlin and the #jvm.

Lead Developer at Scott Logic by day, Architecturally curious, techno freak by night. Creator of Higher-Kinded-J https://higher-kinded-j.github.io
#higher-kinded-j #hkj #java #scala #clojure
Views are frequently my own

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

Mostly reading and writing #Scala and #Python currently.

Scala Developer

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.