The TLA+ Hyperbook(research.microsoft.com)

51 pointsby luuhá 11 anos7 comments

research.microsoft.com

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

3 comments

derefrhá 11 anos

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.

zyxleyhá 11 anos

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.

[deleted]há 11 anos

nmrm2há 11 anos

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

abhinavghá 11 anos

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

justicezyxhá 11 anos

mappuhá 11 anos

> 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?

zyxleyhá 11 anos

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.

mirimirhá 11 anos

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