https://hackerpaper.kaipfister.de/p/1810.11673/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=34295192urn:hackerpapers:mention:1810.11673:34295192Sun, 08 Jan 2023 01:56:18 GMT<p>My condolences; I was taken with both https://arxiv.org/pdf/1810.11673.pdf and https://vanemden.wordpress.com/2018/07/21/dijkstra-and-logic... (especially wrt the latter, I&#x27;ve suspected that EWD had been attempting to redo with OR/EQL the dual of what EE&#x27;s had long been doing —whether in knowledge or in ignorance of Zhegalkin— with AND/XOR)</p><p><a href="https://hackerpaper.kaipfister.de/p/1810.11673/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PL