All Posts

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