cedretaber

AI に小説を書かせてみました。 アルファ - カクヨム kakuyomu.jp/works/16818792…

記事を投稿しました！ Js_of_ocaml で fetch を使う on #Qiita qiita.com/cedretaber/ite…

株式会社proof ninja はおかげさまで5周年を迎えました。文の菓(ふみのか)さんによるカステラを焼いてもらいました。 #proofninja #プログラミング #証明

記事を投稿しました！ OCaml5 の Effect Handlers を試す on #Qiita qiita.com/cedretaber/ite…

記事を投稿しました！ Tezos で独自トークンをデプロイする [OCaml] on #Qiita qiita.com/cedretaber/ite…

記事を投稿しました！ Tezos でスマートコントラクトを作る 1 [OCaml] on #Qiita qiita.com/cedretaber/ite…

Twitter 君、「最近のハイライト」だの「○○さんのいいね」だのを通知に入れるのやめてくれないか。

ソシャゲも競プロもどっちも楽しんでる人、何人も知ってるけどなぁ。

もちろん副産物合わせて十分取り組む価値のあるサービスになってると思うし、楽しさも副産物も高めていこうという努力はしているので、それを理由に自社サービスを貶める気は全くないけれども。 「ソシャゲの存在を知られたらAtCoderはもうだめだ！」みたいなことは絶対ない

AtCoderは「学生をターゲットに習慣化を狙っている」から土曜/日曜夜9時、ABCは可能な限り毎週開催にしてるし、他の娯楽と比較して純粋な楽しさで勝てるかと言われると、ごく一部の人以外には厳しい、みたいなところがあるので、ちょっと吉野家の話と近しいところがあるサービスではあるのよね。

蟻本で育った競プロ er、今ではもはや老人説

競プロどっぷりの人しか、業務でのプログラミングのことを「業プロ」って呼ばないから当たり前ではあるｗ

「業プロ」って呟いている人の方が「競プロ」って呟いている人より競プロやってるの、ちょっとおもしろいｗ

@vertical_blank 仮面ライダー全然知らないし見たこともないからスペルも知らなかったんです。許してください何でもしませんから。

@cedretaber 調べたらdecayedはアクセントが先頭みたい decadeは真ん中

DecayedType って何だよ。仮面ライダーかよ。

いや、 DecayedType が何でどういう理由で必要かは分かったんだけど、これ C++ で出てくる型では？　Cのソースの AST を見てるはずなんだが……？

Stellaris の和訳 Mod を整備するのが死ぬほど辛かったので、言語ファイルを編集するためだけのオレオレツールを作ってしまった。 github.com/cedretaber/Rin…

「 JS で pretty-print ってどうすればいいの？」 「 JSON.stringify 使え」 ……頭良い！

モナドへのサポートが無い言語で何か書こうとすると、モナドの便利さが理解できるなぁって。失敗の伝達とかモナド無しでやるのが面倒過ぎる……。

ん、でもメソッドじゃなくて関数の引数に渡したいんだが……。