Skip to content

Instantly share code, notes, and snippets.

View hakatashi's full-sized avatar
🈚
idgaf

Koki Takahashi hakatashi

🈚
idgaf
202 followers · 151 following
View GitHub Profile
@hakatashi
hakatashi / sig-web-14.md
Created December 14, 2016 10:41
TSG 第14回Web分科会 カンペ

TSG 第14回Web分科会 カンペ

CanvasとWebGLの周辺技術について学ぶ

Hello, World!

<!DOCTYPE html>
<html>
@hakatashi
hakatashi / poor-stego-guy-solver.sage
Created July 13, 2020 04:37
Solver of "Poor Stego Guy (TSG CTF 2020)" by challenge author
import re
from sage.modules.free_module_integer import IntegerLattice
from math import sqrt, cos, pi
from PIL import Image
# Restore ZZs of original JPEG
qt = [
16, 11, 10, 16, 24, 40, 51, 61,
@hakatashi
hakatashi / esolang-box-dev.sh
Last active April 30, 2020 06:59
sudo yum update -y
sudo yum install -y git openssl-devel readline-devel zlib-devel make glibc-devel gcc patch
sudo amazon-linux-extras install docker -y
sudo service docker start
sudo usermod -a -G docker ec2-user
exec sudo su -l $USER
git clone https://github.com/rbenv/rbenv.git ~/.rbenv
echo 'export PATH="/usr/local/go/bin:$HOME/.rbenv/bin:$HOME/go/bin:$PATH"' >> ~/.bash_profile
echo 'export GOPATH=$HOME/go' >> ~/.bash_profile
echo 'eval "$(rbenv init -)"' >> ~/.bash_profile
@hakatashi
hakatashi / solve.py
Created March 1, 2020 15:43
Aero CTF 2020 - Magic II (Crypto, 496pts) Writeup (part 2)
from z3 import *
outputs = '011110100001111101000100001101011111010110000110100010101011101110110110100000101110000011101000001001011010100111000110100111011100001000010010111100000000000001001011000010110001001111111011100010010110101001000001110111111110000111110000010001011101101101100010111011101101001010110000001011010110011110011101001001000111101000011001100111001010011101100000011111001101001111000010000010101111000111101100000111010000010110100010011100111010001000100000000110100110110101110000110111111000001010111100000100110011001011100111101110011111001011110010000000101110010011001101101011101011001100111010101111010111011100011110111010001100111010100010110000101010100100010001010110101100101000111001111000111011000000001000001110100000110000101101110111000000000010011011'
initial_state = BoolVector('state', 64)
solver = Solver()
state = initial_state
for _ in range(512):
new_state = [None] * 64
@hakatashi
hakatashi / solve.sage
Last active March 1, 2020 17:13
Aero CTF 2020 - Magic II (Crypto, 496pts) Writeup (part 1)
from sage.modules.free_module_integer import IntegerLattice
from random import randint
import sys
from itertools import starmap
from operator import mul
# Babai's Nearest Plane algorithm
# from: http://mslc.ctf.su/wp/plaidctf-2016-sexec-crypto-300/
def Babai_closest_vector(M, G, target):
small = target
@hakatashi
hakatashi / sig-beginners-web-02.md
Last active September 5, 2019 07:56

TSG 初心者分科会 Web特講 第2回 「Webアプリケーション制作実習」

簡単なRailsアプリケーションを制作し、MVCモデルによる高度なウェブアプリケーションの仕組みを学ぶ。またVue.jsを用いたデータバインディングの仕組みを学ぶ。

RubyとRailsののインストール

rbenvをインストール

# Mac
@hakatashi
hakatashi / report.md
Created July 4, 2019 19:35

「コンピュータアーキテクチャ」レポート課題

  • 学生証番号: 03-170512
  • 氏名: 高橋光輝

課題1

この授業で設計したプロセッサのアセンブラを Perl で実装せよ

Perlで実装せよとあるが、講義において各々好きなプログラミング言語を用いてよいとの指示を受けたため、本課題では自らが得意とするRust言語を用いて実装を行った。

@hakatashi
hakatashi / achievements.md
Last active July 11, 2019 05:32
TSG実績一覧
@hakatashi
hakatashi / batch.sh
Last active May 6, 2019 15:53
debcheckout --package acl --type git git://git.savannah.nongnu.org/acl.git
debcheckout --package acpi-support-base --type git git://anonscm.debian.org/pkg-acpi/acpi-support.git
debcheckout --package acpid --type git git://anonscm.debian.org/pkg-acpi/acpid.git
debcheckout --package adduser --type svn svn://svn.debian.org/adduser/
debcheckout --package apt --type git git://anonscm.debian.org/apt/apt.git
debcheckout --package apt-listchanges --type git git://anonscm.debian.org/collab-maint/apt-listchanges.git
debcheckout --package aptitude --type git git://anonscm.debian.org/aptitude/aptitude.git --git-track debian-sid
debcheckout --package at --type git git://anonscm.debian.org/collab-maint/at.git
debcheckout --package base-passwd --type git git://anonscm.debian.org/users/cjwatson/base-passwd.git
debcheckout --package bash --type bzr http://bazaar.launchpad.net/~doko/+junk/pkg-bash-debian
@hakatashi
hakatashi / temp.js
Last active March 12, 2019 17:12
require('dotenv').config();
const {WebClient} = require('@slack/client');
const AWS = require('aws-sdk');
const moment = require('moment');
const {groupBy} = require('lodash');
(async () => {
const slack = new WebClient(process.env.SLACK_TOKEN);