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.

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.

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

🌍 #Bucharest, #Romania

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

🌍 #Bucharest, #Romania

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

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/

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

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

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

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

Exploring Mastodon.

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

Haskell / Scala developer, author of specs2 and registry

super-ultra-premium, e.g., #scala, functional programming, mentoring, nerdy stuff. he/him.

principal at https://inner-product.com, author https://essentialeffects.dev

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

Software Gardener. Speaker. Trainer. Testcontainers Community Champion. Художник. Honorary Bavarian. DMs open. 👨‍💻👨‍🌾
#Java #Scala #Linux #Programming
SoftwareGarden.dev

Turning the beauty, complexity, and wonder of the deep-sea into long strings of ones and zeros.

Software engineer. Deep-sea Researcher. Dad. Backpacker. Mountain biker. SCUBA instructor.

Following: #Scala, #Java, #MachineLearning, #MountainBiking


Pacific Grove, CA.

©2023-2024 Brian Schlining. All Rights Reserved.

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

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

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.

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