https://magpieengineering.com/magpie-maps-launched/2021-06-25T13:53:58+00:00https://magpieengineering.com/formally-proving-fizzbuzz-for-fun-and-profit-part-1/2021-06-28T07:52:03+00:00https://magpieengineering.com/formally-proving-fizzbuzz-for-fun-and-profit-part-2/2021-06-28T21:53:43+00:00https://magpieengineering.com/formally-proving-fizzbuzz-for-fun-and-profit-part-3/2021-07-02T12:52:40+00:00https://magpieengineering.com/formally-proving-fizzbuzz-for-fun-and-profit-part-4/2021-06-30T11:02:27+00:00https://magpieengineering.com/formally-proving-fizzbuzz-for-fun-and-profit-part-5/2021-07-01T12:47:35+00:00https://magpieengineering.com/formally-proving-fizzbuzz-for-fun-and-profit-part-6/2021-07-01T12:50:10+00:00https://magpieengineering.com/code-coverage-considered-harmful/2021-07-05T19:42:04+00:00