Shriram Krishnamurthi on Nostr: For ~20 years we have been working on *differential analysis* as a better user-facing ...

For ~20 years we have been working on *differential analysis* as a better user-facing modality that traditional computer-aided verification. Here's a summary of our philosophy and links to results, with an explanation of the likely cognitive benefits.
https://blog.brownplt.org/2024/06/27/differential-analysis.html