This blog is related to Ecodreamer. I communicate with Mike Iltis frequently.

Unlike Ecodreamer, this site is not a coop. It contains work done at my own expense using tools developed under my own money and time and using my own computer and connection. However much/some of the work here (this blog) can be credited to Mike Iltis and Ecodreamer.

Work that I do that uses the Ecodreamer server is found at the George Schils Ecodreamer site.

For any other questions, see George Schils.

• A search of recent headlines (the last few days up until 9 a.m. on Oct. 15) on automated theorem proving produces many results.

Michael Iltis is a reference for much of the contained content. Much of it is based in personal correspondence: discussion and email. Mike explains theorems, gives references, specifies high level strategies, and serves as a quasi-consultant, mentor, and motivator for much of the work pertaining to advanced computer science, mathematics, statistics, and other things.

These links need to be cut and pasted elsewhere.

Drudge Report.

I want to process the output from rss feeds to produce reports that can be helpful for many purposes, including Ecodreamer. I have been working on this quite a bit. The solution outlined below is reasonable for obtaining nice reports of rss news items. The solution is outlines as a series of emails to Michael Iltis.

• Use a front end. See this picture of the tool that I am using.
• Thoughts on creating a perl script to do some processing to generate useful reports.
  • Software engineering principles strongly suggest putting a plan for writing software into English first before attempting to write the software.
  • The code highlighted here in black is really powerful perl code. It is amazing how nicely and tersely many things can be done in perl.
• After quite a bit of work I created a script to generate a nice report, as reported in this email note to Mike. (The perl script can be saved as an attachment to this saved Outlook (eml format) email. Other things are included in this email as well.)
  • Writing perl looks easy, but try writing some good code yourself.

I am working on compiling references to global warming items in the news.

• Results of news search on global warming are contained in this email note.

More links are to appear here.

• See the George Schils website for general items pertaining to George Schils. This site will contain some work related to ecodreamer.

Ecodreamer

I am thinking of bringing back my ecodreamer site. Well, this is it!!

There are lots of qualifications that go with this writing. I do not specify them for now.

Publishing

I have found a blog compiler which will make it fairly simple to create blog style web pages. (See the bottom of this page for the link.) I am experimenting with it here.

I do not know how to specify the title of the blog. Hopefully I will figure out these subtlties over time. For now it's the content that counts.

Publishing and publishing tools are a large interest of mine. This new tool seems to make the creation of output fast and easy.

I like the idea of having a blog generate static html output, since then the pages can be snapshotted and saved. I am a bit OCD about having backup copies of work and snapshots, etc. This comes from my experience in software engineering. This is more legal than pages which are dynamic. Further the pages can be viewed offline. There is lots to say about all of this stuff.