What Hillel Wayne thinks about AI and jobs

@hillel-wayne · 45 positions · On ppll ↗

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.

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.

Filter AI and jobs · Newest first

Topic

All 45formal proof 10software quality 6LLMs 3mathematics 3AI and jobs 1aviation 1design 1developer tools 1documentation 1

5 more topics

energy 1humility 1interest rates 1nuclear power 1open source 1

Sort

NewestOldest

Only Hillel Wayne on AI and jobs. See everyone on AI and jobs

1 dated position, 2026, in their own words. Our reading of what Hillel Wayne has said — not written or endorsed by them.

1 position so far — this page is not yet offered to search engines.

1. 29 Jul 2026

   Our readingWithin ten years software development will survive but become ordinary white-collar work, with no more two-hundred-thousand-dollar salaries or unlimited vacation.

   Their wordsI predict that in the next 10 years software development will survive, but it will become like any other white-collar professional work. No more $200,000 salaries, unlimited vacation, or incredible employee bargaining power.

   ↗Formal methods with Hillel Wayneyoutube.com 22nd of 24 in this recording