Michał Sitko blog
About this blog
  • Nov 9, 2022

    Reasoning about Avro compatibility with Alloy

  • May 21, 2021

    Build your own refinement types in Scala 3

  • Jan 7, 2021

    A few problems with Helm (that don't exist in Dhall)

  • May 24, 2020

    A beginners step by step guide to Alloy

  • Apr 22, 2020

    Isolated environments with nix-shell and zsh

  • Mar 10, 2020

    Writing native CLI applications in Scala with GraalVM

  • Mar 5, 2020

    Building Windows executables with GraalVM on Travis CI

  • Feb 8, 2020

    Haskell for impatient Scala developer: Getting into speed

  • Oct 19, 2019

    When your code fails after being packaged as JAR

  • Mar 13, 2019

    Replace JSON with Dhall: DynamoDB case study

  • note
  • michal_sitko
  • pierwszy1@gmail.com