You're reading: cp’s mathem-o-blog
I’m going to abuse this here organ of mine to show off a thing I did yesterday.
My chum the inimitable David Cushing has started a postgrad pure maths seminar at Newcastle. Because there are only a few pure postgrads here, he asked me to give a talk about the stuff I was looking at for the PhD I gave up on last year.
The title of the talk was “Computability of Bass-Serre structures in the Grzegorczyk hierarchy”. It gave an outline of everything needed to show that the fundamental group of a graph of groups is computable in a level of the Grzegorczyk hierarchy at most one higher than its constituent parts, and what that means.
The slides, a recording of the talk, and a link to my presentation template are in a post on my mathem-o-blog: Talk: Computability of Bass-Serre structures in the Grzegorczyk hierarchy
This is the first Monday in quite a while that I haven’t had a new episode of Relatively Prime to listen to. That’s because all eight episodes have now been released. I meant to put a little post up each week reminding you to listen to the latest episode, but I completely forgot to do that, so here’s a post saying you can now listen to the whole lot. And you should.
I’ve posted my recollections of what happened at last month’s Newcastle MathsJam over at my mathem-o-blog.
I had a spare day yesterday so, rather than clean my house, I made a model of the SKI combinator calculus out of a pizza box.
Computer Modern is the family of typefaces developed by Donald Knuth for TeX. It’s so good-looking that some scientists do research just so they can write it up in Computer Modern.
I love TeX and everybody knows it, so I was pretty delighted to hear that the cm-unicode project compiles versions of the Computer Modern fonts in a few formats, including TTF. Having the fonts in TTF format means you can use them in non-TeX environments, in particular on the web.
I’ve run the cm-unicode fonts through codeandmore’s @font-face kit generator to get all the weird formats that the various browsers insist on. The result is a set of packages containing everything you need to use the Computer Modern typefaces on the web.
I’ve put up a page containing examples of each face in use and links to the packages. Enjoy!
A few days ago, my friend David asked me if I could help him with a card trick. I said I could, hence this post. I managed to pin David down in front of my camera long enough for him to demonstrate the trick; a full explanation follows this video: