Re: [tlaplus] Re: Do I need a supercomputer

[Nicholas Merriam <nicholas@xxxxxxxxxxxxx>]

" I was surprised by how effective even tiny models were at finding errors.  "

This cannot be emphasized enough. In your mind, you are thinking of a database with 10,000 records but, actually, a model with TWO records is sufficient to detect the error in your spec, for example. It takes a while for this to really sink in.

"... I'm curious how this pans out in practice"

There are no guarantees but mostly (nearly always) you can do real, practical work with tiny models.

Best regards,

Nick

On Tue, 12 Feb 2019 at 10:40, Andy Dwelly <andydwelly@xxxxxxxxx> wrote:

Thanks for the many thoughtful responses here to my query. I'll certainly be using the cloud to run any slightly larger specs. I'll just have to find another justification for building that supercomputer.

 

That said, I quite like the idea of having a good excuse for building my own supercomputer.

Andy Dwelly

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.