https://ericnormand.me/ RSS for Node Wed, 18 Mar 2026 19:56:49 GMT https://ericnormand.substack.com/p/denotational-vs-operational https://ericnormand.substack.com/p/denotational-vs-operational Tue, 16 Dec 2025 11:01:36 GMT https://ericnormand.substack.com/p/what-are-formal-systems https://ericnormand.substack.com/p/what-are-formal-systems Tue, 09 Dec 2025 11:02:30 GMT https://ericnormand.substack.com/p/post-conj-update https://ericnormand.substack.com/p/post-conj-update Sat, 22 Nov 2025 00:53:36 GMT https://ericnormand.substack.com/p/a-functional-programming-course-in https://ericnormand.substack.com/p/a-functional-programming-course-in Wed, 29 Oct 2025 10:02:49 GMT https://ericnormand.substack.com/p/my-biggest-fear-with-ai https://ericnormand.substack.com/p/my-biggest-fear-with-ai Tue, 05 Aug 2025 10:02:50 GMT https://ericnormand.substack.com/p/llms-surprise-teaches-us-about-ourselves https://ericnormand.substack.com/p/llms-surprise-teaches-us-about-ourselves Wed, 09 Jul 2025 05:24:35 GMT https://ericnormand.substack.com/p/the-economic-inevitability-of-ai https://ericnormand.substack.com/p/the-economic-inevitability-of-ai Tue, 01 Jul 2025 10:03:33 GMT https://ericnormand.substack.com/p/ai-lisp-and-programming https://ericnormand.substack.com/p/ai-lisp-and-programming Tue, 24 Jun 2025 10:02:52 GMT https://ericnormand.substack.com/p/work-and-meta-work https://ericnormand.substack.com/p/work-and-meta-work Tue, 17 Jun 2025 10:02:42 GMT https://ericnormand.substack.com/p/too-many-degrees-of-freedom https://ericnormand.substack.com/p/too-many-degrees-of-freedom Tue, 03 Jun 2025 10:01:35 GMT