huyng

#!/usr/bin/env python
# Reflects the requests from HTTP methods GET, POST, PUT, and DELETE
# Written by Nathan Hamiel (2010)

from BaseHTTPServer import HTTPServer, BaseHTTPRequestHandler
from optparse import OptionParser

class RequestHandler(BaseHTTPRequestHandler):
    
    def do_GET(self):

Newky

import System.Random
newtype State s a = State {
        runState :: s -> (a, s)
}


returnState :: a -> State s a 
returnState a = State (\s-> (a, s)) 

bindState :: State s a -> (a -> State s b) -> State s b 

qnighy

Coqはじめる人に説明する用文章

Coqとは何か？

形式的定理証明をするためのプログラミング言語と開発環境のセットです。

Coqで何ができるの？

MohamedAlaa

tmux shortcuts & cheatsheet

start new:

tmux

start new with session name:

tmux new -s myname

bouk

import Data.List (insert)

fst3 (x,_,_) = x
snd3 (_,x,_) = x
trd3 (_,_,x) = x

toTuple2Int :: String -> (Int, Int)
toTuple2Int s = (read $ takeWhile (/=' ') s :: Int, read $ dropWhile (==' ') $ dropWhile (/=' ') s :: Int)

toTupleTuple2Int :: String -> (Int, (Int, Int))

reuk

void drawFolder(int sides, float rad) {
  float ang = (frameCount * 2 * PI * 0.05) / sides;
  
  PVector maxy = new PVector(0, 0);
  
  PVector[] v = new PVector[sides];
  
  for (int i = 0; i != v.length; ++i) {
    float angle = ((2 * PI * i) / sides) + ang;
    float x = sin(angle) * rad;

hoto17296

@charset "utf-8";

/* labelと:checked擬似クラスで擬似onClick実装 */
#snowfall label {
  font-size: xx-large;
  fon-weight: bold;
  color: #fff;
  background-color: #99f;
  padding: .5em 1em;
  margin: 1em 0;

kumar8600

ここでは、Lingr Bot APIについての情報を取り扱わず、Lingr APIについてのみ扱う。

参照

• Lingr API · lingr/lingr Wiki https://github.com/lingr/lingr/wiki/Lingr-API
• APIメモ · tsukkee/lingr-vim Wiki https://github.com/tsukkee/lingr-vim/wiki/API%E3%83%A1%E3%83%A2
• lingr-vim/lingr.py at master · tsukkee/lingr-vim https://github.com/tsukkee/lingr-vim/blob/master/autoload/lingr.py
• pyLingr/pylingr.py at master · yoshiori/pyLingr https://github.com/yoshiori/pyLingr/blob/master/pylingr.py
• API - lingr - Lingr API documentation - Lingr API - Google Project Hosting https://code.google.com/p/lingr/wiki/API
  • とても古く、現在の仕様と合致しない点が多い

Wunkolo

#include <stdio.h>
#include <stdint.h>
#include <stdlib.h>
#include <math.h>
#include <string>

#include <initializer_list>
#include <thread>
#include <chrono>

Psycojoker

Apparently the porn industry is going after github pages (by sending DMCA to google), you can read the story here (found there).

Using https://www.chillingeffects.org/notices/search?page=1&sort_by=&term=github.com (https://github.com/berkmancenter/chillingeffects/blob/master/doc/api_documentation.mkd#example-successful-response-2) (and an horribly quick and dirty script), here is the list all the concerned users and repositories page (you can find the data bellow):

Users pages

• abbywinters
• crazed
• discode
• inthevipalottalust