1. How to Write Documents 26 Mar 2013 • Tags: markdown
  2. File Formats 19 Jan 2013 • Tags: tools
  3. DegreeSolver.hs 13 Dec 2012 • Tags: haskell and university
  4. ditch 30 Sep 2012 • PermalinkTags: ruby

    Evernote updated Skitch a couple of days ago and removed WebDAV. They were nice enough to provide a download of the old version from their site.

    I made a Ruby web app you can run for free on Heroku. Just plug in a Dropbox API key, and you can point Skitch's WebDAV at it and it will store the images into your dropbox!

    It uses the Dropbox App Folders, so when you give it permission to use your Dropbox, it can only see and use the /Apps/ditch directory. More apps should do that!

    There is a problem with Skitch's WebDAV and the clipboard. It verifies the URL exists after uploading. Unfortunately this means you can't return Dropbox link since it is just a hash / number. Also if you return a header location redirect, it will not accept it. So instead it copies to the clipboard a link to a page that redirects the user to the right Dropbox url.

  5. Event-B Conversion 12 Aug 2012 • Tags: eventb
  6. Raspberry Pi + Ruby 06 Aug 2012 • Tags: linux and ruby
  7. md2cre.rb 22 Jul 2012 • PermalinkTags: ruby

    I write everything in Markdown, but a piece of software I have to use requires Creole. So, I made this script that converts Markdown to Creole.

  8. Event-B and You 16 Jul 2012 • Tags: ruby and eventb
  9. Guardfile 28 Apr 2012 • Tags: shell and ruby
  10. Graphviz Positioning 29 Mar 2012 • Tags: graphviz
  11. OS161 on Homebrew 01 Mar 2012 • Tags: mac and university
  12. TextMate 2 Properties 21 Feb 2012 • Tags: mac
  13. K17 iOS App 04 Feb 2012 • PermalinkTags: ios, ruby, and university

    This app is something I have wanted to make since first year. The cse_pp script provides an API for the iOS app to search for information with.

  14. insta-importo.rb 26 Jan 2012 • PermalinkTags: ruby

    I wrote a script to import the articles from The Daily WTF that I haven't read yet into Instapaper.

    It is also handy for other blogs.

  15. Git at University 20 Dec 2011 • Tags: git and university
  16. Ruby Without Bundler In Production 16 Dec 2011 • Tags: ruby
  17. Graphviz Class Diagram 21 Sep 2011 • PermalinkTags: graphviz and university

    An example of a class diagram in Graphviz.

  18. LaTeX Template Tools for SENG 24 Aug 2011 • PermalinkTags: ruby and university

    The tools my group used last year for SENG. Used for templating requirements into LaTeX tables.

  19. Email Stats 17 Jul 2011 • PermalinkTags: ruby

    A small ruby script that downloads your IMAP email headers into a local database. You can then query it for statistics, such as ranking where most your emails come from.

  20. Task Warrior .taskrc 11 Jul 2011 • Tags: shell
  21. OS X Failed Backup Alert 10 Jul 2011 • PermalinkTags: mac and ruby

    A script to email you when a Time Machine backup has failed in the last 48 hours. You need to fill in the email destination and smtp settings. Works with system ruby, just install the pony gem.

  22. A DVD of Prime Numbers 29 Jun 2011 • PermalinkTags: c

    My friend once downloaded a DVD of prime numbers. He wanted to match them up to other things. At the time, Internet was slow and a DVD took a while to download. I thought, "It must be quicker to just generate them than download them". However, I had no idea how to do it at the time. Now I do, and it turns out, yes, it is quicker.

  23. bookmarks.rb 28 Jun 2011 • PermalinkTags: ruby

    A simple script I made that tells you where most of your bookmarks in Chrome are from and if you have duplicates. You need to export your bookmarks from Chrome to use it.