Skip to content
View alessandrocandolini's full-sized avatar
8 followers · 38 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report alessandrocandolini

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
alessandrocandolini/README.md

Hi there 👋

I'm Ale

  • 🔭 for the past 6+ years I've been working at Depop where I solve business and commercial problems and delight Depop users through technology. As a member of the engineering leadership, I work closely with C levels and senior leadership in shaping the longer-term technical strategy and vision within the organisation and I'm directly responsible of leading a number of company-wise engineering initiatives at scale while having fun implementing backend technical solutions using Scala and functional programming (among other things). Find out more about my current and past roles on linkedin or read my cv (proudly typeset in LaTex :D not very parsable by automatic tooling :D )
  • 💬 Ask me about .. anything! Always keen to have a chat about all sort of topics: physics, mathematics, functional programming, business, blues 🎼, books 📖, gin 🍸 Well, almost anything: I'm very bad at cooking, let's not chat about that :P
  • Not very active on open source, but love to share publicly here whatever I'm currently working on (even if not completed). In my github account you'll find a variety of different things, including latex notes and slides (about physics, math, programming, and statistics); playground projects for different programing languages, libraries, and tools (eg, scala, haskell, TLA+, CI/CD); various giter8 templates to generate new projects; and more.
  • 🌱 Among my favourite topics in programming: pragmatism & strongly statically typed functional programming; concurrency and distributed systems; correctness of computer programs (TDD, PBT, formal specification and verification, Agda, Stainless, TLA+, etc). Generally interested in the intersection between technology and business, wisely using advanced concepts when appropriate to reliably deliver robust solutions in a timely manner
  • my favourite programming languages: Scala & Haskell
  • 💰 do you have money and you want to invest on a new business but not sure how to tackle the development of a digital product? Write to me, I might know a trustable ninjia team that can make it happen quickly and robustly, but we are not cheap!
  • 📫 How to reach out to me: [email protected], linkedin profile , or open a bug in one of my repos 😄
  • I own another github account https://github.com/acando86 that i only use for work

GitHub stats

Popular repositories Loading

  1. dotfiles-public dotfiles-public Public

    Personal dotfiles

    Vim Script 3

  2. stack-templates stack-templates Public

    Collections of project templates for the stack Haskell build tool.

    3

  3. heroku-mvp heroku-mvp Public

    Playground to deploy scala3/typelevel apps to heroku using Docker

    Scala 2 2

  4. haskell-simple-calculator haskell-simple-calculator Public

    Haskell 2

  5. comics_app comics_app Public

    Java 1

  6. categorical_rx_slides categorical_rx_slides Public

    Slides for introductory talk on category theory and Reactive extensions

    TeX 1