Posting random programming BLOBs and hashes

root@rttf:~


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

🇵🇱

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.

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/

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

Mostly reading and writing #Scala and #Python currently.

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 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

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

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

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

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.

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.

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.

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

Maintainer of Mill build tool, Scala, Open Source, OpenStreetMap, former OSGi expert

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

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

he/him

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

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

Scalar Mode

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