Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
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
\usepackage{MnSymbol} | |
\newcommand{\interp}[2][I]{\lsem #2\rsem^\mathfrak{#1}} | |
% | |
% Usage: | |
% Two modes available. | |
\interp{\varphi} % translates to Intepretaion of \varphi in \mathfrak{I} | |
% | |
% or specifiy Interpretation | |
\interp[X]{\varphi} % translates to Intepretaion of \varphi in \mathfrak{X} |
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
javascript:window.location=('dolphin://'+window.location.host+window.location.pathname) |
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
############################################################# | |
# # | |
# Generic Makefile for C++ projects # | |
# Author: Gabriel <software@kanedo.net> # | |
# Date: 2014-04-18 # | |
# Version: 1.0 # | |
# # | |
############################################################# | |
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
#!/usr/bin/python | |
# CLI program to control the mediakeys on OS X. Used to emulate the mediakey on a keyboard with no such keys. | |
# Easiest used in combination with a launcher/trigger software such as Quicksilver. | |
# Main part taken from http://stackoverflow.com/questions/11045814/emulate-media-key-press-on-mac | |
# Glue to make it into cli program by Fredrik Wallner http://www.wallner.nu/fredrik/ | |
import Quartz | |
import sys |
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
fermat :: (Integral i, Show i) => i -> Bool | |
fermat 1 = True -- Fermat's litte theorem only works for | |
fermat 2 = True -- numbers greater then 2 | |
fermat x = not (null [x | y<-[2.. pred x], (y^(x-1) `mod` x) == 1]) |
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
/* | |
Plugin Name: Language Descriptor for admin Bar | |
Plugin URI: http://kanedo.net | |
Description: Add language descriptor to wordpress adminbar | |
Version: 1.0 |
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
var mobileVersion = function(){ | |
var version = 0.0; | |
if(isMobile.iOS()){ | |
version = parseFloat( | |
('' + (/CPU.*OS ([0-9_]{1,5})|(CPU like).*AppleWebKit.*Mobile/i.exec(navigator.userAgent) || [0,''])[1]) | |
.replace('undefined', '3_2').replace('_', '').replace('_', '') | |
) || false; | |
} | |
if(isMobile.Android()){ |
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
var isIOS = { | |
iPhone: function(){ | |
return navigator.userAgent.match(/iPhone/i) ? true : false; | |
}, | |
iPad: function(){ | |
return navigator.userAgent.match(/iPad/i) ? true : false; | |
}, | |
iPod: function(){ | |
return navigator.userAgent.match(/iPod/i) ? true : false; | |
}, |