Category Archives: Geek stuff

Simple things are best.

I did fiddle around a bit today trying to get a hack to work for splitting long posts into an initial para or two, with the rest to be revealed by hitting a “Read more” link (if you want to … Continue reading

Posted in Geek stuff | Leave a comment

Ahem …. Leopard stacks icons

It is seriously sad to care about these things. I know. But for those who are equally miffed by the Leopard update’s failure to sort the stack icon flaw — ok, it’s not exactly a bug but everyone thinks it … Continue reading

Posted in Geek stuff | 1 Comment

Who needs an iPhone? …

… but I sure hope that this rumour is true! That would be so very useful to have.

Posted in Geek stuff | Leave a comment

Oh no …. more geekery

I’ve just discovered — about eight months after everyone else — that WordPress (the cool alternative to Blogger for hosting/managing a blog) can handle LaTeX code, so can do nice looking logic stuff. I was already trying to resist following … Continue reading

Posted in Geek stuff | 3 Comments

Leopard, second impressions

I’m still dosed up to the eyeballs and so finding it annoyingly difficult to concentrate on work. I am supposed to be thinking more about issues related to ACA0 – especially as I’m due to talk about this sort of … Continue reading

Posted in Geek stuff | Leave a comment

Leopard, first impressions

Leopard arrived today, in its rather cool box. And I installed it by the book — the book in question being the useful, confidence-inspiring, and very inexpensive e-book Take Control of Upgrading to Leopard. So I used SuperDuper! to clone … Continue reading

Posted in Geek stuff | Leave a comment

Harmless geekery

I was going to sound off on the subject of tripos reform: but on second thoughts, it’s probably safer to indulge in harmless geekery instead. So … (roll of drums): There’s now another much bigger, much better edition of the … Continue reading

Posted in Books, Geek stuff | Leave a comment

For Mac geeks …

I’ve just become a real convert to DevonThink, which seems to be by far the best solution for organizing a whole collection of downloaded PDFs of articles, stored emails, lecture notes and the like. I haven’t yet begun to explore … Continue reading

Posted in Geek stuff | Leave a comment

Size matters

One thing that distracted me for a while was getting myself a new laptop, a 17″ MacBook Pro. Simply fantastic, of course. Huge and very bright sharp screen — I got a matte one — and fast. Oh, very fast. … Continue reading

Posted in Geek stuff | Leave a comment

How to make life difficult for yourself

A posting on philos-l, on corner quotes: Choose a common font such as Arial. You’ll find a good enough corner there somewhere. Copy the symbol you want so you have it on the clipboard, then paste it into a Word … Continue reading

Posted in Geek stuff | 3 Comments