yukelog.rb

#! /usr/bin/ruby -Ku

$udid = 'aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa'
HOST = 'yukeyusha4iphone.appspot.com'
YYVER = '3.0.1'

require 'net/https'
require 'rubygems'
require 'json'

penguin2716

#-*- coding: utf-8 -*-
Plugin.create :gray_protected_users do
  UserConfig[:protected_users_background_color] ||= [0xcccc,0xcccc,0xcccc]

  filter_message_background_color do | mp, array |
    if mp.to_message.user[:protected] == true
      array = UserConfig[:protected_users_background_color]
    end
    [mp, array]
  end

nna774

-- オセロ
--import Data.Functor
import Maybe
import Control.Monad

data Color = Black | White deriving (Eq, Show, Read)

type Cell = Maybe Color

type Board = [[ Cell ]]

myuon

\abf.fab
= \abf.(I f)(K (ab)f)
= \ab.SI(K(ab))
= \ab.(K(SI)(ab))(K(ab))
= \ab.S(K(SI))K(ab)
= \ab.(K(S(K(SI))K) b)(a b)
= \ab.S(K(S(K(SI))K))ab
= S(K(S(K(SI))K))

kazu-yamamoto

module Main where

import Control.Monad
import Control.Monad.Free
import Prelude hiding (putChar, getChar)
import qualified System.IO as IO
import Test.QuickCheck

----------------------------------------------------------------
-- Our DSL

mzp

わかめモナ化: Maybeモナドの証明 + Coq入門

証明の重要性

• うかつにモナドと言うと刺される

例: jQueryはモナドだ - id:anatooのブログ

「jQueryはモナドである」と主張したけど、証明はなかったのですぐに刺された。

JQueryがモナドかどうかとか - たけをの日記＠天竺から帰ってきたよ

penguin2716

#-*- coding: utf-8 -*-

Plugin.create :aieeeee do

  filter_gui_postbox_post do |gui_postbox|
    Plugin.create(:gtk).widgetof(gui_postbox).widget_post.buffer.text = "ｱｲｴｴｴｴｴ!#{'　' * rand(30)}"
    [gui_postbox]
  end

end

satomacoto

# -*- coding:utf-8 -*-

from pymongo import MongoClient

client = MongoClient()
db = client.xvideos

def create_db():
    f = open('xvideos.com-db.csv')
    for line in f:

CLCL

CentOS 6でとにかくL2TP/IPsecサーバ

• AWSでEC2のインスタンスを借りる
• 今回は東京リージョンのCentOS 6.3 x86_64 Release MediaのAIM(ami-3fe8603e)でインスタンスを建てる
• Security Group: L2TP/IPsec（Inbound 22/TCP: SSH, 500/UDP: ISAKMP, 1701/UDP: L2TP, 4500/UDP: IPSec NAT Traversal）を許可
• ec2-54-249-173-214.ap-northeast-1.compute.amazonaws.com（グローバルIPアドレス：54.249.173.214）にrootでログイン

SELinuxを無効にする

[root@ip-10-132-164-105 ~]# setenforce 0

geta6

#!/bin/bash
# Modified by Yu-Jie Lin for Bash from zsh version
 
ORG="$1"
 
if [[ ${ORG##*.} =~ JPG|jpg|JPEG|jpeg|GIF|gif|PNG|png ]]; then
 
  CATWIDTH=$(tput cols)
 
  SRC=$(mktemp).png