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
set nocompatible | |
filetype plugin indent on | |
syntax on | |
let mapleader = " " | |
no j gj | |
no k gk | |
no <c-j> 6j | |
no <c-k> 6k | |
no <c-a> ^ | |
no <c-e> $ |
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
""" pip install GitPython --upgrade --pre """ | |
import git | |
import sys | |
def pretty_date(time=False): | |
"http://stackoverflow.com/questions/1551382/user-friendly-time-format-in-python" | |
from datetime import datetime | |
now = datetime.now() | |
if type(time) is int: |
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
data Gabuzomeu a b = Gabu a | Zomeu b | |
deriving Show | |
shadok :: (a -> c) -> (b -> d) -> Gabuzomeu a b -> Gabuzomeu c d | |
shadok f _ (Gabu a) = Gabu (f a) | |
shadok _ g (Zomeu b) = Zomeu (g b) | |
newtype G b a = G {first :: Gabuzomeu a b} | |
deriving Show |
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 v1 | |
owFtUn1QVFUUX0CcQcahUVK+4uOVTsGyvu93H0MGmNtESBFiyofre+/etzyQXdxd | |
QERGZhIdRWUnxxA0QFhKVIwSQ9JqDaKIIWrxY2IIScxCMHGUjBkcesvQmDPdv865 | |
53d+9/e759gXe2k8PSacF1PMUVVeHr1joibVlvpaCSaaYTEWU4JJWxVksrkjk5CH | |
sBgsFxWLghXpFHO4yQyRLscaPo/RYoXIYlXMJhWF6ygdiZVq3XB3s6yYjMiSb1Hc | |
XJjEsQQvMyTPMzguUzInsgzFcAjRSOJpmeeALLIix6uU2War7alXsTlOgwLV27X0 | |
2jU8rVfx+gQ2YQ5fMFcAPOSQSBKCwBEiYBkkMLTE4jTOI4YTcNwNtCLLvCWpqDDb |
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
#include <iostream> | |
#include <chrono> | |
#include <cstdlib> | |
int main() { | |
const int N = 7*1024; | |
int** m = new int*[N]; | |
int* n = new int[N*N]; | |
int* k = new int[N*N]; |
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
// ==UserScript== | |
// @match https://www.facebook.com/* | |
// ==/UserScript== | |
var e = document.getElementById('rightCol'); | |
e.parentNode.removeChild(e); | |
document.getElementById('contentArea').style.width = '100%'; |
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
import qualified Data.ByteString.Char8 as B | |
import qualified Data.ByteString.Internal as B | |
import qualified Data.ByteString.Unsafe as B | |
import Data.List | |
import Data.Word | |
import Foreign | |
import Foreign.C.Types | |
import Foreign.Marshal.Alloc | |
import Foreign.ForeignPtr | |
import Text.Printf |
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
// ==UserScript== | |
// @match https://webauth.arizona.edu/* | |
// ==/UserScript== | |
var username = 'fill me in', | |
password = 'fill me in'; | |
document.getElementById('username').value = username; | |
document.getElementById('password').value = password; | |
HTMLFormElement.prototype.submit.call(document.getElementById('fm1')) |
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
{-# LANGUAGE GeneralizedNewtypeDeriving #-} | |
{-# LANGUAGE OverloadedStrings #-} | |
{-# LANGUAGE BangPatterns #-} | |
import Control.Applicative | |
import Control.Monad.Loops | |
import Control.Monad.State.Strict | |
import Data.Either | |
import Data.Attoparsec.Char8 | |
import qualified Data.ByteString.Char8 as B |
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
{-# LANGUAGE OverloadedStrings #-} | |
import Data.Array.IO | |
import Data.Array.Base | |
import Control.Applicative | |
import Control.Monad | |
import Data.Attoparsec.Char8 | |
import qualified Data.ByteString.Char8 as B | |
import System.Environment | |
import Debug.Trace |
NewerOlder