Re: Thou shalt have no other gods before the ANSI C standard

From: David Wagner (daw_at_taverner.cs.berkeley.edu)
Date: 03/22/05 

Date: Tue, 22 Mar 2005 06:44:48 +0000 (UTC)

Hank Oredson wrote:
>With respect to buffer overflows we have seen both ideas
>at work in this thread. The science folks would like to drive
>formal solutions into the engineering discipline, and the
>crafts folks would like to drive known good solutions into
>the engineering discipine so they can be formalized and
>eventually used by scientists to drive new ideas back to
>engineering, wash, rinse, repeat.
[... many other interesting and thoughtful remarks deleted ...]
>I see this whole mega-thread as exploring the solution
>space to the problem of "How do we get from where
>we are to a more formalized computer science (craft,
>engineering, technology) understanding".

These strike me as insightful comments. I think you've captured
nicely many of the issues and perspectives coming together here.

One added challenge is that computer science is a young field, and is
changing very rapidly -- both in terms of new personnel, as well as in
technology and the requirements put upon it. How do we keep up with
technology change, and at the same time ensure that folks new to the
field learn from history?

Anyway, lots of stuff in Oredson's post to think about.

Relevant Pages

  • Re: Thou shalt have no other gods before the ANSI C standard
    ... The science folks would like to drive ... >>formal solutions into the engineering discipline, ... > technology change, and at the same time ensure that folks new to the ...
    (sci.crypt)
  • Re: Getting out of this world?
    ... Is there any real theory about such a force, ... point was the science ... it won't fly (the folks here can blast many holes ... Talking about writing and nonexistent readers helps naught ...
    (rec.arts.sf.science)
  • Re: Coherent exposition of OO?
    ... it is an engineering discipline. ... really existing *reality* that Mssr. ... falsity stands in direct contradistinction to science. ... that while led by theory yet verifies theory in actual ...
    (comp.object)
  • Re: On topic : bad poker tourney play.
    ... Those scientists that discredit anyone who disagrees ... (When you say "we" you are including folks that I ... credible science saying that this CO2> warming effect doesn't happen. ...
    (rec.gambling.poker)
  • Re: Train routine
    ... ways to figure this out is what is called science, ... research that needs to be done on strength training is getting done. ... Eventually the folks with the best arguments tend to win out. ... Perhaps the sports science is really backward compared to ...
    (misc.fitness.weights)