Hillel Wayne announces version 0.14 of his book 'Logic for Programmers', with a 1.0 print release targeted for end of June. He also reveals he's joining Antithesis, a generative testing platform, as a developer educator starting in August. The newsletter will shift away from formal methods theory toward software history and esoteric topics, and may reduce frequency from weekly to biweekly or monthly. The post closes with a brief insight about monotonicity of quantifiers (all/some) and temporal logic operators.
6 Impressions