Find Posts by Tag

• Academia

  • On mathematical folklore
  • Presheaf categories are Cartesian closed
  • The Yoneda Lemma
  • On terminal objects and colimits
  • Brouwer: Unreliability of the Logical Principles
  • Kushner: Markov's Constructive Mathematical Analysis

• Accessibility

  • On input validation and accessibility

• Blog

  • Migrated blog to HTML5
  • Moving to Jekyll

• Category Theory

  • On mathematical folklore
  • Presheaf categories are Cartesian closed
  • The Yoneda Lemma
  • On terminal objects and colimits

• Cmu

  • On using multiple Kerberos realms and AFS
  • Configuring the CMU SCS-Public printer on Linux
  • Configuring CMU SCS printers on Linux

• Cmu-Pop

  • On terminal objects and colimits
  • Kushner: Markov's Constructive Mathematical Analysis

• Foss

  • Configuring OpenIKED VPNs for StrongSwan Clients

• Frescobaldi

  • Prokofiev's Gavotte typeset with LilyPond

• Holidays

  • Holiday MOTD

• Javascript

  • On input validation and accessibility

• Jekyll

  • Blog Cleanup and Kubuntu Gutsy Gibbon Markups

• Kubuntu

  • Blog Cleanup and Kubuntu Gutsy Gibbon Markups
  • New Kubuntu Wiki Theme

• Latex

  • Numbering paragraphs in LaTeX

• Lilypond

  • Gavotte accepted at Petrucci Music Library
  • Prokofiev's Gavotte typeset with LilyPond

• Music

  • Gavotte accepted at Petrucci Music Library
  • Prokofiev's Gavotte typeset with LilyPond

• Openbsd

  • Configuring OpenIKED VPNs for StrongSwan Clients

• Planet-Debian

  • Battery charge start and stop threshold on OpenBSD
  • Routable network addresses with OpenIKED and systemd-networkd
  • Writing BASIC-8 on the TSS/8
  • Static Comments in Hugo
  • Configuring OpenIKED VPNs for StrongSwan Clients
  • Specifying a custom MTA path in caff
  • mutt-fetchbug: fetch BTS bug reports from mutt

• Planet-Ubuntu

  • Setting up full-disk encryption in OpenBSD 5.3
  • Search RCS and CVS ",v" files with rcsgrep
  • Fixing mutt header cache
  • mutt-fetchbug: fetch BTS bug reports from mutt
  • New Kubuntu Wiki Theme
  • Holiday MOTD
  • Numbering paragraphs in LaTeX
  • Turnin-NG 1.1 released!
  • Easily download CTAN packages
  • Kobby 1.0 beta 5 now available in Kubuntu Lucid
  • ASCIImations from 1968 and present day

• Programming

  • How not to check email address validity

• Readings

  • Brouwer: Unreliability of the Logical Principles
  • Kushner: Markov's Constructive Mathematical Analysis

• Sheaves

  • Presheaf categories are Cartesian closed

• SML

  • Implementing popen and pclose in SML

• Turnin-Ng

  • Turnin-NG 1.1 released!