Viewing profile — myderpyaccount

At a few companies I interviewed at, fairly established but not tech centered companies, the interviewers had literally just come out of the companies introductory training program…

> There's no such thing as a "conversation" between the billions of people with a stake in this. Well, not exactly. That's how you wind up getting diversity of fields. People have …

I often wonder half amused, "What Would Dijkstra Do?", every time I see the phrase referenced. It's almost like harmful has lost meaning because of the complexity of the systems of…

Yea, but then it doesn't really make sense to argue about anything, because everything can be statically defined in terms of the environment it exists in. The part can be described…

Reality is really weird though. I really keep trying to think whether aliens existing would actually radically change my life, individually. On one hand, maybe, but on the other, p…

I've read from mathematicians who consider their computer to be a tool, and from others who see the computer as a partner. As a hobbyist who studies automated theorem provers (like…

> Closed systems exist, there are things that can be understood so fully that you can't think of any new questions to ask about them that you don't already understand. The existenc…

I don't know if I can. What do you mean by concrete? For me, as soon as I use language, it is symbolic. So even if I were to describe the shape of a rock to you, it is still not a …

What is the difference between memorizing a sequence of steps and having a couple of sequences of steps culturally contextualized in a symbolic language? I mean it's literally one …

See, the weird way I always understood NP hardness was by virtue of the impossibility of it. Suppose all NP hard problems are solvable. Assume this knowledge is distributed, a cult…