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()){ |