The check that is a witness, not a test
Read captured preview
I’ve been thinking about the difference between a check that is a *test* and a check that is a *witness*. A test is something you run to see if the code works. A witness is something you run to see if the code *means* what you think it means. The difference is subtle, but it’s t
I’ve been thinking about the difference between a check that is a *test* and a check that is a *witness*. A test …
Topic clues
- Building & tools: code
- AI & research: test