i'm reading a paper by Valery A. Lunts, called Coherent Sheaves on Configuration Schemes. It's about extending the usual notion the
bounded derived category of coherent sheaves on a scheme to a configuration scheme, which is a collection of schemes, some of which have morphisms between them. The case mostly considered in the paper is when the morphisms are closed embedding but you can also replace them by affine morphisms. I'll try to post more when I read more from the paper, and more importantly, understand more from the paper!

i'm now located in office 018 in the basement of kassar house. the same can not be said about my books; they are still in my old office,
013. i should be able to move them over the weekend.

A retired Indian mathematician has put a preprint on the arxiv, which he claims proves the Riemann Hypothesis FALSE! The paper is yet to be published and it will be interesting to see if this is a correct proof. There is a long list of purported proofs...

The boys and girls over at Wolfram have posted a problem with a $25,000 prize tag! It looks simple enough: Prove that the Turing machine below is universal.

But when you get in to the technical details, it gets a bit hairy! I don't think I'll even try!