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

  • 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!