Skip to content

Instantly share code, notes, and snippets.

View moratorium08's full-sized avatar

Hiroyuki Katsura moratorium08

58 followers · 39 following
View GitHub Profile
@minhquang4334
minhquang4334 / 0_初めに.md
Last active October 29, 2023 08:38
Yasuo Team's Isucon Best Practices

参考： https://github.com/catatsuy/memo_isucon/blob/master/README.md Best Practices Gist: https://gist.github.com/minhquang4334/26e86a84731164581ed25d3fc7fe5211

最初の作業 (40分で終わないといけない)

  • リポジトリを作成する (isucon12q)
  • ポータルサイトにログインしてsshできることを確認
  • インスタンスにログインしてsshできることを確認

インフラ担当

  • Makefileを適切に修正する
  • ssh-keygenして鍵をdeploy keyに登録する
  • コードをリポジトリにpushする
@kom-bu
kom-bu / curryhoward2020.md
Last active September 16, 2023 05:56
TypeScriptでカリー＝ハワード同型対応（？）

この記事はTSG Advent Calendar 2020の14日目の記事です。昨日の記事はJP3BGYさんのPXE BootとIntel DCIを用いたLinux Debug環境でした。

はじめに

カリー＝ハワード同型対応ってかっこいいけど、何のことだかよくわからない。わたくし昆布の現時点での（偏った）理解を、疑似コードを交えて説明していきます。ほぼ備忘録です。

概要

直観主義論理（自然演繹）の命題とTypeScriptの型との間のカリー＝ハワード同型対応を考えます。

前提

Wikipediaでは次のように書いてあります。

@uenoku
uenoku / count.py
Created January 11, 2020 05:34
sotsuron
import gspread
from oauth2client.service_account import ServiceAccountCredentials
import sys
import time
import datetime
import subprocess
import argparse
scope = ['https://spreadsheets.google.com/feeds',
'https://www.googleapis.com/auth/drive']
@qnighy
qnighy / rust-patterns.md
Last active March 20, 2024 03:33
Rustのパターンっぽいやつメモ

パターンとはその言語が抽象化できなかった敗北の歴史である。 しかしどんなに優れた言語であってもあらゆる繰り返しに勝てるわけではない。 人は必ずメタ繰り返しを欲するからだ。 そしてそれはRustも例外ではない。

ここでは、OOPでも知られているパターンよりも、Rustに特有のパターンを思いつく限りまとめてみた。名前は適当。

  • crate splitting
    • でかいcrateを分割して、見通しを良くする・再コンパイルの分量を削減する・並列コンパイルを可能にする
  • 親玉crate(全てにdependする)と殿crate(全てにdependされる)があることが多いので、だいたい束みたいな形になる。
@chrisdone
chrisdone / gist:02e165a0004be33734ac2334f215380e
Last active April 21, 2024 12:50
Build and run minimal Linux / Busybox systems in Qemu

Common

export OPT=/opt
export BUILDS=/some/where/mini_linux
mkdir -p $BUILDS

Linux kernel

@kurgm
kurgm / 3.unreadable.ts
Created September 1, 2017 03:12
TSG第3回コードゴルフ大会-Unreadable
// See also: https://github.com/hakatashi/esolang-battle/wiki/%E7%AC%AC3%E5%9B%9E%E3%82%B3%E3%83%BC%E3%83%89%E3%82%B4%E3%83%AB%E3%83%95%E5%A4%A7%E4%BC%9A-WriteUp
// I/O
const vars: { [key: number]: number } = {};
let outbuf = "";
function output(c: number) {
outbuf += String.fromCharCode(c);
}
let inbuf = "";
let inbufidx = 0;
function input() {
@hyuki0000
hyuki0000 / mov-to-gif.rb
Last active February 24, 2018 07:16
mov-to-gif - .movからanimation GIFを作る
#!/usr/bin/env ruby
require 'tmpdir'
if ARGV.length != 3
puts "mov-to-gif: Create animation GIF"
puts "Usage: mov-to-gif 1 input.mov output.gif -- normal (x1)"
puts "Usage: mov-to-gif 2 input.mov output.gif -- faster (x2)"
puts "Usage: mov-to-gif 0.5 input.mov output.gif -- slower (x0.5)"
abort
@hakatashi
hakatashi / sig-web-10.md
Last active October 27, 2016 05:19

TSG 第10回Web分科会 カンペ

CSS特講。以前表面的にだけ触れたCSSについて詳しく見ていく。

CSSとは

第7回の資料より

ブラウザ上で表示する「内容」を表現するHTMLに対して、その「スタイル(見え方)」を調整するファイルはスタイルシートと呼ばれ、現在は通常CSSが用いられる。

@hakatashi
hakatashi / sig-web-09.md
Last active October 19, 2016 23:54

TSG 第9回Web分科会 カンペ

React(とflux)について学ぶ。

事前準備

Node.jsをインストールする。

Windows もしくは OS X

@hakatashi
hakatashi / web-08.md
Last active October 5, 2016 11:26
TSG 第8回Web分科会 カンペ

TSG 第8回Web分科会 カンペ

JavaScriptの Module Loading の仕組みを学ぶ。

モジュールとは?

プログラムを複数の機能に分割した単位のこと。ここでは特にファイル単位で分割したものを指す。

例えばRubyでは、