Skip to content

Instantly share code, notes, and snippets.

View tyabu12's full-sized avatar

Tomohito YABU tyabu12

13 followers · 17 following
  • Tokyo, Japan
View GitHub Profile
@tyabu12
tyabu12 / vb.rb
Last active August 24, 2017 09:21
module VB
# 整数nの符号化
# バイト列のバイナリへの変換を忘れないこと！
def self.encode_number(n)
bytes = []
# ほげほげ
bytes # このままだと…
end
@tyabu12
tyabu12 / vb_encode.rb
Last active August 24, 2017 09:15
require './vb'
filename = ARGV[0]
File.open(filename, 'r').each_line do |line|
line.chomp! # 末尾の改行を削除
# ほげほげ
print [tag.bytesize, vb.bytesize], tag, vb
end
@tyabu12
tyabu12 / vb_decode.rb
Created August 24, 2017 09:12
require './vb'
filename = ARGV[0]
File.open(filename, 'rb') do |file|
until file.eof
# ほげほげ
puts "#{tag}\t#{numbers.join(',')}"
end
end
@tyabu12
tyabu12 / honest_and_liar.why
Created April 1, 2018 16:12
theory Situation
type person = A | B | C
type status = Honest | Liar
function status (person) : status
axiom Honest_is_the_only_one:
(status A = Honest /\ status B = Liar /\ status C = Liar) \/
(status A = Liar /\ status B = Honest /\ status C = Liar) \/
(status A = Liar /\ status B = Liar /\ status C = Honest)
@tyabu12
tyabu12 / shimamon-init.sh
Last active July 6, 2018 02:23
$ REPO_URL=(リポジトリURL) curl -L https://gist.githubusercontent.com/tyabu12/d46cb5e2d043b92b2b22715a03dad704/raw/shimamon-init.sh | bash
#!/bin/bash
set -ex
cd ~
TMP_DIR=`mktemp -d --suffix=-home`
# すべてのファイルを一時的に退避
sudo mv * .[^\.]* $TMP_DIR
@tyabu12
tyabu12 / extract_img_isucon7_qualify.go
Last active July 9, 2019 11:40
ISUCON7 予選で DB から画像データをぶっこ抜いてくるコード ʕ◔ϖ◔ʔ
package main
import (
"flag"
"fmt"
"log"
"os"
"time"
_ "github.com/go-sql-driver/mysql"
@tyabu12
tyabu12 / isucon7-qualifier-bench.sh
Last active July 15, 2019 01:23
ISUCON7 予選 で vagrant からベンチ投げるスクリプト
#!/bin/bash
# 初回のみ
git clone --depth 1 https://github.com/matsuu/vagrant-isucon
cd vagrant-isucon/isucon7-qualifier
vagrant up bench
# ホストアドレスをカンマ区切りで指定
IMAGE_HOST_IP="XXX.XXX.XXX.XXX,XXX.XXX.XXX.XXX"
@tyabu12
tyabu12 / pixiv-isucon2016-bench.sh
Last active July 15, 2019 01:23
pixiv-isucon2016 で vagrant からベンチ投げるスクリプト
#!/bin/bash
# 初回のみ
git clone --depth 1 https://github.com/tyabu12/vagrant-pixiv-isucon2016.git
cd vagrant-pixiv-isucon2016
vagrant up bench
IMAGE_HOST_IP="XXX.XXX.XXX.XXX"
vagrant ssh bench -c "sudo -u isucon sh -c '/opt/go/bin/benchmarker -t http://$IMAGE_HOST_IP -u /opt/go/src/github.com/tyabu12/private-isu/benchmarker/userdata'"
@tyabu12
tyabu12 / upload_to_vagrant_cloud.sh
Last active November 4, 2022 07:46
Vagrant cloud upload script.
#!/bin/bash
USERNAME="CHANGE ME"
PROVIDER_NAME="virtualbox"
ACCESS_TOKEN="CHANGE ME"
set -eu
if [ $# -ne 3 ]; then
cat <<_EOT_
@tyabu12
tyabu12 / isucon6-qualifier-bench.sh
Last active July 15, 2019 01:23
ISUCON6 予選 で vagrant からベンチ投げるスクリプト
#!/bin/bash
# 初回のみ
git clone --depth 1 https://github.com/matsuu/vagrant-isucon
cd vagrant-isucon/isucon6-qualifier
vagrant up bench
IMAGE_HOST_IP="XXX.XXX.XXX.XXX"
vagrant ssh bench -c "sudo -u isucon sh -c 'cd /home/isucon/isucon6q; ./isucon6q-bench -target $IMAGE_HOST_IP'"