feedbot: http://verisimilitudes.net/2020-07-15 << A Syndication of Verisimilitudes -- A Review of ``Building High Integrity Applications with SPARK'' by McCormick and Chapin

feedbot: http://ossasepia.com/2020/07/16/client-paste-says-yes-it-can/ << Ossa Sepia -- Client-Paste Says Yes, It Can