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


Groups > comp.lang.forth > #31142

Re: MSP430-Stamp

From Bernd Paysan <bernd.paysan@gmx.de>
Newsgroups comp.lang.forth
Subject Re: MSP430-Stamp
Date 2014-06-01 21:17 +0200
Organization 1&1 Internet AG
Message-ID <lmfu8n$95f$1@online.de> (permalink)
References (2 earlier) <lmah44$75m$1@dont-email.me> <878620c5-46af-4827-81c4-d45bf9862709@googlegroups.com> <7xbnudsz5m.fsf@ruckus.brouhaha.com> <lmdos0$gl9$1@online.de> <7x4n05gtt7.fsf@ruckus.brouhaha.com>

Show all headers | View raw


Paul Rubin wrote:

> Bernd Paysan <bernd.paysan@gmx.de> writes:
>>>  OpenSSL Heartbleed bug, for example...
>> The amount of bugs in a reviewed and "debugged" code-base is roughly the
>> same per kLoC; the difference between a good one (like the Linux kernel)
>> and a bad one isn't that high.
> 
> What?  No I don't believe that--for example TeX has had very few bugs
> reported in its entire history, while Linux has had hundreds.

TeX is an awfully small program by modern standards.  "TeX the program" is a 
book with a few hundred pages, of which a considerable amount are comments, 
not the actual code.  It is just several thousand LoCs.  Linux has more than 
10 million LoCs.  You would expect it to have three orders of magnitude more 
bugs than TeX.  And indeed, it does.

The big pile of LaTeX extensions have a lot more bugs than TeX, the program.

> And only
> code written in unsafe languages like C or Forth can have bugs with
> consequences like Heartbleed.  If OpenSSL were written in Java (to pick
> an obnoxious example on purpose, as I hate Java) then the Heartbleed bug
> (out of range subscript) might have made it into the codebase and even
> been deployed, but triggering it would have resulted in a runtime
> exception, nothing like key exposure.

People have analyzed security relevant programs in different programming 
languages, and the number of security problems per amount of code was about 
equal.  Java Programmers make different mistakes.

>> OpenSSL is a big heap of code. ...  The LibreSSL is going to throw out
>> vast amounts of stuff
> 
> Sure, that will help, but throwing out half the code reduces the
> exposure by just 2x.  It won't surprise me if there's two or more awful
> bugs still undetected in OpenSSL.  Therefore eliminating half of the
> code probably still leaves at least one such bug.

Yes, it still is way too big... I hope they don't stop at throwing out half 
of the code.

> Meh, that's possible to some extent in most any language, but it takes a
> lot of careful refactoring even in Forth, and people usually want to
> just slam out code.

These people fortunately don't use Forth.  If you just slam out bad code in 
huge quantities, you get awful results.

>> This is then still two orders of magnitude more than net2o.
> 
> In the real world you have to interoperate with the stuff that's out
> there.

No, the stuff out there doesn't work and needs to be replaced, for god's 
sake!  In the real world, you have people and machines who communicate, and 
apps who had no compatibility whatsoever with existing protocols like 
WhatsApp did have 100 million customers after a few years.

This assumption that you have to stick with the heapload of shit that's out 
there has been proven wrong quite often.  You have situations where you need 
interoperability, and you have situations where you don't need that.

> Otherwise we'd all throw out existing natural languages and all
> speak Esperanto or something.

The main difference is that natural languages are spoken by men, and 
protocols are spoken by computers.  And all it needs to get a computer to 
understand another protocol is to install a program.

If you would be able to speak Esperanto or some other artificial or natural 
lingua franca (e.g. Mandarin to be able to talk to 1.5 billion people) after 
the 10 seconds it takes to download an app, you certainly would do it.

The world outside I need to bother about is that I must pass through the 
routers that constitute the current Internet.  I use UDP for that.  That is 
a reality I can't ignore; though, of course, net2o as specified works fine 
without underlying layer 2 and 3 protocols.

> SSL is complicated and crufty and is a
> feature/misfeature of the reality that is out there and can't be
> ignored.

