27 Aug
2025
27 Aug
'25
12:46 a.m.
… did someone say “Lisp?”
On Tue, Aug 26, 2025 at 17:42 Bill Kendrick nbs@sonic.net wrote:
On Tue, Aug 26, 2025 at 12:11:31AM -0700, Brian E. Lavender wrote:
Perhaps you can track down Tony Hoare? https://en.wikipedia.org/wiki/Tony_Hoare
This for some reason made me think of the pumping lemma proof for regular languages. I remember sweating over the details of this proof while taking computing theory.
https://www2.lawrence.edu/fast/GREGGJ/CMSC515/chapt01/Pumping.html
Oof, lisp flashbacks.
-bill! _______________________________________________ Lug-nuts mailing list -- lug-nuts@bigbrie.com To unsubscribe send an email to lug-nuts-leave@bigbrie.com