Author Archives: Vlad Andreev

I’m a programmer in the game industry. My interests range fairly widely, but a large chunk of them has at least something to do with either mathematics or computer science (and, oftentimes, nothing to do with game development), so this blog acts as a platform for my half-baked thoughts on the matter.

Feistel Ciphers and DES in Haskell.

Occasionally, I like to pick a random interesting topic that’s entirely unrelated to my work, and read up on it. Recently, it has been polynomial factoring and computer algebra in general, which I’d like to post about when I have the time. As a side note, I’ve also been meaning to write a quick expository […]

Arithmetic coding

I really did not intend this blog to become a repository of Haskell code snippets, but I’ve been rather busy as of late, and writing toy code while waiting for a compile to finish has somehow become my primary means of entertainment. Here is the latest. Arithmetic coding is a remarkably simple and clever thing. […]

Quick and Dirty Theorem Prover.

Wrote a very basic prover for theorems in propositional logic while waiting for a build to finish. Not terribly exciting, but should be relatively easy to extend to first-order logic and/or turn it into a constructive prover by adding a DPLL step. I’ve tested it on a proof by contradiction for the hypothetical syllogism ((a […]

How to talk to aliens.

I came across this on someone’s blog about a week ago, unfortunately I can’t remember who it belonged to. I recall seeing the press release back in 99, the idea was to a) come up with a message to be broadcast in the direction of nearby stars, b) devise a universal but error-correcting way of […]

Non-standard analysis, automatic differentiation, Haskell, and other stories.

Having recently come across a method for automatic differentiation on sigfpe’s cornucopia of amazingly cool stuff masquerading as a blog, I decided to start playing around with it a little to see what might come out. So, let’s say we take the standard definition of the derivative, , look at it for a bit, and […]

Hello world!

Codeland is now live.