On 2 March 2010 10:18, John Zabroski <[email protected]> wrote:
> 1. I am simultaneously interested in open, reflective, dynamically
> distributed and dynamically federated systems
Nice way to put it. Welcome to the club!
> 3. "Flight Data Recorders" is a fancy way to say all software is a living
> system, and computer scientists suck at studying living systems, and
> programmers lack sufficient tools for repairing living systems
> 4. "Flight Data Recorders" biggest disadvantage is not mentioned: dealing
> with purity
No purity needed. See Omniscient Debugging...
http://www.lambdacs.com/debugger/
Note that the idea is old, and has been done in the 1980's in
"expert systems" that could "explain" their decisions.
ODB shows that the idea is applicable to JVM languages.
> 8. Compiler optimization vs. algorithms in general is a false dichotomy in a
> maximally open, maximally reflective system, and I'll claim anyone who
> thinks this dichotomy is real will not push themselves into an *extreme
> position* necessary to radically innovate
So you have the ambition of writing a SSC that can transform bogosort
into quicksort?
> Typed data access has never been a real problem,
Talk to the millions of people who've seen their credit card or other
data stolen because of a bug in a PHP site. http://xkcd.com/327/
> I'm going to conclude by saying the three stumbling blocks are size,
> complexity and trustworthiness. Paying attention to all of Todd P's "big
> problems" just puts your focus on solutions-oriented thinking, rather than
> fundamentals-oriented thinking.
>
Solutions are how you sell fundamentals.
[ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ]
No matter what language you use, a Sufficiently Smart Compiler(TM) will be
able to find an efficient implementation for whatever apparently difficult
problem you specify. However, a Sufficiently Smart Compiler(TM) for
arbitrary problems is itself an AI-complete problem.
_______________________________________________
fonc mailing list
[email protected]
http://vpri.org/mailman/listinfo/fonc
