Archive for December, 2009

Re: Popculture in logics

Tuesday, December 22nd, 2009

Inspired by a post from Denny Vrandečić, I came up with more quotes from pop culture, rewritten in logics – enjoy, and please correct me if anything should be wrong:

  • ¬∃knows.TroubleI’veSeen (Spiritual)
  • Bier ⊑ ¬∃gibtsAuf.Hawaii ⇒ Ich ⊑ (¬∃fahreNach.Hawaii)⊓(∀bleibe.Hier) (Kuhn, 1963)
  • ¬(⋄I ⊑ ∃get.¬“⊨”) (Jagger/Richards, 1965)
  • ¬∃ b:Business . b = ShowBusiness (Berlin, 1946)
  • I ⊑ ∃shot.Sheriff ⊓ ∀shot.¬Deputy (Marley, 1973)
  • ¬(⊥ ⊓ ¬HoundDog) (Presley, 1956)
  • ¬∃ ¬Sunshine ← gone(She) (Withers, 1971)
  • ∀x ∃y . needs(x, y) ∧ loves(x, y) (Blues Brothers, 1981)
  • I ⊑ ∃feel.(Pretty ⊓ Witty ⊓ Gay) (Bernstein/Sondheim, 1961)

Citing URLs with BibLaTeX and AUCTeX

Monday, December 7th, 2009

I recently switched to BibLaTeX and also convinced Michael.  Key advantages are: a huge supply of entry types and fields, comprehensive customizability, better Unicode awareness, and an exhaustive documentation.  Among the best features is that one can now properly cite URLs.  Not only is the url field supported (and displayed!) for almost all entry types, but also there is a standard way of saying when you last visited a URL – either a combination of the fields urlyear, urlmonth and urlday, or alternatively urldate = {YYYY-MM-DD}. The only tedium that remains is entering such dates. Users who, like me, use the AUCTeX Emacs mode for editing LaTeX and BibTeX, might find the following macro helpful. It is ready to be used in your ~/.emacs file:

(defun bibtex-insert-current-urldate ()
  (interactive)
  (bibtex-make-field
  '("urldate" "" (lambda () (format-time-string "%Y-%m-%d" (current-time))))
  t))

The following line binds it to the keyboard shortcut C-c u:

(add-hook 'bibtex-mode-hook '(lambda ()
			       (define-key
				 bibtex-mode-map [(control c) ?u]
				 'bibtex-insert-current-urldate)))

With the default BibLaTeX style, the urldate field will render as (visited on MM/DD/YYYY).