Re: [O] Leslie Lamport has a foot in the 21st century

2017-11-11 Thread Adonay Felipe Nogueira
An interesting subject. On sidenote, I'm writing an introduction guide to writting documents in either Org mode or LaTeX, for writers, scientists and students ([1]). It's currently in Brazilian Portuguese, but of course I might translate it to English and also accept contributions. [1]

Re: [O] Leslie Lamport has a foot in the 21st century

2017-10-24 Thread Marcin Borkowski
On 2016-10-11, at 16:56, Hubert Chathi wrote: > I don't know much about LaTeX3, but it looks like it's still targeting > print, and so it would have the same problems. Not only that, but the > existing LaTeX-to-HTML tools might not work with LaTeX3, so if you're > getting rid

Re: [O] Leslie Lamport has a foot in the 21st century

2016-10-11 Thread Clément Pit--Claudel
On 2016-10-11 10:56, Hubert Chathi wrote: > I suspect that it will be a long time before hierarchical proofs gain > much popularity though, given that Lamport has been talking about them > since at least the 90's, and I haven't seen one "in the wild" yet. Depends how much you're willing to

Re: [O] Leslie Lamport has a foot in the 21st century

2016-10-11 Thread Hubert Chathi
On Sun, 09 Oct 2016 18:32:55 +0200, Marcin Borkowski said: > On 2016-10-09, at 16:26, Hubert Chathi wrote: >> It's not a matter of compiling to the right file format, but rather >> whether LaTeX is the right tool for the type of document structure >> that

Re: [O] Leslie Lamport has a foot in the 21st century

2016-10-09 Thread Thomas S. Dye
Hubert Chathi writes: > BTW, Grant, if you're interested in different types of scientific > communication, you may be interested in Bret Victor's work, e.g. > http://worrydream.com/#!/ScientificCommunicationAsSequentialArt Many thanks for this link to Victor's interesting work. His effective

Re: [O] Leslie Lamport has a foot in the 21st century

2016-10-09 Thread Marcin Borkowski
On 2016-10-09, at 16:26, Hubert Chathi wrote: > On Sat, 8 Oct 2016 10:50:09 -0500, Grant Rettke > said: > >> On Sat, Oct 8, 2016 at 3:40 AM, Thierry Banel wrote: >>> But... Is Leslie killing LaTex? > >> No. LaTeX is a

Re: [O] Leslie Lamport has a foot in the 21st century

2016-10-09 Thread Hubert Chathi
On Sat, 8 Oct 2016 10:50:09 -0500, Grant Rettke said: > On Sat, Oct 8, 2016 at 3:40 AM, Thierry Banel wrote: >> But... Is Leslie killing LaTex? > No. LaTeX is a markup/programming-language and it /could/ be compiled > directly to whatever new

Re: [O] Leslie Lamport has a foot in the 21st century

2016-10-08 Thread Thomas S. Dye
Grant Rettke writes: > On Sat, Oct 8, 2016 at 3:40 AM, Thierry Banel wrote: >> But... Is Leslie killing LaTex? > > No. LaTeX is a markup/programming-language and it /could/ be compiled > directly to whatever new ideal format arises, too. See http://tug.org/tex4ht/ which

Re: [O] Leslie Lamport has a foot in the 21st century

2016-10-08 Thread Grant Rettke
On Sat, Oct 8, 2016 at 3:40 AM, Thierry Banel wrote: > But... Is Leslie killing LaTex? No. LaTeX is a markup/programming-language and it /could/ be compiled directly to whatever new ideal format arises, too.

[O] Leslie Lamport has a foot in the 21st century

2016-10-08 Thread Thierry Banel
Last week I attended a lecture by Leslie Lamport, author of LaTex: "How to Write a 21st Century Proof". His answer: write in a structured, hierarchical way. At the deepest level lie obvious assertions on which the proof is built. The best medium, he said, is hypertext. Hypertext gives the ability