9fans - fans of the OS Plan 9 from Bell Labs
 help / color / mirror / Atom feed
From: James Chapman <james@cs.ioc.ee>
To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net>
Subject: Re: [9fans] TeX: hurrah!
Date: Fri, 16 Apr 2010 21:37:20 +0300	[thread overview]
Message-ID: <w2wb85d21141004161137g7f8b05f1q5212c31ae7e5fe55@mail.gmail.com> (raw)
In-Reply-To: <z2q2781f021004161122qe52e190flcc005715b149521a@mail.gmail.com>

This page and its links maybe be interesting for understanding the
relationship between latex and tex:

http://www.tug.org/levels.html

In my area of computer science all publications are written in latex
and for a particular conference/journal a latex class or style file (I
must admit to not really knowing what the difference is) is provided
and must be adhered to. Everybody I know also used texlive which seems
to be the standard tex distribution. It used to be tetex but this is
no longer maintained.

I would be great to be able to write on plan 9 and I'm very pleased to
see the porting effort for tex.

James

On Fri, Apr 16, 2010 at 9:22 PM, Joseph Stewart
<joseph.stewart@gmail.com> wrote:
> Sorry to be a grouch, but can we change this thread to OO instead of the
> advertised TeX:hurrah! thread?
> I'm interested in the TeX news, but not so interested in the OO/language
> debate that no doubt will go on for a while...
> Thanks!
> -joe
>
> On Fri, Apr 16, 2010 at 2:14 PM, Karljurgen Feuerherm <kfeuerherm@wlu.ca>
> wrote:
>>
>> Ok--so it's agreed that it's not OO that's the problem, it's the users,
>> then, who don't know which tool to use when. Not at all the same thing.
>>
>> And to be pedantic, since you give this example, the sun does revolve
>> around the earth, so long as you choose the earth as your point of
>> reference... Certain points of reference are to be preferred for certain
>> things, as you said. So OO or not, as appropriate.
>>
>> K
>>
>> >>> "Patrick Kelly" <kameo76890@gmail.com> 16/04/2010 1:55:50 pm >>>
>> I was just speaking generally.
>> One of my major programming languages is Ada, and I doubt anyone would say
>> that isn't big on provability. I've used objects a couple times, in places
>> where they do in fact help, but those cases are, in general, not read
>> properly. Using an object in the wrong place, which is most places, does
>> lead to worse code. For most people, using the wrong tool for the wrong job
>> is foolish, but for OOP lovers...
>>
>> The question isn't how do you prove it does reduce static provability, but
>> how do you prove it does not. I can cite mathematical proof that the sun
>> revolves around the earth, but we all know that's not true. That being said,
>> there are studies out there about using the wrong paradigm for the wrong
>> job, objects do come up.
>
>



  reply	other threads:[~2010-04-16 18:37 UTC|newest]

