Implémentation de "méthodes gardées" en utilisant des témoins d'égalités de types| xvw.lol
Implementation of "guarded methods" using type equality witnesses| xvw.lol
Reading Time: 24 minutesOften, when explaining to other devs that Masset uses Kotlin as our primary backend language, I receive inquisitive and questioning faces. “The Android language? On your backend? That seems odd… Have you considered rewriting it in Rust?” 🤨 | tylerrussell.dev
In this post, I apply Alloy to a piece of code in the Chapel compiler to find a bug.| danilafe.com
