• Blog
• Archive
• Github
• About
• RSS

Tags

analysis build-bom build-systems c++ compilers conference data-structures emacs fonts food gadgets haggle haskell linux llvm other programming python research rust taffybar tex vim

All Posts

• Releasing haggle-0.2

  Comment haggle, haskell, data-structures | May 8, 2022

• Introducing build-bom

  Comment llvm, analysis, build-systems, rust, build-bom | September 18, 2021

• Avy Interactive

  Comment emacs | December 20, 2020

• Less Funny Type Errors Issue 2

  Comment haskell | May 19, 2020

• Funny Type Errors Issue 1

  Comment haskell | April 19, 2020

• Metablog 2019

  Comment haskell | February 20, 2019

• Emacs Startup Optimization

  Comment emacs | September 12, 2016

• Emacs and Terminal Pasting

  Comment emacs, linux | September 3, 2016

• Linux Messaging Clients

  Comment linux | November 9, 2015

• Unusual Emacs keybindings

  Comment emacs | February 13, 2015

• TAGS for Haskell

  Comment haskell, emacs, linux | February 8, 2015

• Arrays in Haskell

  Comment haskell | January 24, 2015

• Using travis-ci

  Comment programming | December 30, 2014

• whole-program-llvm Improvements

  Comment llvm | December 29, 2014

• Down with Type 3 Fonts

  Comment tex | November 25, 2014

• Linux Video Drivers

  Comment linux | September 21, 2014

• Releasing datalog-0.2.0.2

  Comment haskell | September 18, 2014

• Taffybar 0.4.3

  Comment haskell, taffybar | September 12, 2014

• A Change of OS

  Comment linux | September 11, 2014

• (Programming) Language Interoperability

  Comment programming | December 27, 2013

• PLDI 2013 Trip Report

  Comment conference | December 5, 2013

• Blog Software Update

  Comment haskell | September 2, 2013

• A Student No More

  Comment other | August 29, 2013

• Project Management in Emacs

  Comment linux, emacs | June 13, 2013

• Back to Emacs

  Comment linux | June 11, 2013

• GADTs in API Design

  Comment haskell | April 30, 2013

• A New RSS Reader

  Comment linux | March 18, 2013

• Terminal Fonts and Vim

  Comment linux, vim | March 8, 2013

• Font Problems

  Comment linux, fonts | March 6, 2013

• hasksyn: Haskell Syntax for Vim

  Comment vim, haskell | March 1, 2013

• Heresy

  Comment linux | February 23, 2013

• A Hoopl Experience

  Comment haskell, llvm | February 20, 2013

• Installing llvm-tools

  Comment haskell, programming, llvm | December 4, 2012

• A Handy LLVM Tool (ViewIRGraph)

  Comment haskell, llvm, programming | December 3, 2012

• Program Analysis with LLVM in Haskell

  Comment haskell, llvm | November 24, 2012

• Divide and Conquer with Monad Par

  Comment haskell, programming | November 15, 2012

• An Emacs Function for LLVM Assembly

  Comment emacs | November 7, 2012

• New Phone Time

  Comment gadgets | May 6, 2012

• Presentation Software

  Comment linux | April 8, 2012

• Unification with unification-fd

  Comment haskell, llvm | March 29, 2012

• Blog Published to Github

  Comment programming | March 2, 2012

• IPv6 Support

  Comment linux | February 29, 2012

• Libtool Annoyances

  Comment linux | February 28, 2012

• Chili of the Deep

  Comment food | February 20, 2012

• One More Blog

  Comment haskell | February 16, 2012

• Hackage and Haddock

  Comment haskell | January 27, 2012

• Research Paper Tracking

  Comment research | January 23, 2012

• GHC and C++

  Comment haskell, programming, c++ | October 3, 2011

• C++ Calling Conventions

  Comment c++, programming, compilers | September 9, 2011

• Recent Bug Fixes

  Comment programming, linux | September 8, 2011

• Taffybar: An Xmobar Alternative

  Comment linux, haskell | August 13, 2011

• Haskell in Emacs

  Comment haskell, programming, emacs | July 15, 2011

• Whole Program LLVM Bitcode

  Comment programming | July 1, 2011

• Wacom Tablets and RHEL5

  Comment linux | May 10, 2011

• Fragile LaTeX Beamer Slides

  Comment tex | May 5, 2011

• Debugging Haskell

  Comment haskell, programming | April 19, 2011

• Github

  Comment programming | April 17, 2011

• Emacs Fonts

  Comment linux, emacs | April 16, 2011

• Browser Extensions

  Comment linux | February 15, 2011

• Metablogging

  Comment haskell | February 9, 2011

• Freedesktop.org Notifications for Xmobar

  Comment haskell, linux | October 25, 2010

• GDB and Non-standard Library Paths

  Comment linux | October 24, 2010

• Parsing in Python

  Comment python, programming | June 10, 2010

• Linux Media Players

  Comment linux | June 9, 2010

• TeX crossref Package

  Comment tex | May 25, 2010

• Another New Blog

  Comment haskell, python, programming | May 24, 2010