Thread overview: 105+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-04-16 11:57 tlaronde
2010-04-16 12:43 ` Jacob Todd
2010-04-16 13:20 ` David Leimbach
2010-04-16 13:32 ` Alexander Sychev
2010-04-16 13:47   ` tlaronde
2010-04-16 14:07   ` Karljurgen Feuerherm
2010-04-16 14:12     ` James Chapman
2010-04-16 14:27     ` Alexander Sychev
2010-04-16 16:19       ` Karljurgen Feuerherm
2010-04-16 16:23         ` erik quanstrom
2010-04-16 16:47         ` Patrick Kelly
2010-04-16 17:05           ` Jack Johnson
2010-04-16 17:55             ` Patrick Kelly
2010-04-16 18:14               ` Karljurgen Feuerherm
2010-04-16 18:22                 ` Joseph Stewart
2010-04-16 18:37                   ` James Chapman [this message]
2010-04-16 18:55                     ` Karljurgen Feuerherm
2010-04-16 22:10                       ` Karljurgen Feuerherm
2010-04-16 23:00                         ` Jorden M
2010-04-18  4:24                         ` Joel C. Salomon
2010-04-18  7:22                           ` [9fans] C++ support [was: TeX: hurrah!] EBo
2010-04-18  8:52                             ` lucio
2010-04-18 14:30                               ` Jorden M
2010-04-18 12:45                           ` [9fans] TeX: hurrah! Karljurgen Feuerherm
2010-04-19 12:31                             ` James Chapman
2010-04-19  8:34                           ` [9fans] C++ support [was: TeX: hurrah!] staalmannen
2010-04-16 18:27                 ` [9fans] TeX: hurrah! Patrick Kelly
2010-04-16 17:11           ` Karljurgen Feuerherm
2010-04-16 17:17             ` erik quanstrom
2010-04-16 17:46               ` Francisco J Ballesteros
2010-04-16 18:10                 ` tlaronde
2010-04-16 18:10             ` Patrick Kelly
2010-04-16 23:58               ` [9fans] Mars Needs Women (was Re: TeX: hurrah!) Corey
2010-04-16 23:58                 ` andrey mirtchovski
2010-04-17  4:20                 ` Federico G. Benavento
2010-04-17  4:29                 ` lucio
2010-04-17  6:49                   ` Corey
2010-04-17  7:41                     ` lucio
2010-04-17  9:39                       ` Corey
2010-04-17 12:20                         ` lucio
2010-04-17 13:46                           ` Karljurgen Feuerherm
2010-04-17 14:02                             ` lucio
2010-04-17 14:19                             ` Patrick Kelly
2010-04-17 14:25                               ` lucio
2010-04-17 14:54                                 ` Patrick Kelly
2010-04-17 16:09                                   ` lucio
2010-04-17 16:26                                     ` Patrick Kelly
2010-04-17 18:01                                       ` lucio
2010-04-17 18:26                                         ` Patrick Kelly
2010-04-19  7:15                                       ` Tim Newsham
2010-04-17 16:30                                 ` Patrick Kelly
2010-04-17 17:01                               ` Karljurgen Feuerherm
2010-04-17 17:46                                 ` lucio
2010-04-17 17:58                                   ` lucio
2010-04-17 18:33                                   ` Karljurgen Feuerherm
2010-04-17 17:29                               ` Albert Skye
2010-04-17 13:39                         ` Patrick Kelly
2010-04-17 17:45                         ` Albert Skye
2010-04-17 16:30                       ` Jack Johnson
2010-04-17 17:41                         ` lucio
2010-04-17 12:06                     ` Nick Frolov
2010-04-17 17:06                     ` Iruata Souza
2010-04-18 19:45                       ` Corey
2010-04-17 18:55                     ` Richard Miller
2010-04-18 16:48                       ` Federico G. Benavento
2010-04-19  2:10                         ` Jack Johnson
2010-04-19  3:21                           ` erik quanstrom
2010-04-17 17:09                   ` Jack Johnson
2010-04-17  7:28                 ` SHRIZZA
2010-04-17 10:21                   ` Corey
2010-04-17 14:00                     ` erik quanstrom
2010-04-18 19:26                       ` [9fans] Mars Needs Women Corey
2010-04-18 20:58                         ` erik quanstrom
2010-04-19  0:51                           ` Corey
2010-04-19  1:20                             ` Patrick Kelly
2010-04-19  3:33                             ` John Floren
2010-04-19  4:46                               ` lucio
2010-04-19  0:10                         ` Karljurgen Feuerherm
2010-04-19  3:18                           ` erik quanstrom
2010-04-19 12:14                             ` Karljurgen Feuerherm
2010-04-25  4:20                               ` Rahul Murmuria
2010-04-25  6:14                                 ` Corey
2010-04-25 15:22                                   ` Patrick Kelly
2010-04-25 22:33                                     ` Karljurgen Feuerherm
2010-04-25 23:07                                       ` Patrick Kelly
2010-04-25 23:35                                         ` Alex Lee
2010-04-26  2:04                                     ` [9fans] [PlanX] " Corey
2010-04-26  4:06                                       ` Patrick Kelly
2010-04-26  5:24                                         ` Corey
2010-04-26  8:08                                           ` hiro
2010-04-26 13:06                                       ` erik quanstrom
2010-04-26 18:42                                         ` Corey
2010-04-26 19:24                                           ` erik quanstrom
2010-04-26 19:55                                             ` Corey
2010-04-27  9:25                                           ` Ethan Grammatikidis
2010-04-25 18:55                                   ` [9fans] " blstuart
2010-04-26  1:01                                     ` Ethan Grammatikidis
2010-04-19  8:45                           ` [9fans] C, APE, Posix C H Forsyth
2010-04-17 19:27                 ` [9fans] Mars Needs Women (was Re: TeX: hurrah!) Bakul Shah
2010-04-17 21:35                   ` C H Forsyth
2010-04-18 15:52                     ` Scott Sullivan
2010-04-18 20:58                       ` C H Forsyth
2010-04-19  1:43                         ` Jeff Sickel
2010-04-18 18:24                     ` Bakul Shah
2010-04-16 18:03       ` [9fans] TeX: hurrah! Joel C. Salomon

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=w2wb85d21141004161137g7f8b05f1q5212c31ae7e5fe55@mail.gmail.com \
    --to=james@cs.ioc.ee \
    --cc=9fans@9fans.net \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).