Vertigo
Blast from the 2013 past -- one of my pages of notes showing hand-written #forth including formal verification using Hoare triples on the right-hand edge of the page.
This eventually became part of my STS operating system for the #kestrelcomputer Kestrel-2, 3 years before I started work on the Kestrel-2DX.
Jonkman Microblog is a social network, courtesy of SOBAC Microcomputer Services. It runs on GNU social, version 1.2.0-beta5, available under the GNU Affero General Public License.
All Jonkman Microblog content and data are available under the Creative Commons Attribution 3.0 license.