Tính đúng đắn của phần mềm & Bảo mật chuỗi cung ứng: Trò chuyện với Sean Allen

The Pragmatic Engineer phỏng vấn Sean Allen, một kỹ sư xuất sắc tại Antithesis và là người đóng góp cốt lõi cho ngôn ngữ Pony, về tính đúng đắn của phần mềm và bảo mật chuỗi cung ứng. Allen lập luận rằng các hệ thống kiểu mạnh trong họ ngôn ngữ ML phát hiện nhiều lỗi hơn ở thời điểm biên dịch so với các ngôn ngữ thuộc họ ALGOL, và rằng kiểm thử thủ công là cách tồi tệ nhất để đảm bảo tính đúng đắn. Ông cũng nói rằng các cuộc tấn công chuỗi cung ứng không có một giải pháp đơn giản duy nhất, vì những ngôn ngữ được phòng thủ vững chắc như 'E' lại không phổ biến trong khi các ngôn ngữ phổ biến lại giả định một hệ sinh thái đáng tin cậy.