This is a sort of State of the Union address.
The work that appeared last year marked a big move forward in releasing hundreds of pages of documentation. Since November 2021
* we have a new site totaling 1485 web pages
* TBoS is completely online.
* there is a standard library
* and a completely new kernel which has major improvements over the old
* a new edition of TBoS - fuller, more detailed and longer than the previous - if not easier! * the new website is entirely powered by Shen (no authoring tools) which makes updating and global changes much easier
* every page on the entire site is monitored through Statcounter. I've got a good picture of user activity.
* we've got a security certificate on the site.
So actually all the goals I set in my videocasts have been achieved. The only exception is the Foundation idea which would have actually involved a great deal of red tape and not really helped us (however it is trademarked should we want to use it) but for the rest, it arrived.
The figures for April show 2718 web hits which is pretty good considering that I've been immobilised the whole month and produced not a single message. Going back to January this year, when I was a bit more active we have 4815 hits which is more typical. These hits reflect a continuing level of interest in Shen. I can tell you that these hits are coming from all over the world with China and America. The latest hit is from Kazakhstan.
Education
I used to be a professor, as most people know and so education was something that I did. I think one of the challenges facing Shen is that people don't understand it or what it is capable of doing. The solution to this is education by online videos and I'll be using Youtube to do just that.
For many Shenturians who know Shen well, some of these videos will break little new ground. The point is not to appeal to a small number of people who already understand Shen but to broaden the community by bringing in interest from outside. As an assistant professor I used to teach third year students and I can tell you that some basic stuff like BNF was not understood by many in my class - sad but true.
So I'll be teaching some very basic CS too because without the basics one cannot program Shen-YACC for instance. The point about teaching BNF and basic stuff is that it draws in a very wide audience - sometimes hundreds of thousands - who will later look at your more advanced stuff. So if you wonder 'Why is Mark doing such basic stuff?' - there is a good reason. It can radically change this group.
New Technology
Lots of this coming through. So much so that I'm not going to talk about this in depth.
Yggdrasil, the Logic Lab, concurrency written up, program verification, graphics and a brand new edition of Logic, Proof and Computation.
Assessing the Impact
If this initiative starts to work you'll see a swift rise in the web hits on the site and I'll post these figures from time to time. You'll also see a rise in membership of this group (530 at the moment) and some new voices. This generally rises more slowly than web hits.
So basically the changes I made in 2021 have prepared us for the advances we are going to make in 2022.
Mark