Posts feed
Explore all this site
Tag Cloud
Archives
Recent Comments
- scott on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- Peter Smith on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- scott on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- David Auerbach on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- Peter Smith on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
Blogroll
Tweets @PeterSmith
Error: Twitter did not respond. Please wait a few minutes and refresh this page.
Category Archives: Geek stuff
TeX update and SyncTeX
\begin{geeky procrastination when I should be writing some Gödel lectures} I keep the TeXShop editor updated, but the background LaTeX installation just works so smoothly that I haven’t bothered to touch it for a while. But I did today get … Continue reading
Posted in Geek stuff
1 Comment
Papers for papers
Like everyone else, I download quite a few journal articles from current issues or from the Jstor archive. Question: just how do you keep the heaps of PDFs organized? What do you use to search across them? Well, I’ve belated … Continue reading
Posted in Geek stuff
12 Comments
MacBook Air, six months on
Anyone out there who is still wavering about getting a MacBook Air might be interested in some comments from a delighted owner who has now had one for six months (this updates my “after one month” post from last August). … Continue reading
Posted in Geek stuff
1 Comment
Nerdy stuff
Just for fellow Macaholics … I’ve just noticed that a new version of TeXShop has been released in the last couple of weeks, with a couple of useful little tweaks. I had a pre-release trial copy of Things for a … Continue reading
Posted in Geek stuff
Leave a comment
Things
A while back I posted about trying the OmniFocus ‘task management’ software which implements Getting Things Done type lists. As I said, it’s not that I haven’t tasks to do, and the GTD idea really does work. But, having played … Continue reading
Posted in Geek stuff
4 Comments
MacBook Air, one month on
Anyone out there who is wavering about getting a MacBook Air might be interested in some comments from a new owner. Everyone else can, of course, just cheerfully ignore this posting! (The headline summary is: get one! — though perhaps … Continue reading
Posted in Geek stuff
2 Comments
A blast from the past
After an electrical storm, my new MacBook Air suddenly stopped recognizing the wireless network at home. It could pick up a signal from about six neighbouring houses, but not the Airport base station a few feet away, while the old … Continue reading
Posted in Geek stuff
2 Comments
MacBook Air!
I’m a pretty minimal user of the mobile phone, and don’t use my iPod that much either … so it really would be an expensive self-indulgence to buy an iPhone and contract. OK, ok, let’s be honest, it’s still very … Continue reading
Posted in Geek stuff
Leave a comment
Declutter your Mac!
This will only be of interest to (a few) other Mac users. But, for what it is worth … For years, I’ve taken the easy option and just installed one version of Mac OS on top of another, and migrated … Continue reading
Posted in Geek stuff
1 Comment
Spluttering into my coffee again
Earlier than usual coffee this morning, waiting for the new Cambridge Apple Store to open for the first time around the corner. (I foolishly thought I’d be able to wander in to take a look at a real-world MacBook Air. … Continue reading
Posted in Geek stuff, Religion
Leave a comment