Werner Vogels says verification is now the key bottleneck
Original title"The verification bottleneck is more important than ever."
AISummary
Amazon CTO Werner Vogels argues that the verification bottleneck matters more than ever. The post is a short reply to Yaron Minsky's remarks on Jane Street's ambition to make formal methods as pervasively useful for building software as sophisticated type systems are today.
Source: Werner Vogels · x.comPublished · added here