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.

Comments

Post a Comment

Popular posts from this blog

Hello world

Hello! Having a website is like the cool thing to do nowadays, right? Well, now I have one. Right now, it's barren, but I'll move some of my projects from Github to here soon. Later, I plan to post games here! Stay tuned, everyone.
Read more

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