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]
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
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
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
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
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
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
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
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.
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
10 matches
Mail list logo