Exploring Mastodon.

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

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.

Scala Developer

Haskell / Scala developer, author of specs2 and registry

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

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

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

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

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.

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

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.

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.

Scala developer, *nix enjoyer

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

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

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

Father of a young hockey player and two other future young hockey players. I develop software products from idea to working solution.