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

Exploring Mastodon.

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

Scala Developer

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

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/

Posting random programming BLOBs and hashes

root@rttf:~


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

🇵🇱

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.

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

Haskell / Scala developer, author of specs2 and registry

Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Internationalist.

Stap uit je dag! In hartje Alkmaar kun je in het prachtige Theater De Vest genieten van een breed scala aan voorstellingen en evenementen.

#alkmaar #theater #cultuur

~// lambda style sr software engineer @DisneyStreaming
~// LocationTech Geotrellis and Proj4J PL
~// https://flatmappers.com/
~// @ScalalazPodcast & @scala_love valentines
~// https://pomadchin.com

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.

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.

Geboren in Amsterdam. In de jaren 70 verhuisd naar Almere. Getrouwd met Wil. Heb twee kinderen, beide nu volwassen. In 2020 de stad verlaten om in een rustig Fries dorp te gaan wonen, Warns.
Breed scala aan interesses, geen specifieke hobby.
Help nog steeds particulieren met hard- en software Windows problemen. Talen: Nederlands en Engels

You can find me working in Scala tooling, exploring new music, enjoying good food, appreciating people's creations, and talking about all of them.

Staff Engineer at @SwissBorg Payments • Crapposter • Occasional conference speaker • Libertarian paternalist • #Scala developer • Books addict

Socialist, feminist, born-again Green Party member, Deep-Green credentials - I was reading Fritjof Capra in 1983! ex-labour party member, Dub Reggae and Dub Techno enthusiast, @Bitwig practitioner, fledgling Scala and Mojo coder.

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

🌍 #Bucharest, #Romania

Aiuto startup e creativi multi-potenziali
con strategie per scalare le proprie idee 🎡
Founder of 3 NewCOs🇮🇹 | 20K+ Tk
zaap.bio/alex.sm