Who's Who of AI
hillelwayne.com
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/
No recent on-topic activity harvested.
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.