-
Reasoning about Avro compatibility with Alloy
-
Build your own refinement types in Scala 3
-
A few problems with Helm (that don't exist in Dhall)
-
A beginners step by step guide to Alloy
-
Isolated environments with nix-shell and zsh
-
Writing native CLI applications in Scala with GraalVM
-
Building Windows executables with GraalVM on Travis CI
-
Haskell for impatient Scala developer: Getting into speed
-
When your code fails after being packaged as JAR
-
Replace JSON with Dhall: DynamoDB case study