Skip to content

Instantly share code, notes, and snippets.

Avatar

Chris Van Horne cwvh

  • Seattle, WA, USA
View GitHub Profile
@cwvh
cwvh / vimrc
Created Aug 15, 2014
minimal vimrc
View vimrc
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> $
View x.py
""" 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:
@cwvh
cwvh / A.hs
Created May 15, 2014
bifunctors
View A.hs
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
View gist:eb2d6e26829a7e6c4dbe
```
-----BEGIN PGP MESSAGE-----
Version: GnuPG v1
owFtUn1QVFUUX0CcQcahUVK+4uOVTsGyvu93H0MGmNtESBFiyofre+/etzyQXdxd
QERGZhIdRWUnxxA0QFhKVIwSQ9JqDaKIIWrxY2IIScxCMHGUjBkcesvQmDPdv865
53d+9/e759gXe2k8PSacF1PMUVVeHr1joibVlvpaCSaaYTEWU4JJWxVksrkjk5CH
sBgsFxWLghXpFHO4yQyRLscaPo/RYoXIYlXMJhWF6ygdiZVq3XB3s6yYjMiSb1Hc
XJjEsQQvMyTPMzguUzInsgzFcAjRSOJpmeeALLIix6uU2War7alXsTlOgwLV27X0
2jU8rVfx+gQ2YQ5fMFcAPOSQSBKCwBEiYBkkMLTE4jTOI4YTcNwNtCLLvCWpqDDb
View y.cc
#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];
@cwvh
cwvh / facebook.user.js
Created Apr 7, 2014
Fix for Facebook updated UI (2014-04-06) for smaller desktop displays
View facebook.user.js
// ==UserScript==
// @match https://www.facebook.com/*
// ==/UserScript==
var e = document.getElementById('rightCol');
e.parentNode.removeChild(e);
document.getElementById('contentArea').style.width = '100%';
@cwvh
cwvh / B.hs
Created Feb 4, 2014
fast reverse ordered character count
View B.hs
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
@cwvh
cwvh / webauth.user.js
Created Jan 23, 2014
drag-and-drop this into your chrome settings -> extensions page
View webauth.user.js
// ==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'))
View K.hs
{-# 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
@cwvh
cwvh / C.hs
Created Jan 7, 2014
trivial optimizing brainfuck interpreter
View C.hs
{-# 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