Heliotrope Pajamas

"Report from Sol III."

This is the personal blog of Simon Forman. I write mostly about computers and a little about ecology and other subjects. There's nothing too polished here, just a place on the internet to share random thoughts and half-baked rants. I also have a mailing list that I use as a log or journal:

→ Heliotrope Pajamas (the mailing list)

A simple solution has elegance. It is the result of exacting effort to understand the real problem and is recognized by its compelling sense of rightness. I stress this point because it contradicts the conventional view that power increases with complexity. Simplicity provides confidence, reliability, compactness, and speed.

~Chuck Moore, from:

→ Starting Forth, official online edition, Foreword.

Table of Contents

About & Now

→ About
→ What Am I Doing Now?

Essays & Information

→ Gardening
→ What's Important
→ Minimum Viable Civilization

Programming and Formal Systems

→ Logic Notation in Prolog
→ Automated Theorem Provers in Prolog
→ Computer Science Metanotation
→ Programming Language Semantics in Prolog
→ Joy in Prolog
→ What Color is Chuck's Hat?
→ A Very Short Metacompiler

Notes &c.

→ Blue Goo
→ Campaign Gazetteer
→ Electro-Math
→ The 24-Hour Work Week
→ Gathering up my Themes
→ Misc. Notes
→ Xerblin Demo
→ Earn A Living
→ Small Nimble Robots

Rants (and Movie Reviews)

→ Anyone Can Learn to Program
→ Why OpenBSD?
→ Syntax is a MacGuffin
→ The Unicode Rant