It is broken in so many ways that we have to replace it.  It can't be fixed 
from within, the spec is already broken beyond repair (things like the CA 
system), and the glacial speed it has had in the past to improve known spec 
bugs (like adaption of TLS 1.2 to over TLS 1.0 and SSL3) shows that there's 
no hope to fix SSL by removing the stupid ideas and adding new good ones, 
and then hoping that Microsoft will implement that in a timely manner.

This won't happen.

>> And net2o doesn't just replace OpenSSL, it also replaces DNSSEC, and
>> is going to replace PGP as well.
> 
> It's certainly true that those things could be replaced with smaller
> programs.  Whether net2o can do all that and stay in the low-kloc range
> remains to be seen, as well as whether it gets traction.  It will be
> great if it does of course.  Don't forgot the requirement that it
> perform comparably to OpenSSL, since people really do care about that.

It performs far better.  I know that performance is important, I've been 
shouted at (well, by e-mail ;-) by competing projects who also reinvent the 
Internet, and who have much worse performance, that I'm "obsessed by 
performance."

I wouldn't even considder something with the performance of OpenSSL to be a 
contender.  The competition is unencrypted communication, which is still 
used by a lot of people.  I have to make sure that it competes with that 
(and where possible, like with the TCP flow control, I'm better - you can't 
do better than filling all available bandwidth, but you can do better by 
filling the available bandwidth faster, and be fairer to competing 
connections).

>> The heartbleed bug is possible with Forth, too.  The question is:
>> Would a Forth programmer write such a protocol extension that only
>> makes sense in an UDP-based protocol while SSL is TCP-based?  Quite
>> likely not.
> 
> It was for DTLS which is UDP-based, i.e. DTLS extended SSL to handle
> both TCP and UDP.  I don't see that as having been inherently misguided
> at first glance, though obviously it hit a bad implementation snag.

Other people had quite different oppinions.

> I don't find tinkering or debugging in Forth to be especially easier
> than in Python, Lisp, or Erlang; and in those languages it's still quite
> easy for bugs to get through.

Yes, these programming languages are all interactive.  If you cherry-pick 
languages that have similar features as Forth on a particular topic, you 
will get similar results.

> The bugs of course usually manifest as
> non-catastrophic runtime exceptions,

Why do people always think that a runtime exception is non-catastrophic?  
The famous Ariane 5 debacle was caused by "non-catastrophic runtime 
exceptions".  A runtime exception which stops the usual flow, and which 
isn't properly handled, can be catastrophic for a secure network protocol.  
An unexpected runtime exception quite likely won't be properly handled.

> a big improvement over what happens
> in C.  The Haskell QuickCheck tool (basically an automatic fuzz tester)
> has been ported to Erlang and people who have used it report good
> results, compared to ad hoc interactive testing.

Fuzz testers have their place, but the usually way to go is that you first 
have to make your program *work* at all.  That phase requires injecting 
known good data, and observing what happens.  Maybe the boilerplate fillers 
don't like doing this with interactive testing, i.e. a "test first" 
strategy, where you write a test which you can't run, because the program 
under test hasn't been written yet.

> The thing is, with big programs, it's easy to make a small local change
> that passes very thorough local testing, but ends up breaking something
> in a remote part of the program.  So you need extensive static checks
> (enforced encapsulation counts as a form of static check) and/or large
> automatic test suites that exercise all of the code.

No, the thing you really need first is that you don't end up with a big 
program.

-- 
Bernd Paysan
"If you want it done right, you have to do it yourself"
http://bernd-paysan.de/

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


Thread

MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-05-29 21:35 -0400
  Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-05-29 19:09 -0700
    Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-05-29 19:13 -0700
      Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-05-29 23:00 -0400
        Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-05-29 20:25 -0700
      Re: MSP430-Stamp visualforth@rocketmail.com - 2014-05-29 20:23 -0700
        Re: MSP430-Stamp visualforth@rocketmail.com - 2014-05-29 22:15 -0700
        Re: MSP430-Stamp HaveANiceDay <HaveANiceDay@NoSpam.invalid> - 2014-05-30 15:13 +0200
          Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-05-30 13:51 -0400
            Re: MSP430-Stamp HaveANiceDay <HaveANiceDay@NoSpam.invalid> - 2014-05-30 21:08 +0200
          Re: MSP430-Stamp visualforth@rocketmail.com - 2014-05-30 12:22 -0700
            Re: MSP430-Stamp HaveANiceDay <HaveANiceDay@NoSpam.invalid> - 2014-05-30 21:41 +0200
              Re: MSP430-Stamp visualforth@rocketmail.com - 2014-05-30 13:28 -0700
                Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-05-30 17:55 -0400
            Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-05-30 16:29 -0400
              Re: MSP430-Stamp visualforth@rocketmail.com - 2014-05-30 14:18 -0700
                Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-05-30 18:07 -0400
                Re: MSP430-Stamp visualforth@rocketmail.com - 2014-05-30 17:24 -0700
      Re: MSP430-Stamp Matthias Koch <matthias.koch@hot.uni-hannover.de> - 2014-06-02 11:10 +0200
        Re: MSP430-Stamp albert@spenarnc.xs4all.nl (Albert van der Horst) - 2014-06-02 10:57 +0000
          Re: MSP430-Stamp Matthias Koch <matthias.koch@hot.uni-hannover.de> - 2014-06-02 13:34 +0200
    Re: MSP430-Stamp visualforth@rocketmail.com - 2014-05-29 20:10 -0700
      Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-05-29 20:29 -0700
        Re: MSP430-Stamp visualforth@rocketmail.com - 2014-05-29 21:02 -0700
    Re: MSP430-Stamp "Rod Pemberton" <dont_use_email@xnothavet.cqm> - 2014-05-30 04:05 -0400
    Re: MSP430-Stamp HaveANiceDay <HaveANiceDay@NoSpam.invalid> - 2014-05-30 15:13 +0200
  Re: MSP430-Stamp visualforth@rocketmail.com - 2014-05-29 19:57 -0700
    Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-05-29 23:32 -0400
      Re: MSP430-Stamp visualforth@rocketmail.com - 2014-05-29 21:07 -0700
  Re: MSP430-Stamp Mark Wills <markwills1970@gmail.com> - 2014-05-30 02:39 -0700
    Re: MSP430-Stamp visualforth@rocketmail.com - 2014-07-17 12:40 -0700
      Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-07-17 16:08 -0400
      Re: MSP430-Stamp Bernd Paysan <bernd.paysan@gmx.de> - 2014-07-18 00:06 +0200
        Re: MSP430-Stamp visualforth@rocketmail.com - 2014-07-18 08:22 -0700
          Re: MSP430-Stamp Bernd Paysan <bernd.paysan@gmx.de> - 2014-07-18 23:42 +0200
            Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-07-18 18:28 -0400
              Re: MSP430-Stamp Bernd Paysan <bernd.paysan@gmx.de> - 2014-07-19 01:41 +0200
                Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-07-18 19:48 -0400
                Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-07-18 16:59 -0700
                Re: MSP430-Stamp Bernd Paysan <bernd.paysan@gmx.de> - 2014-07-19 14:30 +0200
                Re: MSP430-Stamp Gary Bergstrom <forthprgrmr@gmail.com> - 2014-07-19 08:23 -0700
                Re: MSP430-Stamp Matthias Koch <matthias.koch@hot.uni-hannover.de> - 2014-07-21 10:42 +0200
  Re: MSP430-Stamp Mark Wills <markwills1970@gmail.com> - 2014-05-30 03:03 -0700
    Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-05-31 07:47 -0700
      Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-05-31 11:36 -0400
        Re: MSP430-Stamp visualforth@rocketmail.com - 2014-05-31 09:34 -0700
          Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-05-31 10:09 -0700
            Re: MSP430-Stamp visualforth@rocketmail.com - 2014-05-31 10:52 -0700
          Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-01 01:28 -0400
            Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-05-31 22:41 -0700
              Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-01 02:00 -0400
                Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-05-31 23:07 -0700
                Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-01 03:13 -0400
                Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-06-01 07:15 -0700
                Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-01 12:33 -0400
                Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-06-01 09:45 -0700
                Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-01 13:10 -0400
                Re: MSP430-Stamp HaveANiceDay <HaveANiceDay@NoSpam.invalid> - 2014-06-01 18:38 +0200
                Re: MSP430-Stamp babruehl@gmail.com - 2014-06-01 11:40 -0700
            Re: MSP430-Stamp HaveANiceDay <HaveANiceDay@NoSpam.invalid> - 2014-06-01 11:13 +0200
              Re: MSP430-Stamp albert@spenarnc.xs4all.nl (Albert van der Horst) - 2014-06-01 09:50 +0000
                Re: MSP430-Stamp HaveANiceDay <HaveANiceDay@NoSpam.invalid> - 2014-06-01 12:47 +0200
                Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-06-01 04:05 -0700
              Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-01 12:39 -0400
                Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-06-01 10:00 -0700
                Re: MSP430-Stamp babruehl@gmail.com - 2014-06-01 11:45 -0700
                Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-01 14:57 -0400
            Re: MSP430-Stamp "VisualForth.com" <babruehl@gmail.com> - 2014-06-01 12:01 -0700
              Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-01 15:12 -0400
  Re: MSP430-Stamp Mark Wills <markwills1970@gmail.com> - 2014-05-30 03:12 -0700
    Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-05-30 14:02 -0400
      Re: MSP430-Stamp Mark Wills <markwills1970@gmail.com> - 2014-05-31 03:33 -0700
        Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-05-31 07:19 -0700
        Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-05-31 12:01 -0400
        Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-05-31 09:15 -0700
          Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-05-31 13:51 -0700
            Re: MSP430-Stamp Mark Wills <markwills1970@gmail.com> - 2014-05-31 14:20 -0700
              Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-05-31 14:51 -0700
              Re: MSP430-Stamp "VisualForth.com" <babruehl@gmail.com> - 2014-05-31 16:22 -0700
          Re: MSP430-Stamp Bernd Paysan <bernd.paysan@gmx.de> - 2014-06-01 01:33 +0200
            Re: MSP430-Stamp "Elizabeth D. Rather" <erather@forth.com> - 2014-05-31 17:31 -1000
              Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-05-31 21:48 -0700
                Re: MSP430-Stamp "Elizabeth D. Rather" <erather@forth.com> - 2014-05-31 19:12 -1000
                Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-05-31 22:25 -0700
                Re: MSP430-Stamp stephenXXX@mpeforth.com (Stephen Pelc) - 2014-06-01 09:45 +0000
                Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-06-01 04:16 -0700
                Re: MSP430-Stamp "Elizabeth D. Rather" <erather@forth.com> - 2014-06-01 08:51 -1000
            Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-05-31 21:03 -0700
              Re: MSP430-Stamp Bernd Paysan <bernd.paysan@gmx.de> - 2014-06-01 21:17 +0200
                Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-06-04 22:46 -0700
                Re: MSP430-Stamp albert@spenarnc.xs4all.nl (Albert van der Horst) - 2014-06-05 13:27 +0000
                Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-06-05 08:39 -0700
                Re: MSP430-Stamp albert@spenarnc.xs4all.nl (Albert van der Horst) - 2014-06-05 16:10 +0000
                Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-06-05 11:10 -0700
                Re: MSP430-Stamp albert@spenarnc.xs4all.nl (Albert van der Horst) - 2014-06-05 19:52 +0000
                Re: MSP430-Stamp Bernd Paysan <bernd.paysan@gmx.de> - 2014-06-05 23:25 +0200
                Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-06-05 15:02 -0700
                Re: MSP430-Stamp albert@spenarnc.xs4all.nl (Albert van der Horst) - 2014-06-06 10:56 +0000
                Correct Software and Specifications (was Re: MSP430-Stamp) Paul E Bennett <Paul_E.Bennett@topmail.co.uk> - 2014-06-09 09:59 +0100
                Re: MSP430-Stamp mhx@iae.nl - 2014-06-05 14:30 -0700
                Re: MSP430-Stamp albert@spenarnc.xs4all.nl (Albert van der Horst) - 2014-06-06 10:59 +0000
                Re: MSP430-Stamp Bernd Paysan <bernd.paysan@gmx.de> - 2014-06-05 15:57 +0200
                Formal specifications etc. (was: MSP430-Stamp) anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2014-06-05 15:34 +0000
                Re: Formal specifications etc. Paul Rubin <no.email@nospam.invalid> - 2014-06-05 11:48 -0700
                Re: Formal specifications etc. anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2014-06-05 19:46 +0000
                Re: Formal specifications etc. (was: MSP430-Stamp) Bernd Paysan <bernd.paysan@gmx.de> - 2014-06-05 23:02 +0200
                Re: Formal specifications etc. Paul Rubin <no.email@nospam.invalid> - 2014-06-05 14:15 -0700
                Re: Formal specifications etc. rickman <gnuarm@gmail.com> - 2014-06-05 17:33 -0400
                Re: Formal specifications etc. Paul Rubin <no.email@nospam.invalid> - 2014-06-05 15:32 -0700
                Re: Formal specifications etc. Andrew Haley <andrew29@littlepinkcloud.invalid> - 2014-06-06 04:00 -0500
                Re: Formal specifications etc. (was: MSP430-Stamp) albert@spenarnc.xs4all.nl (Albert van der Horst) - 2014-06-06 11:05 +0000
                Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-06-05 11:01 -0700
                Re: MSP430-Stamp Bernd Paysan <bernd.paysan@gmx.de> - 2014-06-06 01:09 +0200
                Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-05 22:01 -0400
        Re: MSP430-Stamp stephenXXX@mpeforth.com (Stephen Pelc) - 2014-05-31 16:47 +0000
    Re: MSP430-Stamp visualforth@rocketmail.com - 2014-05-30 12:11 -0700
    Re: MSP430-Stamp Matthias Koch <matthias.koch@hot.uni-hannover.de> - 2014-06-06 12:54 +0200
  Re: MSP430-Stamp Matthias Koch <matthias.koch@hot.uni-hannover.de> - 2014-06-02 11:39 +0200
    Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-02 12:15 -0400
      Re: MSP430-Stamp Matthias Koch <matthias.koch@hot.uni-hannover.de> - 2014-06-03 10:26 +0200
        Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-03 12:18 -0400
    Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-06-02 10:04 -0700
      Re: MSP430-Stamp Matthias Koch <matthias.koch@hot.uni-hannover.de> - 2014-06-03 11:51 +0200
        Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-03 13:33 -0400
          Re: MSP430-Stamp Matthias Koch <matthias.koch@hot.uni-hannover.de> - 2014-06-06 13:02 +0200
            Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-06 17:31 -0400
              Re: MSP430-Stamp "Elizabeth D. Rather" <erather@forth.com> - 2014-06-06 16:30 -1000
                Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-06 22:52 -0400
                Re: MSP430-Stamp albert@spenarnc.xs4all.nl (Albert van der Horst) - 2014-06-07 11:58 +0000
              Re: MSP430-Stamp visualforth@rocketmail.com - 2014-06-07 11:40 -0700
                Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-07 20:01 -0400
                Re: MSP430-Stamp visualforth@rocketmail.com - 2014-06-08 16:05 -0700
                Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-08 22:28 -0400
                Re: MSP430-Stamp Gary Bergstrom <forthprgrmr@gmail.com> - 2014-06-08 20:36 -0700
                Re: MSP430-Stamp visualforth@rocketmail.com - 2014-06-08 21:38 -0700
                Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-09 14:36 -0400
                Re: MSP430-Stamp Mark Wills <markwills1970@gmail.com> - 2014-06-09 02:45 -0700
                Re: MSP430-Stamp Mark Wills <markwills1970@gmail.com> - 2014-06-09 03:18 -0700
                Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-09 15:57 -0400
                Re: MSP430-Stamp visualforth@rocketmail.com - 2014-06-08 16:20 -0700
        Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-06-03 20:42 -0700
          Re: MSP430-Stamp visualforth@rocketmail.com - 2014-06-03 21:05 -0700
            Re: MSP430-Stamp albert@spenarnc.xs4all.nl (Albert van der Horst) - 2014-06-04 10:43 +0000
        Re: MSP430-Stamp visualforth@rocketmail.com - 2014-06-03 21:28 -0700
        Re: MSP430-Stamp "VisualForth.com" <babruehl@gmail.com> - 2014-06-03 22:43 -0700
          Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-06-03 23:31 -0700
            Re: MSP430-Stamp "VisualForth.com" <babruehl@gmail.com> - 2014-06-04 04:13 -0700
    Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-06-03 01:41 -0700
      Re: MSP430-Stamp Paul Rubin <no.email@nospam.invalid> - 2014-06-03 01:51 -0700
        Re: MSP430-Stamp Mark Wills <markwills1970@gmail.com> - 2014-06-03 16:19 +0100
          Re: MSP430-Stamp visualforth@rocketmail.com - 2014-06-03 09:14 -0700
          Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-03 13:19 -0400
            Re: MSP430-Stamp "Elizabeth D. Rather" <erather@forth.com> - 2014-06-03 07:43 -1000
              Re: MSP430-Stamp visualforth@rocketmail.com - 2014-06-03 20:56 -0700
                Re: MSP430-Stamp albert@spenarnc.xs4all.nl (Albert van der Horst) - 2014-06-04 10:51 +0000
                Re: MSP430-Stamp VisualForth <babruehl@gmail.com> - 2014-06-04 04:06 -0700
  Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-06 21:26 -0400
    Re: MSP430-Stamp "VisualForth.com" <babruehl@gmail.com> - 2014-06-06 20:40 -0700
      Re: MSP430-Stamp Mark Wills <markwills1970@gmail.com> - 2014-06-07 03:18 -0700
  Re: MSP430-Stamp Mark Wills <markwills1970@gmail.com> - 2014-06-07 04:35 -0700
    Re: MSP430-Stamp visualforth@rocketmail.com - 2014-06-07 12:01 -0700
      Re: MSP430-Stamp Mark Wills <markwills1970@gmail.com> - 2014-06-09 03:47 -0700
        Re: MSP430-Stamp Mikael Nordman <oh2aun@gmail.com> - 2014-06-09 09:28 -0700
          Re: MSP430-Stamp Mark Wills <markwills1970@gmail.com> - 2014-06-11 07:35 -0700
            Re: MSP430-Stamp visualforth@rocketmail.com - 2014-06-11 10:43 -0700
              Re: MSP430-Stamp Mark Wills <markwills1970@gmail.com> - 2014-06-11 15:52 -0700
                Re: MSP430-Stamp Coos Haak <chforth@hccnet.nl> - 2014-06-12 02:06 +0200
                Re: MSP430-Stamp "Elizabeth D. Rather" <erather@forth.com> - 2014-06-11 15:13 -1000
                Re: MSP430-Stamp Mark Wills <markwills1970@gmail.com> - 2014-06-12 02:16 -0700
            Re: MSP430-Stamp Mikael Nordman <oh2aun@gmail.com> - 2014-06-11 12:56 -0700
        Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-09 16:46 -0400
      Re: MSP430-Stamp Mark Wills <markwills1970@gmail.com> - 2014-06-09 03:49 -0700
        Re: MSP430-Stamp visualforth@rocketmail.com - 2014-06-09 09:47 -0700
    Re: MSP430-Stamp Rikard Lang <rikard.lang@gmail.com> - 2014-06-09 23:16 +0200
      Re: MSP430-Stamp visualforth@rocketmail.com - 2014-06-10 07:48 -0700
        Re: MSP430-Stamp Mark Wills <markwills1970@gmail.com> - 2014-06-11 07:23 -0700
          Re: MSP430-Stamp David Schultz <abuse@127.0.0.1> - 2014-06-11 18:00 -0500
            Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-12 02:14 -0400
              Re: MSP430-Stamp Mark Wills <markwills1970@gmail.com> - 2014-06-12 02:13 -0700
                Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-12 13:04 -0400
                Re: MSP430-Stamp David Schultz <abuse@127.0.0.1> - 2014-06-12 18:06 -0500
                Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-12 19:29 -0400
                Re: MSP430-Stamp David Schultz <abuse@127.0.0.1> - 2014-06-13 18:48 -0500
      Re: MSP430-Stamp Mark Wills <markwills1970@gmail.com> - 2014-06-11 07:26 -0700
        Re: MSP430-Stamp visualforth@rocketmail.com - 2014-06-11 10:45 -0700
  Re: MSP430-Stamp JUERGEN <epldfpga@aol.com> - 2014-06-13 00:03 -0700
    Re: MSP430-Stamp Matthias Koch <matthias.koch@hot.uni-hannover.de> - 2014-06-18 11:11 +0200
      Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-06-18 05:27 -0400
        Re: MSP430-Stamp Matthias Koch <matthias.koch@hot.uni-hannover.de> - 2014-06-18 12:29 +0200
          Re: MSP430-Stamp rickman <gnuarm@gmail.com> - 2014-07-17 16:09 -0400

csiph-web