Pinboard (9diov) https://pinboard.in/u:9diov/public/ recent bookmarks from 9diov New Kind of Paper, Part Two 2022-07-16T04:02:44+00:00 https://mlajtos.mu/posts/new-kind-of-paper-2 9diovapl language notation design https://pinboard.in/u:9diov/b:b8c96f89fea0/ A New Medium for Communicating Research on Programming Languages 2021-09-30T02:30:38+00:00 https://willcrichton.net/nota/ 9diovpaper latex ui pdf communication cs pl notation https://pinboard.in/ https://pinboard.in/u:9diov/b:35cdb864b4a7/ Notation as a Tool of Thought 2015-09-08T05:28:49+00:00 http://www.jsoftware.com/papers/tot.htm 9diovnotation programming book cognitive thinking https://pinboard.in/ https://pinboard.in/u:9diov/b:ca51a4e8a58b/ Hatch mark - Wikipedia, the free encyclopedia 2012-02-12T13:31:13+00:00 http://en.wikipedia.org/wiki/Hatch_mark 9diovmath notation geometry wikipedia https://pinboard.in/ https://pinboard.in/u:9diov/b:7f3f06722289/ MuseScore: the Free and Open Source Music Notation Application 2009-04-02T16:00:00+00:00 http://www.pheedcontent.com/click.phdo?i=a76d830b8524b32ef852d4eb73b4f229 9diov free_software FreeSoftware music music-notation notation https://pinboard.in/u:9diov/b:f53f258847c5/