Skip to content

Instantly share code, notes, and snippets.

View alea12's full-sized avatar
🏠

alea12 alea12

🏠
31 followers · 39 following
View GitHub Profile
@alea12
alea12 / pigeon.php
Last active December 15, 2015 11:39 — forked from okumin/pigeon.php
<?php
$target = "";
$timestamp = date('Y-m-d hms');
$next_cursor = -1;
$f = fopen($target . " - " . $timestamp . ".txt", "w");
while($next_cursor != 0) {
$api = "https://api.twitter.com/1/followers/ids.xml?cursor=" .
$next_cursor . "&screen_name=" . $target;
@alea12
alea12 / pigeon.rb
Created March 29, 2013 07:39
require 'rubygems'
require 'twitter'
target = ''
next_cursor = -1
Twitter.configure do |config|
config.consumer_key = ''
config.consumer_secret = ''
config.oauth_token = ''
@alea12
alea12 / favbomb.rb
Last active December 15, 2015 13:58
require 'rubygems'
require 'twitter'
Twitter.configure do |config|
config.consumer_key = ''
config.consumer_secret = ''
config.oauth_token = ''
config.oauth_token_secret = ''
end
@alea12
alea12 / markdown.xml
Created May 2, 2013 15:19 — forked from lg0/markdown.xml
<!-- copy this to YOUR_THEME.tmTheme-->
<dict>
<key>name</key>
<string>diff: deleted</string>
<key>scope</key>
<string>markup.deleted</string>
<key>settings</key>
<dict>
<key>background</key>
<string>#EAE3CA</string>
@alea12
alea12 / twitter.rb
Created May 7, 2013 01:07
Using Twitter API by Ruby
require 'rubygems'
require 'twitter'
Twitter.configure do |config|
config.consumer_key = 'CONSUMER_KEY'
config.consumer_secret = 'CONSUMER_SECRET'
config.oauth_token = 'ACCESS_TOKEN'
config.oauth_token_secret = 'ACCESS_TOKEN_SECRET'
end
@alea12
alea12 / 最近.tex
Created May 21, 2013 02:57
\documentclass{book}
\usepackage[dvipdfmx]{graphicx}
\pagestyle{empty}
%--preamble--
\makeatletter
\parsep = 0pt
\labelsep = .5zw
\def\@listi{%
\leftmargin = 2zw \rightmargin = 0pt
@alea12
alea12 / AvailableFonts.java
Last active December 17, 2015 14:29
List available fonts of the environment using Java
import java.awt.*;
public class AvailableFonts {
public static void main(String[] args) {
GraphicsEnvironment ge = GraphicsEnvironment.getLocalGraphicsEnvironment();
Font[] avfonts = ge.getAllFonts();
for (Font f : avfonts) {
System.out.println(f.getFontName());
}
@alea12
alea12 / ssh_proxy.md
Created May 22, 2013 14:10
@alea12
alea12 / remove_dashes.php
Created June 13, 2013 12:17
<?php
require_once('class.image.php');
$target_file = 'data/' . $_GET['t'];
$size_info = getimagesize($target_file);
$original_width = $size_info[0];
$original_height = $size_info[1];
// remove dashes from top, left sides
@alea12
alea12 / prisoner.rb
Last active December 18, 2015 21:09
囚人のジレンマ
# input:
# strategy_i - strategy of player 1, 2.
# output:
# payoff_i - payoff rewarded to player 1, 2.
def prisoner (strategy_1, strategy_2)
if strategy_1 == "m"
if strategy_2 == "m"
payoff_1 = -1
payoff_2 = -1