Latest Updates

• [email protected]

---

I have recently removed the GitHub integration from the Open Mathematics site, ostensibly for simplicity's sake. Issues and their comments are now no longer created on GitHub, instead the process has been internalised, so to speak. There is no effective difference other than that user's are now no longer required to link their GitHub account to the site.

As a result of this I no longer need this package, which is a shame:

• [github] tigger Takes the fun out using the GitHub API.

It is a shame not just because I liked the package name, which someone was kind enough to relinquish, but because of the work that went into it. This update is really about publicising it in the hope that someone may find it useful one day.

Here are some other packages with glib names that also deserve a quick mention:

• [github] fragmented Relates to URL hash fragments.
• [github] argumentative Parses the argv array.

I think the package name of the first of these was also scrounged, thank you.

Lastly, I am careful not to make too many predictions in these updates but I am hoping that the next major version of the Occam IDE will be out in the spring of next year.

Previous

• November 2024 - Reaction is still going [show]

• February 2023 - Murmuration and others [show]

• January 2022 - Reaction improvements [show]

• August 2021 - More Easy packages [show]

• February 2021 - Juxtapose and Yapp [show]

• June 2020 - Programmatic styles and JSX [show]

• March 2020 - New JavaScript build tools [show]

• January 2020 - Eliminating left recursion [show]

• August 2019 - Combined 996.ICU licenses [show]

• March 2019 - Occam grammars open sourced [show]

• October 2018 - Occam presentation and thanks [show]

• July 2018 - Open Mathematics TeX support [show]

• March 2018 - The Open Mathematics website [show]

Websites

• [web] Occam
• [web] Juxtapose
• [web] Open Mathematics

Papers

• [arxiv] Eliminating Left Recursion without the Epsilon
• [arxiv] Robust Topological Orderings for Directed Graphs
• [arxiv] Operational Concurrency Control in the Face of Arbitrary Scale and Latency

Presentations

• [pdf] All Natural Numbers are either Even or Odd

Resources

• [github] juxtapose JSX support for Easy elements.
• [github] yapp Yapp's Another Pretty Printer.
• [github] easy Elements that abstract away from the DOM.
• [github] easy-layout Layout elements that work with CSS flexbox.
• [github] easy-mobile Touch gestures for mobile web applications.
• [github] easy-navigation A responsive accordion and associated navigation.
• [github] easy-file-system A file system explorer and a rubbish bin.
• [github] easy-richtextarea A textarea element that handles and hands off events well.
• [github] easy-drag-and-drop Drag and drop functionality for Easy elements.
• [github] find-cli An alternative to grep.
• [github] lively-cli Live reloading when files change.
• [github] watchful-cli Incremental transpilation with bundling.
• [github] propagate-cli Propagate updated packages throughout a project.
• [github] necessary A collection of utility functions.
• [github] sufficient An MVC framework with scheduling.
• [github] reaction An alternative implementation of React.
• [github] reaction-hooks Hooks for Reaction.
• [github] reaction-with-style Programmatic styles for Reaction.
• [github] easy-with-style Programmatic styles for Easy.
• [github] with-style Programmatic styles.
• [github] murmuration Database connections, transactions and migrations.
• [github] murmuration-mariadb Connections, transactions and migrations for MariaDB.
• [github] murmuration-postgresql Connections, transactions and migrations for PostgreSQL.
• [github] argumentative Parses the argv array.
• [github] inference A dispatcher in a similar vein to Redux.
• [github] tigger Takes the fun out using the GitHub API.
• [github] xgl Makes use of JSX to leverage WebGL.
• [github] xgl-server Image compositing for XGL.
• [github] fragmented Relates to URL hash fragments.

• [github] occam-open-cli Occam's package management tool.
• [github] occam-verify-cli Occam's verifier.
• [github] occam-furtle Occam's Furtle language.
• [github] occam-lexers Occam's lexers.
• [github] occam-parsers Occam's parsers.
• [github] occam-grammars Occam's grammars.
• [github] occam-query Occam's query functionality.
• [github] occam-dom Occam's DOM related functionality.
• [github] occam-custom-grammars Occam's custom grammars.
• [github] occam-grammar-utilities Occam's grammar utilities.
• [github] occam-directed-graphs Occam's directed graphs.
• [github] occam-file-system Occam's file system functionality.
• [github] occam-entities Occam's entities.
• [github] occam-styles Occam's colours, syntax schemes and common styles.
• [github] occam-unicode Occam's Unicode functionality.

Miscellany

• I have just created a page on Patreon mainly because I was worried that sooner or later someone else would squat it. I now also have an account on Mathstodon.
• Recently I wrote an appreciation of Robert Pirsig's 'Zen and the Art of Motorcycle Maintenance'. I also found an interview that took place shortly after the book was published.
• I have a channel on Twitch these days. I stream regularly on weekday evenings bar Fridays and occasionally on Sunday afternoons.
• Last year I compiled a companion to 'Advanced Problems in Core Mathematics' written by Dr Stephen Siklos.
• A while back a student came to me with the Monty Hall problem and we decided to solve it properly. It took a while but the result was a much clearer proof.
• Some years ago I did some work in rendering music notation. Some of the results were a lovely S-shaped slur, a cross-staff slur with its control points, some some vertically stacked accidentals and a cute little slur with lots of character.
• I used to organise the LogIC Seminar at Imperial and I keep the archives available.

Last updated 6th November 2025