korrents

What Hillel Wayne thinks about LLMs

@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, 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 readingSoftware developers probably are engineers after all, on the evidence of the people who did both jobs -- though that research was done before LLMs.

    Their wordsI think this project and writing about it and thinking about it has firmly moved me from the camp of we are definitely not to we probably are.

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

    Interesting

  3. Our readingTo get good results out of an LLM you have to already know how to get them without it; the model only makes it faster.

    Their wordsAs a general thing we've seen like to get good results you have to already know how to get good results without it. It just helps you get good results faster.

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

    Interesting

  5. Our readingThe software job losses of the past few years were caused more by the end of zero-interest-rate money and the post-COVID crash than by AI.

    Their wordsSo, it's hard to tell how much of like the loss of the past few years was AI versus the end of like zero interest rate policy and like the post-COVID crash. And I think it's more the latter, but like again, LLMs are still getting better.

    ↗Formal methods with Hillel Wayneyoutube.com 21st of 24 in this recording

    interest rates

    Interesting