Exploring Mastodon.

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

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

Graphic designer, information designer and type designer. I do like large families: Scala, Seria, Nexus, Questa and Comma.

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

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

🌍 #Bucharest, #Romania

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.

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, *nix enjoyer

Follow me if you want to get lost. 🇯🇲🇺🇸

‣ Mobile Software Engineer (mostly)

#androiddev #kotlin #scala #cycling #cyclocross #gaming

Scala Developer

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

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

he/him

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

Indie quant 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 trading systems.

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

Antifascist, immigrant, gay af.

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

Journalist, Beschreiber, Bayernkorrespondent der @tazgetroete​. Gschichten halt.
Mostly harmless.

Ciao! 👋
Mi chiamo Roberto, insegnante di Scienze naturali . Da sempre la biologia e la scienza in generale mi affascinano e incuriosiscono.

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

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

Haskell / Scala developer, author of specs2 and registry

A jet bundle and a scalar.
私は時々引きこもりです.
Erdos #2.

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