Hacker News with Generative AI: Dependent Types

The Lisp in the Cellar: Dependent types that live upstairs [pdf] (zenodo.org)
Ada's dependent types, and its types as a whole (nytpu.com)
So I like to joke occasionally on the Fediverse that when looking at Wikipedia's list of programming languages supporting dependent types:
Dependent Types and the Art of HTTP Headers (unwoundstack.com)
Making illegal state unrepresentable in Idris
Beatrice: A tagless, dependently typed, self-aware programming language (hirrolot.github.io)