In this post, I discuss Chapel's runtime types as a limited alternative to dependent types.| danilafe.com
Post by Eshel Yaron about borrowing a helpful feature from LSP-land to enhance Emacs Lisp mode| eshelyaron.com
In this post, I give a top-level overview of my work on formally verified static analyses| danilafe.com
In this post, I talk about pleasant but seemingly minor features in personal sites| danilafe.com
Should type of `Type` be also `Type`? Or is there an alternative?| Avestura's Blog