N ntnt-lang.org A Brief History of Type Systems and How AI Is Changing the Tradeoffs 1 points joshcramer 8 months ago 0 comments