https://ravit.ch/ https://ravit.ch/about/ https://ravit.ch/blog/ https://ravit.ch/blog/2010-05-24-another-new-blog/ 2010-05-24 https://ravit.ch/blog/2010-05-25-tex-crossref-package/ 2010-05-25 https://ravit.ch/blog/2010-06-09-linux-media-players/ 2010-06-09 https://ravit.ch/blog/2010-06-10-parsing-in-python/ 2010-06-10 https://ravit.ch/blog/2010-10-24-gdb-library-paths/ 2010-10-24 https://ravit.ch/blog/2010-10-25-freedesktop-notifications-xmobar/ 2010-10-25 https://ravit.ch/blog/2011-02-09-metablogging/ 2011-02-09 https://ravit.ch/blog/2011-02-15-browser-extensions/ 2011-02-15 https://ravit.ch/blog/2011-04-16-emacs-fonts/ 2011-04-16 https://ravit.ch/blog/2011-04-17-github/ 2011-04-17 https://ravit.ch/blog/2011-04-19-debugging-haskell/ 2011-04-19 https://ravit.ch/blog/2011-05-05-fragile-latex-beamer/ 2011-05-05 https://ravit.ch/blog/2011-05-10-wacom-and-rhel5/ 2011-05-10 https://ravit.ch/blog/2011-07-01-whole-program-llvm-bitcode/ 2011-07-01 https://ravit.ch/blog/2011-07-15-haskell-in-emacs/ 2011-07-15 https://ravit.ch/blog/2011-08-13-an-xmobar-alternative/ 2011-08-13 https://ravit.ch/blog/2011-09-08-recent-bug-fixes/ 2011-09-08 https://ravit.ch/blog/2011-09-09-cxx-calling-conventions/ 2011-09-09 https://ravit.ch/blog/2011-10-03-ghc-and-cxx/ 2011-10-03 https://ravit.ch/blog/2012-01-23-research-tracking/ 2012-01-23 https://ravit.ch/blog/2012-01-27-hackage-and-haddock/ 2012-01-27 https://ravit.ch/blog/2012-02-16-one-more-blog/ 2012-02-16 https://ravit.ch/blog/2012-02-20-chili-of-the-deep/ 2012-02-20 https://ravit.ch/blog/2012-02-28-libtool-annoyances/ 2012-02-28 https://ravit.ch/blog/2012-02-29-ipv6-support/ 2012-02-29 https://ravit.ch/blog/2012-03-02-blog-published/ 2012-03-02 https://ravit.ch/blog/2012-03-29-unification-fd/ 2012-03-29 https://ravit.ch/blog/2012-04-08-presentation-software/ 2012-04-08 https://ravit.ch/blog/2012-05-06-new-phone/ 2012-05-06 https://ravit.ch/blog/2012-11-07-emacs-llvm-assembly/ 2012-11-07 https://ravit.ch/blog/2012-11-15-monad-par-schedulers/ 2012-11-15 https://ravit.ch/blog/2012-11-24-haskell-llvm-analysis/ 2012-11-24 https://ravit.ch/blog/2012-12-03-llvm-tools/ 2012-12-03 https://ravit.ch/blog/2012-12-04-installing-llvm-tools/ 2012-12-04 https://ravit.ch/blog/2013-02-20-a-hoopl-experience/ 2013-02-20 https://ravit.ch/blog/2013-02-23-heresy/ 2013-02-23 https://ravit.ch/blog/2013-03-01-hasksyn-haskell-syntax-for-vim/ 2013-03-01 https://ravit.ch/blog/2013-03-06-font-problems/ 2013-03-06 https://ravit.ch/blog/2013-03-08-terminal-fonts/ 2013-03-08 https://ravit.ch/blog/2013-03-18-rss-reader/ 2013-03-18 https://ravit.ch/blog/2013-04-30-gadt-api-design/ 2013-04-30 https://ravit.ch/blog/2013-06-11-back-to-emacs/ 2013-06-11 https://ravit.ch/blog/2013-06-13-projects-in-emacs/ 2013-06-13 https://ravit.ch/blog/2013-08-29-a-student-no-more/ 2013-08-29 https://ravit.ch/blog/2013-09-02-blog-software-update/ 2013-09-02 https://ravit.ch/blog/2013-12-05-pldi-report/ 2013-12-05 https://ravit.ch/blog/2013-12-27-language-interoperability/ 2013-12-27 https://ravit.ch/blog/2014-09-11-new-os-install/ 2014-09-11 https://ravit.ch/blog/2014-09-12-taffybar-0-4-3/ 2014-09-12 https://ravit.ch/blog/2014-09-18-datalog-release/ 2014-09-19 https://ravit.ch/blog/2014-09-21-linux-video-drivers/ 2014-09-21 https://ravit.ch/blog/2014-11-25-down-with-type3-fonts/ 2014-11-25 https://ravit.ch/blog/2014-12-29-whole-program-llvm-improvements/ 2014-12-29 https://ravit.ch/blog/2014-12-30-using-travis-ci/ 2014-12-30 https://ravit.ch/blog/2015-01-24-arrays-in-haskell/ 2015-01-24 https://ravit.ch/blog/2015-02-08-tags-for-haskell/ 2015-02-08 https://ravit.ch/blog/2015-02-13-unusual-emacs-keybindings/ 2015-02-13 https://ravit.ch/blog/2015-11-09-linux-messaging/ 2015-11-09 https://ravit.ch/blog/2016-09-03-emacs-and-terminal-pasting/ 2016-09-03 https://ravit.ch/blog/2016-09-12-emacs-startup-optimization/ 2016-09-12 https://ravit.ch/blog/2019-02-20-metablog-2019/ 2019-02-20 https://ravit.ch/blog/2020-04-19-funny-type-errors-1/ 2020-04-19 https://ravit.ch/blog/2020-05-19-less-funny-type-errors-2/ 2020-05-19 https://ravit.ch/blog/2020-12-20-avy-interactive/ 2020-12-20 https://ravit.ch/blog/2021-09-18-introducing-build-bom/ 2021-09-18 https://ravit.ch/blog/2022-05-08-releasing-haggle-0-2/ 2022-05-08 https://ravit.ch/blog/2023-03-12-parser-combinators-in-rust/ 2023-03-12 https://ravit.ch/blog/page/1/ https://ravit.ch/blog/page/2/ https://ravit.ch/blog/page/3/ https://ravit.ch/blog/page/4/ https://ravit.ch/blog/page/5/ https://ravit.ch/blog/page/6/ https://ravit.ch/blog/page/7/ https://ravit.ch/page/1/ https://ravit.ch/page/2/ https://ravit.ch/page/3/ https://ravit.ch/page/4/ https://ravit.ch/page/5/ https://ravit.ch/page/6/ https://ravit.ch/page/7/ https://ravit.ch/research/ https://ravit.ch/tags/ https://ravit.ch/tags/analysis/ https://ravit.ch/tags/build-bom/ https://ravit.ch/tags/build-systems/ https://ravit.ch/tags/c/ https://ravit.ch/tags/compilers/ https://ravit.ch/tags/conference/ https://ravit.ch/tags/data-structures/ https://ravit.ch/tags/emacs/ https://ravit.ch/tags/fonts/ https://ravit.ch/tags/food/ https://ravit.ch/tags/gadgets/ https://ravit.ch/tags/haggle/ https://ravit.ch/tags/haskell/ https://ravit.ch/tags/linux/ https://ravit.ch/tags/llvm/ https://ravit.ch/tags/other/ https://ravit.ch/tags/parsing/ https://ravit.ch/tags/programming/ https://ravit.ch/tags/python/ https://ravit.ch/tags/research/ https://ravit.ch/tags/rust/ https://ravit.ch/tags/taffybar/ https://ravit.ch/tags/tex/ https://ravit.ch/tags/vim/