Plans for the future


Hey did you notice I have a website? Maybe you didn't. Here, I'll give you a link to it: puzzlepear.com You should check it out sometime.

Now that I have a website, I have many plans for it. They include, but are not limited to:

  • Make a game about the fourth dimension
  • Make a game about quantum logic
  • Make a game about linear logic
  • Make a game about Pi calculus
  • Make a game about knot theory
  • Make a game about cellular automata (in particular, S345/B2/4)
  • Make a game about time travel
  • Get a certain Panda to make an RPG with me
  • Get a better theme for this site
Speaking of that last one, it has come to my attention that this theme has a STICKY HEADER. We apologise for this grievous error, and are currently working to correct it.

Comments

Post a Comment

Popular posts from this blog

Rambling about pi calculus

I haven't actually shared this blog with anyone, so this is the perfect place to write stream-of-consciousness about my latest semi-formed ideas. I'm trying to combine linear logic and pi calculus. I'm writing a whole database full of proofs in this system,  although at the time of writing it is quite incomplete. This idea started out when I was searching for a way to model pi calculus. After realizing that classical logic is ill-equipped to reason about stateful procedures, I eventually discovered linear logic. The terms of linear logic can be interpreted as games against an adversary, with linear implication denoting the adversary's choice of moves. They can also be interpreted as resources traded between various sources and sinks, even alongside the game-semantic interpretation. So, I thought to myself, what if the games are between a programmer and a computer? (Some background on the two systems: Pi calculus can be thought of as a minimalistic, yet Turing-complete, ...
Read more

Comments off

The comments on this blog have recently been overrun by spambots. I've been getting about one virus-laden link a week. Because the Blogspot moderation tools are rather clunky, I'm just gonna turn comments off entirely. Hope you don't miss it.
Read more