New Newsletter! Remember that old article about how LLMs liked the word "delve"? Well, the coding harnesses really, REALLY like the word "spine". And "gate". And many others. buttondown.com/hillelwayne/...
Who's Who of AI
hillelwayne.com
Why they matter
Tracked through public AI activity and peer connections inside the directory.
- AI signals
- 1 past 30d
- Sources
- 1 distinct domains
- Discussions
- 2 past 30d
- Latest signal
- 4d ago
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out July-ish)
Newsletter: https://buttondown.email/hillelwayne/
What they're sharing
The LLMs yearn for the spines buttondown.com
Articles & links
Their own posts
Recent commentary
Right now the biggest barrier to AI-driven formal methods is that AIs are absolutely dogshit at coming up with good properties. I thought that was just a March 2026 thing but it seems to be a September 2026 thing too
Tired: software engineering isn't dead because Anthropic is hiring lots of software engineers Wired: writing isn't dead because the Claude Code docs are clearly not vibeslopped
I feel like Metamorphic testing, checking how changing an input changes a function, would be a pretty good way to evaluate AI tooling. Like if we're writing an AI writing detector, for any random given piece of prose, asking Claude to "clean it up" should *increase* the score
Their network
In hillelwayne.com's orbit
Center = hillelwayne.com. Left = members they follow (green edges). Right = members who follow them (blue edges). Top = mutual follows (orange edges, slightly larger). Drag any node to reposition; click to open that profile.
Are you hillelwayne.com? Show it.
Add the Who’s Who of AI badge to your site or bio. It links back to this profile.
Markdown: [](https://aiweekly.co/whos-who/person/hillelwayne-com)