Skip to content

Instantly share code, notes, and snippets.

View hakatashi's full-sized avatar
🈚
idgaf

Koki Takahashi hakatashi

🈚
idgaf
View GitHub Profile
@ksasao
ksasao / detect_marker.py
Last active December 10, 2023 02:38
ZOZOSUITのマーカーのIDを読み取るコードです。公開されている画像を元に独自に解析しているので、公式ではこのように処理しているかどうかは不明です。仕様等については https://twitter.com/ksasao/status/990779583682170881 のスレッドも参照してください。全身を読み取るコード https://twitter.com/ksasao/status/989842844243279872 ライセンスは Apache License 2.0 です。
import numpy as np
import random
import math
import cv2
from PIL import Image
import sys
def detect_markers(im):
markers = []
# 輪郭線抽出のための二値化
@miyuki
miyuki / gcc-1.27.patch
Created October 4, 2017 21:11
A patch required to build GCC 1.27 on a modern system
diff --git a/Makefile b/Makefile
index ee02e0f..25a4aa5 100644
--- a/Makefile
+++ b/Makefile
@@ -373,19 +373,19 @@ maketest:
stage1: force
-mkdir stage1
mv $(STAGESTUFF) $(STAGE_GCC) stage1
- -rm stage1/gnulib
+ -rm -f stage1/gnulib
@chsh
chsh / mastodon-sources.md
Last active August 24, 2022 15:30
mastodonのソースコード一覧

mastodonのソースコード一覧

pawoo.netやfriends.nicoなどのように、大手企業がmastodonインスタンスを提供し始めています。 それぞれは独自の拡張を行い、魅力を高めています。 mastodonそのものはAGPLのため、改変したソースコードが入手できるようにする必要がありますが、その一覧があったらいいかなと思ってまとめることにしました。 とは言え、私が知っているのはごく一部。もしみかけたら @chsh@bookn.me へのメンションにてお知らせください。

インスタンス

提供会社(団体・個人) インスタンスURL ソースコードURL 本家masterからの差分 追加日
ピクシブ 🐘 https://pawoo.net/ :octocat: pixiv/mastodon/tree/pawoo 📊 2017/4/23
@hediet
hediet / main.md
Last active March 11, 2024 15:05
Proof that TypeScript's Type System is Turing Complete
type StringBool = "true"|"false";


interface AnyNumber { prev?: any, isZero: StringBool };
interface PositiveNumber { prev: any, isZero: "false" };

type IsZero<TNumber extends AnyNumber> = TNumber["isZero"];
type Next<TNumber extends AnyNumber> = { prev: TNumber, isZero: "false" };
type Prev<TNumber extends PositiveNumber> = TNumber["prev"];
@toshia
toshia / teokute_fav_mikutter.md
Created March 7, 2017 11:21
ておくれ、ふぁぼ、mikutter

ておくれ、ふぁぼ、mikutter

移植するにあたって

2016年10月から、「ておくれ、ふぁぼ、mikutter」を公開していたDropboxが、Publicフォルダに設置したHTMLファイルをWebページとして公開する機能を停止した。これによって、本文書はダウンロードすることは出来るが、ブラウザ上で閲覧することは出来なくなっていた。さらに2017年3月、同15日に明示的に公開リンクを取得しなければPublicフォルダに入れているドキュメントも公開されないように変更するというアナウンスがあった。公開設定をしてもブラウザで閲覧できないことも踏まえると、もうDropboxで公開するのは良い手ではない。

思えばこれを書いたのは2012年末。もう4年以上前ということに驚きを隠せない。本文には書いてないが、丁度祖父が危篤で、年の瀬であることも相まってかなり慌ただしい年末だったと記憶している。結局、2012年12月24日の昼下がり、私が京都の四条河原町近辺でせいべと昼食を食べながら、数日前に公開されたこの文書について語り合っている時に訃報が入り、せいべといっしょにすぐ近くのデパートに喪服を買いに行った。そんなときだったからと言うと言い訳になるが、校正が十分に行き届いておらず、そのうち直そうと思いながら今日に至る。

2012年というのは恐ろしく昔のことだ。2017年現在、StSは消え、Twitterは幾度となく倒産・身売りの話を繰り返し、ふぁぼはいいねになり、おるみんによって新たなておくれクラスタが形成された。今日も人はておくれ、ふぁぼり、mikutterを使っている。この文書は今となっては当時を切り取った貴重な記録になっており、再公開にあたって読み直してみると、自分の記憶が思いの外劣化していることに驚いた。この文書が当時想定していたような役割をちゃんと果たしていることが意外でもあるし嬉しくもある。

@stigok
stigok / githook.js
Last active July 30, 2023 09:46
Verify GitHub webhook signature header in Node.js
/*
* Verify GitHub webhook signature header in Node.js
* Written by stigok and others (see gist link for contributor comments)
* https://gist.github.com/stigok/57d075c1cf2a609cb758898c0b202428
* Licensed CC0 1.0 Universal
*/
const crypto = require('crypto')
const express = require('express')
const bodyParser = require('body-parser')
@PonDad
PonDad / imagenet_class_index.json
Created December 31, 2016 12:19
imagenetのラベルを日本語化するjsonです。
[
{
"num": "n01440764",
"en": "tench",
"ja": "テンチ"
},
{
"num": "n01443537",
"en": "goldfish",
"ja": "金魚"
  1. 第一原理 各人は,すべての人に対する同様なシステムと両立する,最も広範で全体的な平等の基本的自由のシステムに対する平等な権利を有する。
  2. 第二原理 種々の社会的・経済的不平等は,以下の両方を充たすように設定されなければならない。
  3. 正義に適った貯蓄の原理と矛盾しない程度で,もっとも恵まれない者たちが最大の利益を受けるように,そして
  4. 公正な機会の平等を充たす条件の下で全ての人に開かれている職務と地位に伴うかたちで。

井上は「初期ロールズの結論は,例の『格差原理」以外は,基本的にいいと思っていたんですよ。」とする。

格差原理について,まずそれによって経済格差が正当化される典型的な状況(とロールズが挙げる例)を取り上げる。

@stibear
stibear / 4つの戦争の正義.md
Last active December 11, 2016 08:28
井上達夫『リベラルのことは嫌いでも,リベラリズムのことは嫌いにならないでください』 p.44〜
  1. 積極的正戦論
  2. 無差別戦争観
  3. 絶対平和主義
  4. 消極的正戦論
  5. (キケロ型あるいは諦観的)平和主義
    正義より平和。正義への嫌悪。「最も正しい戦争よりも,最も不正な平和を選ぶ」

参考

http://mai-uni.org/mai-u_files/honryu156WEB.pdf 5ページ中程の図

@stibear
stibear / 正義概念について.md
Last active December 12, 2016 11:06
井上達夫『リベラルのことは嫌いでも,リベラリズムのことは嫌いにならないでください』p.21〜
  • あらゆる正義の諸構想(conceptions of justice)の必要条件としての正義概念(the concept of justice)の規範的実質: 普遍化不可能な差別の排除
  • それに適応するかどうかを検証する**「反転可能性」テスト**
    「自分の他者に対する行動や要求が,自分の視点だけではなく,他者の視点からも拒絶できないような理由によって正当化できるかどうか,それを吟味しなさい」

法の正統性(legitimacy)は正義概念によって保障される。