I hereby claim:
- I am kanedo on github.
- I am kanedo (https://keybase.io/kanedo) on keybase.
- I have a public key whose fingerprint is 164C 817C EA9E 5106 7E6D C663 D067 2EBA 5F64 E214
To claim this, I am signing this object:
I hereby claim:
To claim this, I am signing this object:
\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} |
javascript:window.location=('dolphin://'+window.location.host+window.location.pathname) |
############################################################# | |
# # | |
# Generic Makefile for C++ projects # | |
# Author: Gabriel <[email protected]> # | |
# Date: 2014-04-18 # | |
# Version: 1.0 # | |
# # | |
############################################################# | |
#!/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 |
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]) |
/* | |
Plugin Name: Language Descriptor for admin Bar | |
Plugin URI: http://kanedo.net | |
Description: Add language descriptor to wordpress adminbar | |
Version: 1.0 |
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()){ |