Programming Languages and Type Safety in the Era of LLMs
thecodedmessage.com