The TLA+ Hyperbook

http://research.microsoft.com/en-us/um/people/lamport/tla/hyperbook.html

by luu • 11 years ago

51 7 11 years ago

research.microsoft.com

derefr• 11 years ago

Not to cast aspersions on either Lamport or the content of the work, but this "hyperbook" would be much more accessible to contributions as a Github repository, and much more accessible to readers as an ePub (or plain hypertext!) The approach here feels more like what you'd come up with to open-source a book's production in the 1980s.

nmrm2• 11 years ago

I'd assume the book has probably been in the works for a while.

abhinavg• 11 years ago

It has been around for a while, but I agree that hundreds of cross-linked PDFs is not the most accessible format.

zyxley2• 11 years ago

A single big HTML file with MathJax and judicious use of semantic tags seems to me like the way to go. Heck, maybe even all Markdown with a good Pandoc build script included.

mirimir• 11 years ago

I was expecting maybe some new revelation about the NSA ;)

mappu• 11 years ago

Other readers should also work, but it seems that Preview, the default pdf reader on the Mac, does not.

That's worrying. Is it common for a LaTeX-generated PDF to not work in this environment?

zyxley2• 11 years ago

When "this environment" includes a bajillion separate cross-linked PDFs and other weird stuff that PDFs are just plain not good at, I'm not surprised.

The TLA+ Hyperbook

Related Stories