<?xml version="1.0" encoding="utf-8"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en-GB">

   <title>HXA7241 Notes latest</title>
   <updated>2012-05-13T00:00:00Z</updated>
   <id>http://www.hxa.name/notes/latest.xml</id>

   <author>
      <name>Harrison Ainsworth / HXA7241</name>
   </author>
   <rights>Creative Commons BY-SA 3.0 License</rights>
   <link rel="alternate" href="http://www.hxa.name/notes/"/>
   <link rel="self" href="http://www.hxa.name/notes/latest.xml"/>

   <subtitle>This is a blog-alternative: a series of informal notes of various ideas.</subtitle>
   <icon>../favicon.ico</icon>
   <logo>../style/hxa7241logo_sml.png</logo>


   <entry>
      <title>Why is information a string of digits?</title>
      <updated>2012-05-13T11:16:00Z</updated>
      <id>tag:hxa.name,2012:log/2012-05-13T11:16:00Z</id>

      <author>
         <name>Harrison Ainsworth / HXA7241</name>
      </author>
      <rights>Creative Commons BY-SA 3.0 License</rights>
      <summary>The fundamental form of information seems to be a string of digits, e.g. DNA, text, bits. Why? This appears to be a peculiarly intriguing question. It is about something apparently very simple, yet it seems somehow profound.</summary>
      <link rel="alternate" href="http://www.hxa.name/notes/note-hxa7241-20120513T1116Z.html"/>
      <content type="text">
   The fundamental form of information seems to be a string of digits, e.g. DNA, text, bits. Why?
   -- http://twitter.com/#!/hxa7241/status/199588487018721280

This appears to be a peculiarly intriguing question. It is about something apparently very simple, yet it seems somehow profound.

---

Initially, one might say:

* One-dimensionality is simplest.
* The sequence maps to time.
* Grouping is also a common feature: codons, words, bytes.
* A string of digits is a product-type (the string) of sum-types (the digits).
* The digits are abstract.
* Information works by 'reference' in some sense . . . so it does not need to represent structure directly . . . a single symbol can control a whole machinery.

There a various things to observe and note, but none individually amount to a satisfying answer. The last, though, is the main lead.

---

Information is like data-structure: the definition, the meaning of it is really in what is *done* with it. Information *is* information -- it has the features it has -- because it is *computed* with. When we say 'information' we are really saying, in a shortened form, 'the thing we do computation with'.

So what is computation? This must be left for another note, but computation seems fundamentally about time, and action, and causality, and change (it is just a particular way of using those elements). Computation is action, and that must take place in time. But it is also completely general, so it cannot fix any other structure.

Information drives computation. So information is really a (temporal) sequence of instructions that are entirely general: so there cannot be any structure beside time, because that would be a constraint and so no longer general.

---

(Besides just seeing the relevant facts and features, any profundity is a false impression. It is like sensing a profundity in asking what makes a table table-like -- what is the *essence* that makes it a table? Ultimately, information (and computation) is *like* information simply because that is what it *is*.)
      </content>
   </entry>

   <entry>
      <title>Parsing wrongness and language value</title>
      <updated>2012-05-06T09:07:00Z</updated>
      <id>tag:hxa.name,2012:log/2012-05-06T09:07:00Z</id>

      <author>
         <name>Harrison Ainsworth / HXA7241</name>
      </author>
      <rights>Creative Commons BY-SA 3.0 License</rights>
      <summary>Parsing is a poor choice of problem. Programming languages should help us see and help us move.</summary>
      <link rel="alternate" href="http://www.hxa.name/notes/note-hxa7241-20120506T0907Z.html"/>
   </entry>

   <entry>
      <title>On VPRI STEPS</title>
      <updated>2012-04-29T10:19:00Z</updated>
      <id>tag:hxa.name,2012:log/2012-04-29T10:19:00Z</id>

      <author>
         <name>Harrison Ainsworth / HXA7241</name>
      </author>
      <rights>Creative Commons BY-SA 3.0 License</rights>
      <summary>They seem to be producing a 'second-draft' of current practice, and making some good abstractions, not a revolutionary general technique. Perhaps because *no* general revolutionary technique seems possible for programming as such.</summary>
      <link rel="alternate" href="http://www.hxa.name/notes/note-hxa7241-20120429T1019Z.html"/>
   </entry>

   <entry>
      <title>Money as a cooperative mechanism</title>
      <updated>2012-04-08T11:21:00Z</updated>
      <id>tag:hxa.name,2012:log/2012-04-08T11:21:00Z</id>

      <author>
         <name>Harrison Ainsworth / HXA7241</name>
      </author>
      <rights>Creative Commons BY-SA 3.0 License</rights>
      <summary>What is money? It is a mechanism that supports/induces a particular framework of cooperation. And it is outdated.</summary>
      <link rel="alternate" href="http://www.hxa.name/notes/note-hxa7241-20120508T1121Z.html"/>
   </entry>

</feed>

