Skip to content

Instantly share code, notes, and snippets.

Avatar
⚠️
idgaf

Koki Takahashi hakatashi

⚠️
idgaf
View GitHub Profile
@hakatashi
hakatashi / milk-solver.js
Last active Oct 11, 2020
SECCON CTF 2020 Milk - Author's Solver
View milk-solver.js
const Axios = require('axios');
const qs = require('querystring');
const https = require('https');
const random = Array(10).fill().map(() => 'abcdefg'[Math.floor(Math.random() * 6)]).join('');
(async () => {
const axios = Axios.create({
httpsAgent: new https.Agent({
rejectUnauthorized: false,
@hakatashi
hakatashi / solve.cr
Created Sep 22, 2020
TokyoWesterns CTF 2020 sqrt solver script
View solve.cr
require "big"
record Mint, value : BigInt do
MOD = BigInt.new("6722156186149423473586056936189163112345526308304739592548269432948561498704906497631759731744824085311511299618196491816929603296108414569727189748975204102209646335725406551943711581704258725226874414399572244863268492324353927787818836752142254189928999592648333789131233670456465647924867060170327150559233")
ZERO = BigInt.new("0")
ONE = BigInt.new("1")
TWO = BigInt.new("2")
def self.factorial(n)
if @@factorials.empty?
@hakatashi
hakatashi / poor-stego-guy-solver.sage
Created Jul 13, 2020
Solver of "Poor Stego Guy (TSG CTF 2020)" by challenge author
View poor-stego-guy-solver.sage
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 / tahoiya-0-logs.md
Last active Oct 19, 2020
[TSG] たほいや対戦ログ 第801回~第900回
View tahoiya-0-logs.md

第801回 「えきゅめにかる

  • 日時 2020-04-29 22:50:44
  • 参加者 たほいやAIくん2号 (仮) @暑いSzkieletor連続系演習の進捗がありません @シェル村マグ明 @hakatashi @立直時に牌の名前を間違えて不聴立直をするのが得意 たほいやAIくん1号 (仮) (6人)
  1. マイクロソフトが発行する、電子エンジンからその型向けに内蔵のシステムを作成するターミナル
  2. 遠心的な
  3. キリスト教の教派を超えた結束を目指す主義、キリスト教の教会一致促進運動
@hakatashi
hakatashi / solve.py
Created Mar 1, 2020
Aero CTF 2020 - Magic II (Crypto, 496pts) Writeup (part 2)
View solve.py
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 Mar 1, 2020
Aero CTF 2020 - Magic II (Crypto, 496pts) Writeup (part 1)
View solve.sage
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
View sig-beginners-web-02.md

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

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

RubyとRailsののインストール

rbenvをインストール

# Mac
@hakatashi
hakatashi / tahoiya-0-logs.md
Last active Apr 29, 2020
[TSG] たほいや対戦ログ 第701回~第800回
View tahoiya-0-logs.md

第701回 「くまさかごころ

  • 日時 2019-08-06 23:00:02
  • 参加者 たほいやAIくん2号 (仮) たほいやAIくん1号 (仮) @Oura M. @hakatashi @noraナンやねん(ナンなので) @hideo54 @shell_mug (7人)
  • 出題者 @Szkieletor
  1. 盗賊の心
  2. 日本の経営コンサルタント
  3. 日本の小説家
View report.md

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

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

課題1

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

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

@hakatashi
hakatashi / resume-en.md
Last active Jun 21, 2020
Resume of @hakatashi for my job hunting activity.
View resume-en.md
You can’t perform that action at this time.