Blog

• May 16, 2019
  Troubleshooting LaTeX compilation errors when submitting to journals
• April 25, 2019
  How to force pdflatex (PDF) over latex (DVI) compilation
• November 30, 2018
  Benjamin Franklin on learning modern and ancient languages
• August 30, 2018
  How to use Git and Dropbox together
• October 4, 2017
  How to install xmonad and xmobar via stack
• August 2, 2017
  Latin to English translation of McGill diploma
• March 19, 2017
  How to build and install st (suckless simple terminal) from source on Arch Linux
• January 15, 2017
  Ben Carson, "any", and context
• January 10, 2017
  Not paying a surcharge vs. getting a discount
• October 27, 2016
  The Yale Record does not endorse Hillary Clinton
• October 5, 2016
  Use Biblatex/Biber to create a new subdatabase based on an auxiliary file
• July 7, 2016
  Line breaks in mutt and vim
• June 18, 2016
  A minimalist screen blank and screen lock setup for console and X
• January 23, 2016
  Right-aligned text in a linguex gloss example (LaTeX)
• October 19, 2015
  Donald Trump says "China"
• October 8, 2015
  My new name is בריאן אנתוני בוקולה
• September 19, 2015
  My PhD thesis, dumbed down
• September 17, 2015
  Dowty, Wall, and Peters on possible worlds in model-theoretic semantics
• July 21, 2015
  How to mark all emails as read in Mutt
• March 23, 2015
  ELI5: What is modal logic?
• January 30, 2015
  Seattle cops sorry about arresting 70-year-old black vet
• January 29, 2015
  How to cite in LaTeX without the citation appearing in the bibliography
• January 23, 2015
  Lenovo X140e and (Arch) Linux
• January 6, 2015
  Pandoc, MathJax, Google fonts, and HTTPS
• January 11, 2014
  A simple Dropbox command-line alias
• November 14, 2013
  Vim and unicode keybindings: Math, IPA, and more
• October 21, 2013
  Dealing with acronyms in LaTeX
• April 22, 2013
  Implementing lists in the simply typed lambda calculus
• April 13, 2013
  Maintaining an academic website, part 3: Version control
• March 2, 2013
  Maintaining an academic website, part 2: Pushing to server
• February 23, 2013
  Maintaining an academic website, part 1: Editing the site
• February 18, 2013
  A note on "miss"
• February 9, 2013
  Leaving vim-latex for rubber and ultisnips
• January 4, 2013
  Scheduling emails with at and mutt
• December 9, 2012
  Mapping letters to the natural numbers
• December 1, 2012
  References and footnotes in HTML/CSS
• November 30, 2012
  The semantics of "unless"
• November 29, 2012
  How to change the favicon in Octopress
• November 28, 2012
  LaTeX math in Octopress
• November 27, 2012
  Multiple SSH keys and Git