Skip to content

Instantly share code, notes, and snippets.

View Kazark's full-sized avatar

Keith Pinson Kazark

  • Undisclosed
View GitHub Profile
@Kazark
Kazark / 90-day-Bible-schedule.md
Last active August 29, 2015 14:16
90-Day Bible Reading Schedule

90 Day Bible Reading Schedule

This is a template. Fork it and check off the boxes as you go along.

  • Genesis 1 - 16
  • Genesis 17:1 - 28:19
  • Genesis 28:20 - 40:11
  • Genesis 40:12 - 50:26
  • Exodus 1:1 - 15:18
  • Exodus 15:19 - Exodus 28:43
  • Exodus 29 - 40
@Kazark
Kazark / AssemblyAttributes.cs
Created April 13, 2015 19:13
LINQPad snippet for debugging assembly load problems
foreach (var assembly in assemblies) {
Console.WriteLine("Assembly: {0}", assembly);
Console.WriteLine("Framework: {0}", ((System.Runtime.Versioning.TargetFrameworkAttribute)Assembly.LoadFrom(assembly).GetCustomAttributes(typeof(System.Runtime.Versioning.TargetFrameworkAttribute)).First()).FrameworkDisplayName);
Console.WriteLine("Runtime: {0}", Assembly.LoadFrom(assembly).ImageRuntimeVersion);
Console.WriteLine("Architecture: {0}", AssemblyName.GetAssemblyName(assembly).ProcessorArchitecture);
Console.WriteLine();
}
@Kazark
Kazark / Pizza.cs
Last active August 29, 2015 14:20
Imperative versus Functional solution of Pizza Problem
public class Pizza
{
public string Name { get; private set; }
private List<string> _ingredients;
public bool ContainsNuts { get; private set; }
public Pizza(string name, List<string> ingredients, bool containsNuts)
{
Name = name;
_ingredients = ingredients;
" Gist-ID: 84e25967614138136eca
" Screw Vi-compatibility; let's make sense around here
" From http://vimrcfu.com/snippet/88
map Y y$
" From my Kazarc plugin https://github.com/Kazark/vim-kazarc -----------------
" Why hold down the shift key? The default mapping of ; is not very useful
nmap ; :
vmap ; :
@Kazark
Kazark / vimPluginReg.md
Last active March 17, 2016 18:20
Vim plugin Registry

My Vim Plugin Registry

General

  • Abolish
  • Airline
  • CtrlP
  • Endwise
@Kazark
Kazark / choco.log
Created June 30, 2016 20:46
choco install psexec fails now
Chocolatey is running on Windows v 6.3.9600.0
Attempting to delete file "C:/ProgramData/chocolatey/choco.exe.old".
Attempting to delete file "C:\ProgramData\chocolatey\choco.exe.old".
Command line: "C:\ProgramData\chocolatey\choco.exe" install psexec -debug -verbose
Received arguments: install psexec -debug -verbose
RemovePendingPackagesTask is now ready and waiting for PreRunMessage.
Sending message 'PreRunMessage' out if there are subscribers...
[Pending] Removing all pending packages that should not be considered installed...
The source 'https://chocolatey.org/api/v2/' evaluated to a 'normal' source type
@Kazark
Kazark / TKD.hs
Created September 15, 2016 19:24
Code from LambdaConf 2015 Type Kwan Do workshop
{-# LANGUAGE InstanceSigs #-}
{-# LANGUAGE ScopedTypeVariables #-}
module TKD where
import Control.Applicative
befunge :: (x -> y) -> (y -> (w, z)) -> x -> w
befunge f g =
fst . g . f
@Kazark
Kazark / wdiff.vim
Created July 8, 2017 12:56 — forked from ynkdir/wdiff.vim
wdiff.vim
" Usage:
" Copy this file to your ~/.vim/autoload directory.
" :edit oldfile
" :new newfile
" :call wdiff#highlight(2, 1) " wdiff#highlight(winnr1, winnr2)
let s:save_cpo = &cpo
set cpo&vim
function wdiff#highlight(Awinnr, Bwinnr)
@Kazark
Kazark / .vimrc
Last active September 5, 2017 15:06
" GistID: 1f58a89ee81c0c2620e3
set nocompatible " be iMproved, required
filetype off " required
" set the runtime path to include Vundle and initialize
if has("win32")
set runtimepath+=~/vimfiles/bundle/Vundle.vim
call vundle#begin('~/vimfiles/bundle')
else
set runtimepath+=~/.vim/bundle/Vundle.vim
@Kazark
Kazark / NotNotLEM.idr
Last active November 13, 2018 15:17
Intuitionist logic is by no means denying the law of excluded middle!
module NotNotLEM
%default total
%access public export
notDistributesOverEither : Not (Either a b) -> (Not a, Not b)
notDistributesOverEither neither = (notLeft neither, notRight neither) where
notLeft : Not (Either a b) -> Not a
notLeft neither x = neither (Left x)