korrents

What Hillel Wayne thinks about software quality

@hillel-wayne · 45 positions · 0 changes of mind

Writer and consultant on formal methods, testing and software correctness, author of Logic for Programmers and Practical TLA+. He ran the Crossover Project, interviewing seventeen people who worked as traditional engineers before becoming software developers, to settle by evidence whether software engineering is engineering.

Everything they publish, on ppll ↗

Hillel Wayne did not write this page.

We collected these quotes from things they published elsewhere, and every quote links to where it was said. They have no account here and have not endorsed this site. Quotes are word for word; the short line under each one is our own restatement, not their wording. Their own site. Is this you? Claim it or ask us to remove it. Or tell us what is wrong here.

3 dated positions, 2017 to 2026, in their own words. Our reading of what Hillel Wayne has said — not written or endorsed by them.

3 positions so far — this page is not yet offered to search engines.

  1. Our readingFormal methods are a niche tool; property-based testing is the one most engineers should adopt, and stopping there is a fine place to stop.

    Their wordsI love formal methods, but I think it's a fairly niche tool for most people and I think like property-based testing is in general going to be useful for more people.

    ↗Formal methods with Hillel Wayneyoutube.com 17th of 24 in this recording

    Interesting
  2. 9 years earlier

  3. Our readingRobert C. Martin's advice makes code worse, because it dismisses every correctness technique that is not unit testing.

    Their wordsUncle Bob gives terrible advice. Following it will make your code worse.

    ↗Uncle Bob and Silver Bulletshillelwayne.com 1st of 3 in this piece

    Interesting

  5. Our readingUnit tests alone give little confidence in a program, because the mistakes people actually make are not the conveniently unit-testable ones.

    Their wordsBut unit tests don't give you much confidence in your code.

    ↗Uncle Bob and Silver Bulletshillelwayne.com 3rd of 3 in this piece

    Interesting