Programming Languages and Type Safety in the Era of LLMs | Dark Hacker News