Skip to content

Instantly share code, notes, and snippets.

View tripu's full-sized avatar

tripu tripu

160 followers · 369 following
View GitHub Profile
@tripu
tripu / list-with-blocks.md
Last active April 27, 2017 10:29
Markdown: block codes inside lists
  1. One.
  2. Two (2 spaces, fails):
console.debug('fails :(');
((x) => { foo; return bar; })();
  1. Three
@tripu
tripu / gist:2a0d720c37ac3ab2d9513135a0e547f9
Last active March 22, 2017 09:47

yeah

  1. Test
    1. a
    2. b
  2. Foo

foo

  1. Test
@tripu
tripu / calendar-japan-2017
Created January 17, 2017 14:08
All Japanese public holidays and some festivities in 2017, in RTM format
Public holiday (Japan): New Year's Day !2 #Japan #holiday #weekend ^1 Jan 2017
Public holiday (Japan): New Year's Day observed !2 #Japan #holiday #weekend ^2 Jan 2017
Public holiday (Japan): Coming of Age Day !2 #Japan #holiday #weekend ^9 Jan 2017
Public holiday (Japan): National Foundation Day !2 #Japan #holiday #weekend ^11 Feb 2017
Festivity (Japan): Dolls' Festival/Girls' Festival !3 #Japan #festivity #weekend ^3 Mar 2017
Public holiday (Japan): Spring Equinox !2 #Japan #holiday #weekend ^20 Mar 2017
Public holiday (Japan): Shōwa Day !2 #Japan #holiday #weekend ^29 Apr 2017
Public holiday (Japan): Constitution Memorial Day !2 #Japan #holiday #weekend ^3 May 2017
Public holiday (Japan): Greenery Day !2 #Japan #holiday #weekend ^4 May 2017
Public holiday (Japan): Children's Day !2 #Japan #holiday #weekend ^5 May 2017
@tripu
tripu / keybase.md
Created October 20, 2016 11:16

Keybase proof

I hereby claim:

  • I am tripu on github.
  • I am tripu (https://keybase.io/tripu) on keybase.
  • I have a public key ASAu5ioCgx286Ss5sTQ7uCwssH24FGd4T7ZyosS-7EYm2go

To claim this, I am signing this object:

@tripu
tripu / video-stabilisation-linux-howto.md
Last active February 14, 2016 09:05
How to image-stabilise a video on Linux

How to image-stabilise a video on Linux

Recipe

$ sudo apt-get install transcode
$ transcode -J stabilize -i <INPUT>
$ transcode -J transform=smoothing=<FRAMES> -i <INPUT> -o <OUTPUT> -y <MODULE>
@tripu
tripu / All public holidays in 2014 for Madrid city (Spain), in RTM format
Created November 15, 2013 18:54
All public holidays in 2014 for Madrid city (Spain), in RTM format
Public holiday (Spain) !1 #holiday #Spain ^1 Jan 2014
Public holiday (Spain) !1 #holiday #Spain #weekend ^6 Jan 2014
Public holiday (Spain) !1 #holiday #Spain ^17 Apr 2014
Public holiday (Spain) !1 #holiday #Spain #weekend ^18 Apr 2014
Public holiday (Spain) !1 #holiday #Spain #weekend ^1 May 2014
Public holiday (Madrid region) !1 #holiday #Madridregion #weekend ^2 May 2014
Public holiday (Madrid city) !1 #holiday #Madridcity ^15 May 2014
Public holiday (Spain) !1 #holiday #Spain ^19 Jun 2014
Public holiday (Spain) !1 #holiday #Spain #weekend ^15 Aug 2014
Public holiday (Spain) !1 #holiday #Spain #weekend ^1 Nov 2014
@tripu
tripu / calendar-madrid-2016
Created December 22, 2015 14:52
All public holidays in 2016 for Madrid city (Spain), in RTM format
Public holiday (Spain): Año Nuevo !1 #Spain #holiday #weekend ^1 Jan 2016
Public holiday (Spain): Epifanía del Señor !1 #Spain #holiday ^6 Jan 2016
Public holiday (Spain): Jueves Santo !1 #Spain #holiday #weekend ^24 Mar 2016
Public holiday (Spain): Viernes Santo !1 #Spain #holiday #weekend ^25 Mar 2016
Public holiday (Spain): Fiesta del Trabajo !1 #Spain #holiday #Madridregion #weekend ^2 May 2016
Public holiday (Madrid city): traslado de la festividad de San Isidro !1 #Spain #holiday #Madridcity #weekend ^16 May 2016
Public holiday (Spain): Santiago Apóstol !1 #Spain #holiday #weekend ^25 Jul 2016
Public holiday (Spain): Asunción de la Virgen !1 #Spain #holi
@tripu
tripu / gist:6488537
Last active December 22, 2015 14:49
Spain vs. Japan in relevant, objective, measurable terms
@tripu
tripu / calendar-japan-2016
Created December 17, 2015 07:22
All Japanese public holidays and some festivities in 2016, in RTM format
Public holiday (Japan): New Year's Day !1 #Japan #holiday #weekend ^1 Jan 2016
Public holiday (Japan): January 2 Bank Holiday !1 #Japan #holiday #weekend ^2 Jan 2016
Public holiday (Japan): January 3 Bank Holiday !1 #Japan #holiday #weekend ^3 Jan 2016
Public holiday (Japan): Coming of Age Day !1 #Japan #holiday #weekend ^11 Jan 2016
Public holiday (Japan): National Foundation Day !1 #Japan #holiday ^11 Feb 2016
Festivity (Japan): Dolls' Festival/Girls' Festival !2 #Japan #festivity ^3 Mar 2016
Public holiday (Japan): Spring Equinox, March equinox !1 #Japan #holiday #weekend ^20 Mar 2016
Public holiday (Japan): Spring Equinox observed !1 #Japan #holiday #weekend ^21 Mar 2016
Public holiday (Japan): Shōwa Day !1 #Japan #holiday #weekend ^29 Apr 2016
Public holiday (Japan): Constitution Memorial Day !1 #Japan #holiday ^3 May 2016
@tripu
tripu / All public holidays in 2015 for Madrid city (Spain), in RTM format
Last active August 29, 2015 14:15
All public holidays in 2015 for Madrid city (Spain), in RTM format
Public holiday (Spain) !1 #holiday #Spain ^1 Jan 2015
Public holiday (Spain) !1 #holiday #Spain ^6 Jan 2015
Public holiday (Spain) !1 #holiday #Spain ^19 Mar 2015
Public holiday (Spain) !1 #holiday #Spain #weekend ^2 Apr 2015
Public holiday (Spain) !1 #holiday #Spain #weekend ^3 Apr 2015
Public holiday (Spain) !1 #holiday #Spain #weekend ^1 May 2015
Public holiday (Madrid region) !1 #holiday #Madridregion #weekend ^2 May 2015
Public holiday (Madrid city) !1 #holiday #Madridcity #weekend ^15 May 2015
Public holiday (Spain) !1 #holiday #Spain ^4 Jun 2015
Public holiday (Spain) !1 #holiday #Spain #weekend ^15 Aug 2015