firstname.lastname@example.org (related to academia)
email@example.com (all other)
I have worked very briefly with temporal logics in the past,
inventing a new one (this is nothing very clever, new logics are invented all the time) and proving that it is equivalent to some others.
I also seem to have devised what appears to be the first correct concurrency control algorithm (at least going by one commonly held definition).
These days I am working on a proof assistant called Occam, if that's not obvious.
I decided last year that I should get anything related to Occam's verification into the public domain.
With this in mind I've released three new packages concerned with Occam's grammars and its document object model.
Links can be found in the updated resources section.
Also, I'm afraid to say that Occam is currently unavailable for download.
It has undergone a significant rewrite in the last few months, the aforementioned packages were part of this process, and it was just too much effort to keep it all together.
It should emerge (phoenix like) from the ashes of the old Occam in the next month or so.
I have at least updated the Occam site in a meantime and there is a link to it in the Occam section below.
21st November 2018
I've just published an implementation of the Concur algorithm.
You can find it at the foot of the resources section.
16th October 2018
Earlier this year I was kindly invited out to France to talk with others about formal mathematics.
I ended up giving an impromptu talk and have just gotten around to completing the slides that would have gone with it.
It is the first real mathematics I've done with Occam and so a subject that's close to my heart.
And I'm claiming (with pantomime hubris) that it's novel.
Anyway, you can find the slides in the new presentations section below.
I should take this opportunity to sincerely thank Josef Urban and Henk Barendregt for their interest in Occam.
31st July 2018
I've been working on the openmathematics.org site again.
You can now make changes to package's readme files and publish them directly from the site.
Other than that there is now some support for GitHub.
you can commit the aforementioned changes to readme files to a package's repository at the same time as publishing;
you can edit and create issues;
and you can do the same for comments on issues.
There is also support for LaTeX, which can be added to readme files, issues and comments.
The result is that the site now functions at least partially as a kind of maths enabled, GitHub overlay.
You can compare the readme file of the 'minimal-propositional-logic' package across the two sites here and here to get an idea.
16th May 2018
Sorry this is a bit of a long, programmy one...
Lately I've been out in the real world (scary stuff!) talking to other programmers and the subject of Reaction has occasionally come up.
I've found myself dissuading people from watching the 'Reverse Engineering React' series of videos, however, and I now wonder why.
I think part of the reason for this is that I feel things have generally moved on.
So if you come by this website having stumbled across Reaction (as I suspect a significant proportion of the visitors to this site do), then here are some suggestions:
Don't waste too much if any time on the aforementioned 'Reverse Engineering React' videos.
They really are a bit dated, simply because Reaction's code base has changed.
I haven't done a bad job of keeping up the errata, but I haven't done a great job, either.
My suggestion would be, therefore, that you clone the repository and have a look around.
I think the pertinent files are the topmost react.js file, which gives you JSX support;
and all the files in the element directory and its subdirectories,
especially the other react.js file, which implements the all-important ReactElement class.
If you do fancy watching some videos, watch the Rewiring Redux series.
There are far less of them, and four frameworks are discussed rather than just one, namely Reaction+Inference and React+Redux.
More importantly, (I kid myself) I manage to draw a few distinctions between these two pairings which (I again kid myself) may shed some light on each of them.
For example, there is a bare bones implementation of Redux in the redux.js file, which really is
all you need in production (don't tell the BBC, ahem).
Also, I've been working on the openmathematics.org site recently, and I felt obliged to use Reaction and Inference, seeing as how I wrote them.
At times it felt like I was cutting my nose off, but things have turned out pretty well.
So you can have a look at the whole lot using your browser's developer tools.
I've also made a bit of an effort with both the Reaction and Inference readme files,
ostensibly to explain the patterns I developed in order to get a data-driven site, as opposed to just a toy site, working.
Update: I've had to move over to a production build, the development build was getting too big and consequently the pause before anything appeared was beginning to impact the user experience, especially on mobile.
There is another site you can look at, however.
I don't feel like putting a link to it here but it was mentioned in the Joy of JSX videos.
It's probably a better place to start anyway, being as it is much smaller and simpler.
Finally, I should mention Juxtapose.
I'm a massive fan of JSX and Juxtapose is my take on it, lending JSX support to my Easy elements.
I could bang on about it for ages, but all I'll add here is that it allowed me to turn Occam's view code into a structured whole as opposed to a plate of spaghetti.
I got so excited about it I even wrote some documentation.
31st March 2018
There is a new website for publishing Occam packages as well as a command line package management tool to enable you to do so.
Details can be found here:
2nd December 2017
I've always been a bit rubbish at probability,
and recently a student came to me with the Monty Hall problem.
I waffled for a few minutes before admitting (to myself as much as anyone) that I hadn't a clue what I was talking about.
We then decided to solve it properly.
It took a few lessons on and off but the result was a much clearer
direct calculation (or proof if you prefer).
The proof has recently been edited.
It looks like the person who did so knew what they were doing, but I haven't given it more than a cursory glance yet.
Anyway, if you want my original proof, which is certainly more detailed if nothing else, please go here.
Occam is currently unavailable, my apologies.
There is a new site, however, which gives a taste of what is to come.
The First Correct Concurrency Control Algorithm
State/event based versus purely Action or State based Logics
All Natural Numbers are either Even or Odd
JSX support for Easy elements.
An alternative implementation of React.
A dispatcher in a similar vein to Redux.
Elements that abstract away from the DOM.
Layout elements that work with CSS flexbox.
A textarea element that handles and hands off events well.
Drag and drop elements including an explorer and a rubbish bin.
A collection of utility functions.
An MVC framework with scheduling.
A handful of common CSS styles.
Relates to URL hash fragments.
[github] occam Occam.
[github] occam-open-cli Occam's command line package management tool.
[github] occam-dom Occam's DOM related functionality.
[github] occam-lexers Occam's lexers.
[github] occam-parsers Occam's parsers.
[github] occam-kahn An implementation of Kahn's algorithm.
[github] occam-tarjan An implementation of Tarjan's algorithm.
[github] occam-pearce-kelly An implementation of the Pearce-Kelly algorithm.
[github] occam-grammar-utilities Occam's grammar utilities.
[github] occam-custom-grammars Occam's custom grammars.
[github] occam-colours Occam's colour definitions and schemes.
[github] concur-algorithm An implementation of the Concur algorithm.
Last updated 4th February, 2019.