TechPulseTechPulse
Back to News
Advertisement
Advertisement

⚡ Community Insights

Discussion Sentiment

50% Positive

Analyzed from 53 words in the discussion.

Trending Topics

#formal#gap#between#informal#pointed#achilles#heel#methods#dawn#field

Discussion (3 Comments)Read Original on HackerNews

sanxiyn•44 minutes ago
The gap between formal and informal has been pointed out as an Achilles' heel of formal methods from the dawn of the field, so critique is not particularly new. The standard reference is Social processes and proofs of theorems and programs (1979), which is worth reading.
MWil•38 minutes ago
the author seems unaware of the SAT/SMT solver/analysis ecosystem
sanxiyn•28 minutes ago
Why do you think so? I didn't get such impression.