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

1 points | by nwah1 8 hours ago ago