Ask HN: Why isn't Proof-Carrying Code more popular?

1 points | by nwah1 9 hours ago ago