Welcome to rogerprice.org
ISO/IEC 15445:2000, also known as ISO-HTML, provides an International Standard for the
core of the HyperText Markup Language. Unless you are an SGML junkie and can
decipher such incomprehensible prose as The NAME attribute value
specification shall be processed as if the declared value were NAME
, then
I strongly recommend you read the User's Guide, which
will tell you everything that you can find in ISO-HTML, and explain what it
means.
I struggled with the documentation for ML-Lex and ML-Yacc included in
the SML/NJ distribution, and ended up merging that
documentation into my own notes to produce a "User's Guide to ML-Lex and
ML-Yacc". This contains a fully worked example, an index, and is GPLed.
- A PDF booklet, 69 pages plus index, 589
Kbytes. Typeset for A4 paper, but should be readable if printed on US letter.
- A PostScript booklet, 69 pages plus index,
823 Kbytes. Typeset for A4 paper, but should be readable if printed on US
letter.
For the brave, a PostScript booklet, 69
pages plus index, 853 Kbytes. Typeset for A4 paper in signatures of 3 sheets
with 12 pages per signature. This PostScript is to be printed recto-verso on
ISO A4 paper. You then have to peel off the signatures, 3 sheets (12 pages)
at a time, and fold the three sheets together with the consecutive page
numbers on the inside of the fold. Finally you have to bind the signatures
together to get an ISO A5 sized book. Hint: Practice on a few pages before
sending the whole file to the printer; it will save you a lot of ink.
- The source code tar ball including worked
examples, 1.4 Mbytes.
The latest version shows how to use "8-bit" ML-Lex with Unicode, and
includes a working example which parses a UTF-32 encoded file. The technique
may also be used with UTF-8, UTF-16 and other encodings.
If you find errors or omissions in the Guide, or find subjects that need a
more thorough discussion, send a note to < guide at rogerprice dot org >
and I will try to fix the problem.
Pint - a pi-calculus language and platform
Visit the site
I acted, with Vincent Oria, as Electronic Proceedings editor for the
ACM Multimedia 2001 conference. We attempted, as in the years 2000
and 1999, to produce proceedings which would be readable for 25 years.
To do this, we decided that all the pages had to conform to a DTD and
preferably to a strict DTD which separates content from style.
Experience shows that this was an ambitious objective: the quality of
the HTML submitted by the authors was very variable. Some of it,
often produced by hand, was either perfect, or a good approximation,
needing little further work by the editors. However far too much was,
like many of the pages on the World Wide Web, of very low quality indeed, often produced by
very broken tools such as Word. It was surprising to find multimedia
specialists who have little idea of the correct markup of a simple
text and image document.
All the papers we published in the electronic proceedings conform to
either the W3C's HTML 4 Strict DTD or the
ultra strict ISO-HTML. The style common to all
the papers is provided by a single CSS style sheet. The validation
was done using James Clark's remarkable SP.
Here are the 2001 electronic proceedings,
and the instructions to
authors
I also acted as Electronic Proceedings editor for the ACM Multimedia
1999 and 2000 conferences. Here are the 2000
electronic proceedings, and the 1999
electronic proceedings.
If you are curious, here are the electronic proceedings for ACM MM'98 and ACM
MM'97 prepared by my predecessors.
I see no need to pay dearly for something I don't want and would
never use, e.g. Microsoft Windows. So instead of buying yet another
PC with Windows preloaded, in 2007 I bought a bare metal PC
from Keynux who are located in
Sophia Antipolis, France. I got myself a C2DX with RAID 1, an nVidia
7600 graphics card and two iiyama ProLite E1700 screens. I currently
run openSuSE 11.0. I abandoned the BIOS RAID in favour of the
software RAID provided by GNU/Linux which is much more flexible and
consumes little extra computing power. The setup was originally
behind an MGE Ellipse 1500 UPS, which provided automatic shutdown if
the power went away for too long, and automatic restart when the power
came back.
The only problem I have had with this C2DX is that its automatic
restart when power returns no longer works, although the feature is
clearly enabled in the BIOS. This means that the machine can no
longer be used as an "always on" serveur.
Other than that, the Keynux PCs
appear to be high-end good quality custom built machines. When I
called Keynux, a human being, rather than a machine or a sales droid
answered. These days, that's good service. They seem to be aiming at
the top end of the market.
The C2DX is advertized as "quiet" and it is quiet. The fanless
nVidia 7600 in a room at 28C cools to 72C when idle and rises to 96C
when running glxgears permanently. The card will
run glxgears in the default window size at better than 5700
frames per second, until for some reason that I don't understand the
second cpu gets involved and the frame rate drops to 4000.
I also have two Keynux T3P5
desktop machines which are even quieter now that I have replaced the
power supplies with the Be Quiet!
"Pure
Power 300W" rated 80+. They run openSUSE 11.x. No trouble so far.
Other matters of importance
Une belle villa dans le forêt de Bagnols
Un petit hotel du type "bed and breakfast" à Vence
Proverb
Les chiens aboient, la caravane passe.
(Dogs bark, but the caravan rolls on.)
© Copyright 2005-2012 Roger Price < roger at rogerprice dot org >
In order to facilitate access from all browsers, now and in the future,
these pages conform to the International Standard ISO/IEC 15445 and the
corresponding W3C Recommendations. Last change:
Mon Jan 2 16:15:22 CET 2012
http://rogerprice.org