I looked at "What is a Low Level Language" too.
That is a topic I am more interested in. The discussion has some mertis, though it seems rather long and repetitive. At least he understands that there is an issue here. He seems to think it proved that a LLL is the best thing for Occam's razor. I am less sure about that.
I looked at "What is a Low Level Language" too.
I looked at that one and had to skip to the end. What he's getting at doesn't match what I, or most programmers I know, mean by "low level."
Low level just means it's far from how humans think. It's low because we like to put things on top of it that are easier for us to deal with. The idea that it's "close to the machine" just comes from the fact that that's the most popular reason to deliberately make something low level. (Making it easy to analyze is probably the second most popular.)
Paul Almond's site has many philosophically deep articles on theoretical rationality along LessWrongish assumptions, including but not limited to some great atheology, an attempt to solve the problem of arbitrary UTM choice, a possible anthropic explanation why space is 3D, a thorough defense of Occam's Razor, a lot of AI theory that I haven't tried to understand, and an attempt to explain what it means for minds to be implemented (related in approach to this and this).