From: "Karljurgen Feuerherm" <kfeuerherm@wlu.ca>
To: "Fans of the OS Plan 9 from Bell Labs" <9fans@9fans.net>
Subject: Re: [9fans] TeX: hurrah!
Date: Fri, 16 Apr 2010 14:55:00 -0400 [thread overview]
Message-ID: <4BC87A44020000CC00026B30@wlgw07.wlu.ca> (raw)
In-Reply-To: <w2wb85d21141004161137g7f8b05f1q5212c31ae7e5fe55@mail.gmail.com>
[-- Attachment #1: Type: text/plain, Size: 2565 bytes --]
Thanks for this.
And yes, indeed, a step in the right direction!
Best
K
>>> James Chapman <james@cs.ioc.ee> 16/04/2010 2:37:20 pm >>>
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.
>
>
[-- Attachment #2: HTML --]
[-- Type: text/html, Size: 3435 bytes --]
next prev parent reply other threads:[~2010-04-16 18:55 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
2010-04-16 18:55 ` Karljurgen Feuerherm [this message]
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=4BC87A44020000CC00026B30@wlgw07.wlu.ca \
--to=kfeuerherm@wlu.ca \
--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).