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.

Mad computer scientist, unfinished project collector, meme enjoyer. Posts mostly tech and memes and tech memes.

Current project: Ludwig, a Lemmy clone in C++ - https://github.com/ar-nelson/ludwig

Backlog project: Tapir, a single-user Fediverse server - https://tapir.social

#WebDev · #IndieGames · #IndieDev · #PixelArt · #Scala · #Typescript · #Scheme · #C · #Cpp · #CompSci · #Linux · #Nintendo (#Pokemon, #Mario, #Zelda) · #MechWarrior / #BattleTech · #SciFi · #INTP · #Christian

Haskell / Scala developer, author of specs2 and registry

[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

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/

Indépendant, j'aide les équipes de dev à embrasser :) les bonnes pratiques ... et j'aime lire et améliorer du code.
Je m'initie à l'automatisation des infras avec ansible

Entrepreneur dans la CAE Optéos https://www.opteos.fr

Intérêts :
#TDD, #scala, #java , Rust, flightgear, OpenStreetMap, GIS
contribue au chaton pâquerette http://paquerette.eu @ChatonsOrg

Pour le dessin : https://mobilizon.fr/@abersketchers
@jlebleu

J'habite sur la côte bretonne au nord de Brest

Italian/Greek #scala dev and physicist, passing Turing tests since 1989. I have a blog that nobody reads. Opinions are my own. 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

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

Contributor to Scala benchmarking, Sangria GraphQL library.

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

💻Elegant code λx ↦ f x
📏 FP with scala and elm.
👾 Generation ZX

💡 "I find that I don’t understand things unless I try to program them" -- Donald Knuth

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.

💻Elegant code λx ↦ f x
📏 FP with scala and elm.
👾 Generation ZX

💡 "I find that I don’t understand things unless I try to program them" -- Donald Knuth

Organic software engineer, focusing on functional programming techniques to improve software quality and reliability. #scala, #rust, #sql are the primary tools, with #photography, #hiking, #diy and #gaming being hobbies.

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

tech: #databases, #Erlang, #Elixir, #Rust, #C, #Java, #Scala, distributed systems, consensus, #OSv, #Illumos, #BSD, #Nix, F/LOSS; fun: guitar, swimming, sailing; ex: Sleepycat/BerkeleyDB, Akamai, AWS, Basho, NeXT, Sun, Oracle, ...