What next after Tiddly Formal Math?

The Tiddly Formal Math site presents 28 out of 60 IsarMathLib theories. It looks like the approach based on TiddlyWiki is close to the limits of its scalability. The page loads slowly, renders even slower and Firefox asks frequently if I really want this script to run as it appears to be hanging. In addition I noticed recently that some proofs don’t want to expand and I don’t feel up to the task of debugging the NestedSlidersPlugin internals. The TiddlyWiki approach was good as a proof of concept but putting 617 pages of IsarMathLib proof document in one HTML file is clearly not a good idea.

So what next? It seems that the next step is to render IsarMathLib theories directly to HTML, CSS and JavaScript. This will open up lots of interesting possibilities for the presentation, like highliting the assumption or labeled references when the  mouse hovers over a label. The only problem is that (I am a bit ashamed) I know next to nothing about HTML, CSS and JavaScript. Well, I guess that has to change. It seems that haXe is an interesting way to write JavaScript.

Advertisements

3 Responses to “What next after Tiddly Formal Math?”

  1. pdf23ds Says:

    I’ve done quite a bit of work on javascript applications and I’ve settled on Script#, by Nikhil Kothari, which compiles C# to javascript. It gives you a nice, static, way of developing, and provides a fairly complete library of javascript functions and the browser object model.

  2. slawekk Says:

    I’ve done quite a bit of work on javascript applications and I’ve settled on Script#

    Thanks, tt’s good to keep Script# in mind, it looks like a very advanced and comfortable tool. For me and what I need to do it’s a non-starter though: I don’t know C# and I don’t have Windows at home. Also the Script# license is not clear from the web page.
    HaXe on the other hand is free software packaged for Ubuntu and it’s trivial to learn. I have already replicated the dynamic aspects of Tiddly Formal Math IsarMathLib presentation in about 100 lines of haXe code.

  3. Chris Dent Says:

    If you have any interest in staying with the TiddlyWiki approach you might want to look into either ccTiddly or TiddlyWeb. Both provide a server to host the tiddler content and both are being extend to support what amounts to on-demand loading of tiddlers, so the TiddlyWiki doesn’t have to have everything in it at once.

    I’m the author of TiddlyWeb, you can find out more about it from my blog and links from there: http://cdent.tumblr.com/tagged/tiddlyweb

    What TiddlyWeb does, at core, is generate TiddlyWiki’s on the fly from rulesets that you can write yourself. Tiddlers are kept in bags and bags are aggregated and filtered into recipes. The server does very basic server side rendering of tiddler content if you want to view outside a tiddlywiki. It’s possible that rendering could be extended to do “math”.

    Presumably your theories break up into groupings. With TiddlyWeb you could have a bag which contains all the necessary plugins for the TiddlyWiki to work, and then several bags containing the different theories. Each group could then be displayed as a TiddlyWiki by a recipe which combines the plugin bag with a group bag.

    If you’re curious about this, feel free to email me or leave a comment on my blog.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s


%d bloggers like this: