Skip to content

Instantly share code, notes, and snippets.

View ntc2's full-sized avatar
🐵
🍌🍌🍌🍌🍌🍌🍌🍌🍌🍌

Nathan Collins ntc2

🐵
🍌🍌🍌🍌🍌🍌🍌🍌🍌🍌
View GitHub Profile
@ntc2
ntc2 / gist:52543fc77c1aa68a29f3f11baa506a7f
Created February 28, 2020 08:51
Tridactyl :viewconfig
data:application/json,{"configversion":"1.8","subconfigs":{"smile.google.com":{"followpagepatterns":{"next":"Next","prev":"Previous"}}},"priority":0,"exmaps":{"<Enter>":"ex.accept_line","<C-j>":"ex.accept_line","<C-m>":"ex.accept_line","<Escape>":"ex.hide_and_clear","<ArrowUp>":"ex.prev_history","<ArrowDown>":"ex.next_history","<C-a>":"text.beginning_of_line","<C-e>":"text.end_of_line","<C-u>":"text.backward_kill_line","<C-k>":"text.kill_line","<C-c>":"text.kill_whole_line","<C-f>":"ex.complete","<Tab>":"ex.next_completion","<S-Tab>":"ex.prev_completion","<Space>":"ex.insert_space_or_completion"},"ignoremaps":{"<S-Insert>":"mode normal","<AC-Escape>":"mode normal","<AC-`>":"mode normal","<S-Escape>":"mode normal","<C-^>":"tab %23","<C-6>":"tab %23"},"imaps":{"<Escape>":"composite unfocus | mode normal","<C-[>":"composite unfocus | mode normal","<C-i>":"editor","<AC-Escape>":"mode normal","<AC-`>":"mode normal","<C-6>":"tab %23","<C-^>":"tab %23","<S-Escape>":"mode ignore"},"inputmaps":{"<Escape>":"composite u
@ntc2
ntc2 / hw-2.tex
Created April 17, 2014 20:21
CS 580 HW 2 Latex Template
\documentclass{article}
\usepackage{amsmath,amssymb,latexsym,amsthm}
\newcommand{\E}{\mathbb{E}}
\author{}
\date{Due April 24, in class}
\title{HW 2}
\begin{document}
\maketitle
\paragraph{Assignment:}
@ntc2
ntc2 / Main.hs
Last active December 25, 2015 13:49
GHC optimization confusion. See http://stackoverflow.com/a/19372414/470844.
module Main where
import Unique
main = do
print $ newUnique ()
print $ newUnique ()
@ntc2
ntc2 / LC.hs
Last active December 17, 2015 20:28
Scrap Your Boilerplate (SYB) based normalizer for untyped lambda calculus.
{-# LANGUAGE DeriveDataTypeable , Rank2Types , ViewPatterns #-}
import Control.Applicative
import Control.Arrow
import Control.Monad.Reader
import Control.Monad.Writer
import Data.Generics
import Data.Set (Set)
import qualified Data.Set
----------------------------------------------------------------