Electronic Eel

The day after my birthday, Aaron came for a session just before fleeing to Colorado Springs.

01
02
03
04 – Pastorale
05 – Electronic Eel
06
07
08
09
10
11
12
13

Bad Habits

Going off to live in a new place often causes you to redefine yourself as a person: to break down old bad habits and replace them with new, more productive patterns. Then when you come back, the old bad habits kick right back in again and all that work you put in to redefine [...]

Reply to Platonism

Here’s a reply to a comment
that was left about my recent post “Platonism”. The discussion is
getting long and involved, so I thought I’d make a new post. And to
anonymous (the poster), don’t worry about the comment length. I’m only
posting anew to draw attention to the interesting discussion.

So, without further ado, the short [...]

Music Minus One

A few days before Nolan’s birthday party, Nolan came down and we jammed together. It was a good session… except that we forgot to enable recording for Nolan’s track! Thus the session is very groove oriented, lacking in melody. Pretty cool though, anyway.

01
02
03
04
05
06
07
08
09
10

It’s been a little while since I listened to these, [...]

Quantum Entanglement in Haskell

Back when I first learned some Haskell, I found out about monads. After understanding “enough to be dangerous”, I figured I could port the totally cool Quantum::Entanglement perl module to a Haskell monad. Unfortunately, such a task was not possible. I ran into trouble when the monadic bind needed to use an [...]

Platonism

Studying all this decidability theory is fundamentally changing my view of the universe. In particular, I am losing my Platonism.
It all begins with the halting problem, which isn’t so much a problem anymore as a result. It states that there is no computer program which can tell whether another computer program will ever [...]

Turing Complete = Incomplete

I’ve talked about this a little bit before, but I’ll start over, since I have a new understanding of the problem now.
Gödel’s famous incompleteness theorem says that “any consistent, recursive set of axioms which can emulate arithmetic cannot be complete”. He showed this by essentially building a Turing machine (well, something equivalent to [...]