Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.java.programmer > #36637

Re: Javascript replacing Java?

From Arne Vajhøj <arne@vajhoej.dk>
Newsgroups comp.lang.java.programmer
Subject Re: Javascript replacing Java?
Date 2017-05-16 19:17 -0400
Organization Aioe.org NNTP Server
Message-ID <ofg19j$5s4$2@gioia.aioe.org> (permalink)
References (7 earlier) <ofasrs$1qd6$1@gioia.aioe.org> <ofc4v0$tro$1@dont-email.me> <7809fddb-21ff-43ca-9332-3feec8e21eba@googlegroups.com> <ofeqvl$kjj$1@dont-email.me> <off36n$jce$1@dont-email.me>

Show all headers | View raw

On 5/16/2017 10:46 AM, Eric Sosman wrote:
> On 5/16/2017 8:23 AM, Martin Gregorie wrote:
>> Its rather difficult to stick bookmarks in a PDF or to see more than half
>> a book page of text at a time. Dead tree books don't have either of these
>> failings. They also work during power cuts, in wifi notspots and in
>> Faraday cages.
>
>     You can also scribble truly marvelous proofs in the margins,
> if they're not too narrow.

Fine.

But don't write that you have found a proof without
writing the actual proof down.

:-)

Arne

Back to comp.lang.java.programmer | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Javascript replacing Java? Eric Douglas <e.d.programmer@gmail.com> - 2017-05-03 07:24 -0700
  Re: Javascript replacing Java? Arne Vajhøj <arne@vajhoej.dk> - 2017-05-03 10:51 -0400
    Re: Javascript replacing Java? Richard Maher <maher_rjSPAMLESS@hotmail.com> - 2017-05-04 05:52 +0800
      Re: Javascript replacing Java? Arne Vajhøj <arne@vajhoej.dk> - 2017-05-03 23:14 -0400
        Re: Javascript replacing Java? a.laforgia@gmail.com - 2017-05-05 14:44 -0700
          Re: Javascript replacing Java? Arne Vajhøj <arne@vajhoej.dk> - 2017-05-05 22:28 -0400
            Re: Javascript replacing Java? Martin Gregorie <martin@address-in-sig.invalid> - 2017-05-06 13:25 +0000
              Re: Javascript replacing Java? Eric Douglas <e.d.programmer@gmail.com> - 2017-05-08 05:14 -0700
                Re: Javascript replacing Java? Martin Gregorie <martin@address-in-sig.invalid> - 2017-05-08 17:58 +0000
                Re: Javascript replacing Java? Eric Douglas <e.d.programmer@gmail.com> - 2017-05-08 13:12 -0700
                Re: Javascript replacing Java? Martin Gregorie <martin@address-in-sig.invalid> - 2017-05-08 22:23 +0000
            Re: Javascript replacing Java? a.laforgia@gmail.com - 2017-05-09 13:41 -0700
              Re: Javascript replacing Java? Arne Vajhøj <arne@vajhoej.dk> - 2017-05-14 20:30 -0400
                Re: Javascript replacing Java? Martin Gregorie <martin@address-in-sig.invalid> - 2017-05-15 11:55 +0000
                Re: Javascript replacing Java? a.laforgia@gmail.com - 2017-05-15 10:46 -0700
                Re: Javascript replacing Java? Martin Gregorie <martin@address-in-sig.invalid> - 2017-05-15 19:49 +0000
                Re: Javascript replacing Java? Arne Vajhøj <arne@vajhoej.dk> - 2017-05-15 19:08 -0400
                Re: Javascript replacing Java? Martin Gregorie <martin@address-in-sig.invalid> - 2017-05-16 10:43 +0000
                Re: Javascript replacing Java? Arne Vajhøj <arne@vajhoej.dk> - 2017-05-16 19:14 -0400
                Re: Javascript replacing Java? Martin Gregorie <martin@address-in-sig.invalid> - 2017-05-17 00:13 +0000
                Re: Javascript replacing Java? Eric Douglas <e.d.programmer@gmail.com> - 2017-05-16 04:58 -0700
                Re: Javascript replacing Java? Martin Gregorie <martin@address-in-sig.invalid> - 2017-05-16 12:23 +0000
                Re: Javascript replacing Java? Eric Sosman <esosman@comcast-dot-net.invalid> - 2017-05-16 10:46 -0400
                Re: Javascript replacing Java? Arne Vajhøj <arne@vajhoej.dk> - 2017-05-16 19:17 -0400
                Re: Javascript replacing Java? Gene Wirchenko <genew@telus.net> - 2017-05-22 18:17 -0700
                Re: Javascript replacing Java? Eric Douglas <e.d.programmer@gmail.com> - 2017-05-16 07:51 -0700
                Re: Javascript replacing Java? a.laforgia@gmail.com - 2017-05-15 10:44 -0700
                Re: Javascript replacing Java? Joshua Cranmer 🐧 <Pidgeot18@verizon.invalid> - 2017-05-15 15:07 -0500
                Re: Javascript replacing Java? lewbloch@gmail.com - 2017-05-15 13:30 -0700

csiph-web