frangio

% This is an interpreter for the pure untyped lambda calculus.

% We represent lambda terms using De Bruijn indices.

term(var(I)) :- integer(I).
term(abs(M)) :- term(M).
term(app(M, N)) :- term(M), term(N).

% Lambda abstractions are the only values.

frangio

#!/usr/bin/env sh

echo "data:$(file -b --mime-type "$1");base64,$(base64 "$1")"

frangio

/* Simplified version of http://www.useragentman.com/blog/2010/10/29/cross-browser-html5-ruby-annotations-using-css/
   for use with Modernizr.load() */

ruby {
  display: inline-table;
  text-align: center;
  border-collapse: collapse;
  border: none;
  vertical-align: middle;
  border-bottom: solid 0.75em transparent;

frangio

#! /usr/bin/env ruby

begin
  response = %x{ curl -u username:password --silent "https://mail.google.com/mail/feed/atom" }
  fullcount = response.match(/<fullcount>(\d+)<\/fullcount>/)[1].to_i
  message = fullcount > 0 ? fullcount.to_s + " new message(s)." : "No new messages."
rescue
  message = "There was an error."
ensure
  %x{ growlnotify "#{message}" -m "" --image "icon.png" }

frangio

autocmd BufNewFile,BufRead *
  \ if expand('%:~') =~ '^\~/Dropbox' |
  \   set noswapfile |
  \ else |
  \   set swapfile |
  \ endif

frangio

(function($) {
  $.fn.viewportPosition = function() {
    var a = this, b = a.offset().top - $(window).scrollTop(), c = a.offset().left - $(window).scrollLeft();
    return {top: b, left: c};
  };
})(jQuery);