Category Archives: Geek stuff

Blowing the dust off LaTeX for Logicians

The LaTeX for Logicians pages have been woefully ignored of late. But at last — as a bit occupational therapy while my brain is still in a jet-lagged mush — I’ve started moving the pages to this site, updating content … Continue reading

Posted in Geek stuff | Leave a comment

Work in progress

The plan is to port here the whole old Logic Matters site (including, the pages relating to my recent books and also LaTeX for Logicians) into one better organized, and much-easier-to-update, site. Watch this space. It may take a while … Meanwhile, … Continue reading

Posted in Geek stuff | Leave a comment

Apple Preview: fail

This might just save a few Mac-based LaTeX users some grief. Suppose you use TeXShop to typeset \documentclass[11pt,a4paper]{article}\begin{document} $\{0\} \to \{y = 0\}$\end{document} The result looks just fine in the TeXShop preview window onscreen (which calls on the Mac pdf … Continue reading

Posted in Geek stuff | 2 Comments

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