Using Jai's Unique and Powerful Compiler for Typesafe Units (forrestthewoods.com)

Great article, love to see claims backed up with examples. It's one thing to say "jai's meta-programming capabilities are a Big Deal", and another to see it in action alongside competing languages.