This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(def rules | |
'[(has-values _ ?attr-vals) | |
[(empty? ?attr-vals)]] | |
[(has-values ?e ?attr-vals) | |
[(conj ?t ?h) ?attr-vals] | |
[(vector ?qf ?qv) ?h] | |
[?e ?qf ?qv] | |
(has-values ?e ?t)]]) | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-----BEGIN PGP MESSAGE----- | |
hQEMA2FcM19HHIArAQgAmN9vjZHk7yL+BqH24bwseV0iQgvvDATP1Fl4eiRmjO7D | |
NYF8Vu2UAXDw410Ez+hcc6swAEh9lKdUFhE/gkt4TcRF00FPEYyHKrE/imOFmFIV | |
ZhPv+ZrPfih4JO4+prndFdui61mbPRyQ1XopzaGsIRIITVTY8V5a5xwjOGLTRDsn | |
5oXdQcP3LYT1sdBKkC6BEA5aRf1AiqYUVnuD6DeHvTreO9awzS3Jt4DiZnmbi/ov | |
6n+2aLalNVqB6eXnUYDBOs0dZHqH6epU1Z7miYoegCo7yqGmr44Was9Mw0qtzU3G | |
WGmODGPwJFrAYocj8/tYuGwo9pKamysoTQXHyX9IkoUCDgN5wSBDvfkanBAIAOXr | |
4/W+TgqckyzVTyKLu/Wu/k2Le8DmwAC3gt1Ft+XEpMS5i+mwPMfLg+OwKoAICzMF | |
1EmZWsQe7BqV+h8+yxeu4PEla7zRQ7xQt0988g7UjSB45YDVM/47y0v92VFMVenT |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
## | |
# Host Database | |
# | |
# localhost is used to configure the loopback interface | |
# when the system is booting. Do not change this entry. | |
## | |
127.0.0.1 localhost | |
255.255.255.255 broadcasthost | |
::1 localhost | |
fe80::1%lo0 localhost |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-----BEGIN PGP MESSAGE----- | |
Version: GnuPG/MacGPG2 v2.0.18 (Darwin) | |
Comment: GPGTools - http://gpgtools.org | |
hQEMA2FcM19HHIArAQf+K9FaBEogJ5keMAHuJuAtHABqUJFpr6awiMIr2Wh6CNva | |
yyRBEU5STLmbGWDbIlwkxC8IXLohDdiER14hbbZHqLIGgUg36Azf6AjAYaNTOOdg | |
GcNswPsDypn0Meq3b2UfPUP3Uql2lA6wIfWZtuw8NohLbYmEjHfhK3JCKBAdtUVr | |
QHyPdMr+7qr5jO+SVPR25JdxUUe87V/l+IoEcrC1h21CXOz3AWzPx5FMAK1oB178 | |
XKByqvHQn661gCg9QjCbeim2iGAFFAxfVp0nfsNve5dla2w7JzPWGjgJTxINpNOA | |
O11wf5zEt9ehcua4hc6oXd/c3p73DvbjzXoTio79A9LAKwGmhFcq6UarxEsmpzOx |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/sh | |
# | |
# This shell script passes all its arguments to the binary inside the | |
# MacVim.app application bundle. If you make links to this script as view, | |
# gvim, etc., then it will peek at the name used to call it and set options | |
# appropriately. | |
# | |
# Based on a script by Wout Mertens and suggestions from Laurent Bihanic. This | |
# version is the fault of Benji Fisher, 16 May 2005 (with modifications by Nico | |
# Weber and Bjorn Winckler, Aug 13 2007). |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-----BEGIN PGP MESSAGE----- | |
hQEMA2FcM19HHIArAQf+LN0Q0m68CxK+6R6Tw+JNvg9KsltbAgcsd+AoWKY0MWmF | |
gC8tF83wZ4micTSvdKB7Wx8Hw8ouYjEHBdsEzCXE0OhzHDw8LPkhl4o8X8lLW8Cp | |
50vAUnkEX0Sy/25/rOuNrhVbsyo56ogX/vj4Wvh/MT4Bfwdbe2Vm9LtPY3Wh7KpS | |
XJ/CKui7Ykhv8O3QsxPz/UduOBbDvgFNjgyX2k7xhCZ9l6V79qZ6PKbPqkuzgKcU | |
rHHJPSeNqYKFAu6wUihLb6eS0GJMk92NmmzJWInFFUElIARL03cno9rrYn2U1FMZ | |
t47WWBU8ejpeKRRUJVW2fTHEEvRY0ah29Jvz7U16kIUCDgN5wSBDvfkanBAH/2NJ | |
xDr0heXzmcY8GheyUDBAJ/vHutz3zMf/TujAWCyENNK7eFQdbuo7g+9Kk7kkQx9i | |
Zq4K2GhbtGarhP4FCbRv6QD3ZA43SPuJjOnpLLaw3UPKX7fKwkS91QT8dYKWVv4Z |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Iron Sports U of T provides a welcoming, inspiring, and educational environment for its members to better themselves physically and mentally through the medium of strength training. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!-- At the bottom of your <body> --> | |
<script src="//ajax.googleapis.com/ajax/libs/jquery/1.7.1/jquery.min.js"></script> | |
<script type="text/javascript"> | |
$(document).ready(function() { | |
// Change these ids as appropriate | |
var c1 = $('#leftsidbar').height(); | |
// Not sure what the id of your center column is | |
var c2 = $('#content').height(); | |
var c3 = $('#rightsidebar').height(); | |
var h = Math.max(c1, c2, c3); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/bash | |
run_benchmark() { | |
echo "Running $2 benchmark with $1 prefetcher" | |
./sim-cache -redir:sim benchmark-output/$1-$2 \ | |
-redir:prog /dev/null \ | |
-config cache-config/cache-lru$3.cfg /cad2/ece552f/benchmarks/$2.eio | |
} | |
mkdir -p benchmark-output |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
javascript:var%20s=document.createElement('script');s.src='https://gist.github.com/raw/09258421225c74d031a3/2d2191207d5c0827ec1c2d048082a54aa03c599e/tumblr_tags.js';document.body.appendChild(s); |