From mboxrd@z Thu Jan 1 00:00:00 1970 From: Hubert Chathi Subject: Re: Leslie Lamport has a foot in the 21st century Date: Sun, 09 Oct 2016 10:26:01 -0400 Message-ID: <878ttxk39i.fsf@desiato.home.uhoreg.ca> References: <57F8B0F4.9090407@free.fr> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:52860) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1btF4F-0004xR-10 for emacs-orgmode@gnu.org; Sun, 09 Oct 2016 10:27:08 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1btF4A-0004uS-LY for emacs-orgmode@gnu.org; Sun, 09 Oct 2016 10:27:05 -0400 Received: from [195.159.176.226] (port=37838 helo=blaine.gmane.org) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1btF4A-0004tI-Eq for emacs-orgmode@gnu.org; Sun, 09 Oct 2016 10:27:02 -0400 Received: from list by blaine.gmane.org with local (Exim 4.84_2) (envelope-from ) id 1btF3g-0000Xi-Mi for emacs-orgmode@gnu.org; Sun, 09 Oct 2016 16:26:32 +0200 List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: "Emacs-orgmode" To: emacs-orgmode@gnu.org 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 ideal format arises, too. 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 Lamport is proposing. His system requires people to be able to expand and collapse things, which TeX is unable to handle. You might be able to fake it in TeX by using hyperlinks, but that might drive the PDF/dead tree readers crazy once they get a couple of levels deep in your proof, having to keep track of all the links that they had to follow. Not to mention, it would probably require a lot of TeX black magic to implement. It would require adding some new environments and/or commands to LaTeX, which the current LaTeX-to-HTML converters wouldn't be able to handle -- you'd need to implement those bits. So given that you'd need to create a bunch of new infrastructure, and TeX would basically just be dead weight, the question is: is it worth still using LaTeX, or is it better to start with something else entirely that's better suited to handle hierarchical proofs? BTW, Lamport has been talking about hierarchical proofs since the early 90's http://research.microsoft.com/en-us/um/people/lamport/pubs/lamport-how-to-write.pdf 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 -- Hubert Chathi - Email: hubert@uhoreg.ca - https://www.uhoreg.ca/ Jabber: hubert@uhoreg.ca - Matrix: @uhoreg:matrix.org PGP/GnuPG key: 4096R/113A1368 (Key available at pool.sks-keyservers.net) Fingerprint: F24C F749 6C73 DDB8 DCB8 72DE B2DE 88D3 113A 1368