Byron Cook – Noise https://noise.getoto.net The collective thoughts of the interwebz Thu, 17 Oct 2024 13:00:02 +0000 en-US hourly 1 https://wordpress.org/?v=6.8.2 An unexpected discovery: Automated reasoning often makes systems more efficient and easier to maintain https://noise.getoto.net/2024/10/17/an-unexpected-discovery-automated-reasoning-often-makes-systems-more-efficient-and-easier-to-maintain/ Thu, 17 Oct 2024 13:00:02 +0000 http://noise.getoto.net/?guid=3fcea2c315bd5c4960b792bae888a20a