Skip to content

Instantly share code, notes, and snippets.

View wilbeibi's full-sized avatar
:octocat:

Hongyi Shen wilbeibi

:octocat:
131 followers · 147 following
View GitHub Profile
@wilbeibi
wilbeibi / gist:4616202
Created January 24, 2013 00:20
#include <iostream>
#include <fstream>
#include <string>
using namespace std;
int main()
{
freopen("beads.in","r",stdin);
freopen("beads.out","w",stdout);
int len;
@wilbeibi
wilbeibi / gist:5014674
Last active December 14, 2015 02:38
struct Job{
int j,b;
bool operator < (const Job& x) const {
return j < x.j;
}
};
// ... ...
vector <Job> v;
v.push_back((Job){j,b});
@wilbeibi
wilbeibi / gist:5054792
Created February 28, 2013 06:53
# Grab captcha from douban login page
import urllib
import urllib2
import requests
import re
url = 'http://www.douban.com/accounts/login'
local = '/home/wilbeibi/Dropbox/Papers/Materials/Pool/douban/do'
i = 0
name = ""
@wilbeibi
wilbeibi / gist:5054796
Created February 28, 2013 06:53
# Grab captcha from douban login page
import urllib
import urllib2
import requests
import re
url = 'http://www.douban.com/accounts/login'
local = '/home/wilbeibi/Dropbox/Papers/Materials/Pool/douban/do'
i = 0
name = ""
@wilbeibi
wilbeibi / FirstThread
Created December 3, 2013 18:44
cli() ->
io:fwrite("Welcome to hash function.~n"),
{ok, [Cmd]} = io:fread("Enter a command:", "~s"),
{ok, [String]} = io:fread("Enter a String:", "~s"),
io:fwrite("Output: Command: ~s, String: ~s.~n", [Cmd, String]),
SecondThread = spawn(hello, op, []),
SecondThread ! {self(), [Cmd, String]},
'UI finished'.
@wilbeibi
wilbeibi / download all pdf in single web page
Created January 31, 2015 19:46
PyQuery
from pyquery import PyQuery as pq
from multiprocessing.dummy import Pool as ThreadPool
import urllib
class Download():
def __init__(self, ext, url):
self.ext = ext
self.url = url
def getlinks(self):
# @return list of files
@wilbeibi
wilbeibi / gist:a2ac59f211bcd681d007
Last active August 29, 2015 14:15
colorize
# -*- coding: utf-8 -*-
def colorize(*args):
def getColor(color):
return {
'black' : '\033[30m',
'red' : '\033[31m',
'green' : '\033[32m',
'orange' : '\033[33m',
'blue' : '\033[34m',
'purple' : '\033[35m',
@wilbeibi
wilbeibi / gist:bf0b7bf93a96a7b4e60e
Created June 1, 2015 16:27
-----BEGIN PGP PUBLIC KEY BLOCK-----
Version: GnuPG v1
mQENBFMamAMBCACyDjPYQU3eIQLLYQfm17bwEZeN8qnKxQmQLNfVa/wRLpbn5KSu
RwIqh3mi1QXXEk01ugee8iPKEGJk0uLoA/AdD/7z+nTwVY/umqV9VgN3GOLR/D+u
Q9crvM3uvr7K72zCBCvQ3ZscwuQuLb9hssOYgmR35nS7pvyrIZ4PFtaVWBpXf/lP
exS597HqfW4CP+if7X1D5hKA6YVEp3ThVhhHO+tHNMb95hO0YJ93Ea4L3s2/io7i
bWw54TGsnjvtstY7ZoM/6JreYvSbJ+yyLwzChEWb8zEM2sNyJfTmvRxXAChQ3gCB
ATg2BnT4Q4mEKhH0netb3PXOr6rLrOMCIcKDABEBAAG0IEhvbmd5aSBTaGVuIDx3
aWxiZWliaUBnbWFpbC5jb20+iQE4BBMBAgAiBQJTGpgDAhsDBgsJCAcDAgYVCAIJ
@wilbeibi
wilbeibi / InstagramLoginAuth.py
Created July 26, 2015 19:28
# -*- coding: utf-8 -*-
import tornado.httputil
import tornado.httpclient
import tornado.web
import tornado.gen
from tornado.auth import AuthError
import urllib
from tornado.concurrent import return_future
from tornado.auth import _auth_return_future
from tornado import escape
@wilbeibi
wilbeibi / how_to_setup_irony_mode.md
Created September 24, 2015 05:18 — forked from soonhokong/how_to_setup_irony_mode.md
irony-mode

How to Setup emacs irony-mode in Ubuntu-12.04

I recently found a nice emacs-mode, [irony-mode], which can be used with [company-mode], [flycheck-mode], and [eldoc-mode]. It works nicely with CMake-based projects. The document contains a list of instructions for setting things up. I assume that you're using a fresh-installed Ubuntu-12.04.5 (64-bit). It uses [Lean theorem prover][lean] as an example project.