cedretaber

4.4K posts

cedretaber

cedretaber

@cedretaber

Ruby と OCaml とD言語が好き。

日本 東京 Katılım Ekim 2015
285 Takip Edilen285 Takipçiler
cedretaber retweetledi
株式会社 proofninja
株式会社 proofninja@proof_ninja·
株式会社proof ninja はおかげさまで5周年を迎えました。文の菓(ふみのか)さんによるカステラを焼いてもらいました。 #proofninja #プログラミング #証明
株式会社 proofninja tweet media
日本語
0
13
34
2.9K
cedretaber
cedretaber@cedretaber·
Twitter 君、「最近のハイライト」だの「○○さんのいいね」だのを通知に入れるのやめてくれないか。
日本語
0
0
1
0
cedretaber
cedretaber@cedretaber·
ソシャゲも競プロもどっちも楽しんでる人、何人も知ってるけどなぁ。
日本語
0
0
0
0
cedretaber retweetledi
chokudai(高橋 直大)@AtCoder
もちろん副産物合わせて十分取り組む価値のあるサービスになってると思うし、楽しさも副産物も高めていこうという努力はしているので、それを理由に自社サービスを貶める気は全くないけれども。 「ソシャゲの存在を知られたらAtCoderはもうだめだ!」みたいなことは絶対ない
日本語
0
1
22
0
cedretaber retweetledi
chokudai(高橋 直大)@AtCoder
AtCoderは「学生をターゲットに習慣化を狙っている」から土曜/日曜夜9時、ABCは可能な限り毎週開催にしてるし、他の娯楽と比較して純粋な楽しさで勝てるかと言われると、ごく一部の人以外には厳しい、みたいなところがあるので、ちょっと吉野家の話と近しいところがあるサービスではあるのよね。
日本語
1
9
148
0
cedretaber retweetledi
KoD
KoD@d7511168·
蟻本で育った競プロ er、今ではもはや老人説
日本語
0
5
37
0
cedretaber retweetledi
chokudai(高橋 直大)@AtCoder
競プロどっぷりの人しか、業務でのプログラミングのことを「業プロ」って呼ばないから当たり前ではあるw
日本語
0
2
40
0
cedretaber retweetledi
chokudai(高橋 直大)@AtCoder
「業プロ」って呟いている人の方が「競プロ」って呟いている人より競プロやってるの、ちょっとおもしろいw
日本語
1
5
80
0
cedretaber
cedretaber@cedretaber·
@vertical_blank 仮面ライダー全然知らないし見たこともないからスペルも知らなかったんです。許してください何でもしませんから。
日本語
1
0
1
0
YH🚭️
YH🚭️@vertical_blank·
@cedretaber 調べたらdecayedはアクセントが先頭みたい decadeは真ん中
日本語
1
0
0
0
cedretaber
cedretaber@cedretaber·
DecayedType って何だよ。仮面ライダーかよ。
日本語
1
0
2
0
cedretaber
cedretaber@cedretaber·
いや、 DecayedType が何でどういう理由で必要かは分かったんだけど、これ C++ で出てくる型では? Cのソースの AST を見てるはずなんだが……?
日本語
0
0
0
0
cedretaber
cedretaber@cedretaber·
Stellaris の和訳 Mod を整備するのが死ぬほど辛かったので、言語ファイルを編集するためだけのオレオレツールを作ってしまった。 github.com/cedretaber/Rin…
日本語
0
1
2
0
cedretaber
cedretaber@cedretaber·
「 JS で pretty-print ってどうすればいいの?」 「 JSON.stringify 使え」 ……頭良い!
日本語
0
0
0
0
cedretaber
cedretaber@cedretaber·
モナドへのサポートが無い言語で何か書こうとすると、モナドの便利さが理解できるなぁって。失敗の伝達とかモナド無しでやるのが面倒過ぎる……。
日本語
0
0
2
0
cedretaber
cedretaber@cedretaber·
ん、でもメソッドじゃなくて関数の引数に渡したいんだが……。
日本語
0
0
0
0