View HRecursionSchemes.hs
{-# LANGUAGE StandaloneDeriving, DataKinds, PolyKinds, GADTs, RankNTypes, TypeOperators, FlexibleContexts, TypeFamilies, KindSignatures #-} | |
-- http://www.timphilipwilliams.com/posts/2013-01-16-fixing-gadts.html | |
module HRecursionSchemes where | |
import Control.Applicative | |
import Data.Functor.Identity | |
import Data.Functor.Const | |
import Text.PrettyPrint.Leijen hiding ((<>)) |
View IxFix.hs
{-# LANGUAGE | |
UndecidableInstances, RankNTypes, TypeOperators, TypeFamilies, | |
StandaloneDeriving, DataKinds, PolyKinds, DeriveFunctor, DeriveFoldable, | |
DeriveTraversable, LambdaCase, PatternSynonyms, TemplateHaskell #-} | |
import Control.Monad | |
import Control.Applicative | |
import Data.Singletons.TH | |
View setupYubikey.sh
#! /bin/bash | |
set -e | |
GPGCONF_PATH=$(which gpgconf) | |
if [[ "$GPGCONF_PATH" != "/usr/local/bin/gpgconf" ]]; then | |
echo "You don't have gnupg installed from brew, lets install it." | |
brew install gnupg pinentry-mac ykpers | |
else |
View config-ayufan
# | |
# Automatically generated file; DO NOT EDIT. | |
# Linux/arm64 4.4.103-rockchip-ayufan-1 Kernel Configuration | |
# | |
CONFIG_ARM64=y | |
CONFIG_64BIT=y | |
CONFIG_ARCH_PHYS_ADDR_T_64BIT=y | |
CONFIG_MMU=y | |
CONFIG_ARCH_MMAP_RND_BITS_MIN=18 | |
CONFIG_ARCH_MMAP_RND_BITS_MAX=24 |
View SMBDIS.ASM
;SMBDIS.ASM - A COMPREHENSIVE SUPER MARIO BROS. DISASSEMBLY | |
;by doppelganger (doppelheathen@gmail.com) | |
;This file is provided for your own use as-is. It will require the character rom data | |
;and an iNES file header to get it to work. | |
;There are so many people I have to thank for this, that taking all the credit for | |
;myself would be an unforgivable act of arrogance. Without their help this would | |
;probably not be possible. So I thank all the peeps in the nesdev scene whose insight into | |
;the 6502 and the NES helped me learn how it works (you guys know who you are, there's no |
View example.go
package main | |
/* | |
#cgo CFLAGS: -x objective-c | |
#cgo LDFLAGS: -framework Cocoa | |
#import <Cocoa/Cocoa.h> | |
int | |
StartApp(void) { | |
[NSAutoreleasePool new]; |
View example.go
package main | |
/* | |
#cgo CFLAGS: -x objective-c | |
#cgo LDFLAGS: -framework Cocoa | |
#import <Cocoa/Cocoa.h> | |
int | |
StartApp(void) { | |
[NSAutoreleasePool new]; |
View main.hs
{-# LANGUAGE MagicHash, UnboxedTuples #-} | |
module Main(main) where | |
import GHC.Exts ( addrToAny# ) | |
import GHC.Ptr ( Ptr(..) ) | |
import System.Info ( os, arch ) | |
import Encoding | |
import ObjLink | |
main :: IO () |
View bridged.conf
# /etc/openvpn/bridged.conf | |
comp-lzo | |
persist-key | |
persist-tun | |
dh /etc/openvpn/dh1024.pem | |
ca /etc/openvpn/ca.crt | |
cert /etc/openvpn/bridged.crt | |
key /etc/openvpn/bridged.key |
View Deriv.idr
module Deriv | |
import Control.Isomorphism | |
-- | |
-- A type constructor df is the derivative of the type constructor f if for all x and e there exists d such | |
-- such that | |
-- | |
-- f (x + e) ~ f x + e * (df x) + e^2 * d | |
-- |
NewerOlder