mod_poppo

サークル「だめぽラボ」は6月1日に池袋サンシャインシティで開催される技術書典18に参加します。新刊「作ってわかるTeX言語」のほか、Haskell関連の既刊などを頒布します。

「停戦」が発表されて株価が上がった段階で売っておけばよかったかな。売るほどの株は持ってないけど……

技術書典20オンラインに向けて在庫を登録したぞい

俺も昔は鉄道の知識をつけて安く乗る！みたいなことをしていたが、最近は快適な移動！新幹線指定席万歳！特急指定席万歳！みたいな感じになってしまった

東京駅・上野駅から富山県西部に移動する際に新幹線を新高岡駅じゃなくて富山駅で降りると特急料金が1段階安くなるというテクがあるんだけど、3セクの運賃も払わないといけなくなるから思ったほど安くはならないか。出発地次第では安くなるのかもしれないけど

帰省の切符が高くて辛い。なんやねん最繁忙期って

帰省の経路の候補が複数ある場合にいい感じに候補を比較できるUIが欲しい。今の時代だとAIエージェントでサクッと作れてしまうのだろうか（時刻、キロ数、料金等のデータの入力は必要として）

普通の乗り換え検索って出発時刻または到着時刻で検索するけど、新幹線が満席になりがちな繁忙期は「空席のある新幹線を選ぶ→前後の時刻を調べる」感じの検索方法が欲しい。知らないだけですでにあるのかもしれないけど

週間制限（日曜日にリセット）が91%に到達したので、週末までに100%に到達する可能性がある。ChatGPT Plusを契約してCodexを併用するか、GitHub Copilotを試すかだなあ

うちのClaude Codeは今週を乗り切れるのか

やっぱ定理証明のできるシステムプログラミング言語を作りたいよな

時間を逆行して生きる人「Twitter（旧X）」

「簡単な階乗やフィボナッチ数が動く（WasmにコンパイルしてJavaScriptから呼び出せる）」ことを目標にClaude Codeにゴリゴリ作業させてそれらしい物体ができた。文字列も代数的データ型も例外も未実装だが、着実に進んでいる。AIすごい

設計上の判断はやはり人間が関与したいところ。不勉強な部分はAIと対話すればキャッチアップできるだろうか

Claude CodeにLunarMLのWasm対応させてるけど、どうなるかな。人間がWasmの細かいところを把握していない状態でうまくいくものだろうか

本当は環境を立てたときにcloud-initでnvmを入れてるんだけど、なんか.profileの更新ができてないっぽい x.com/mod_poppo/stat…

Claude Codeが「最新のNode.jsを入れたい」と言ってwgetし始めたので止めた（ツールのインストール系は人間に任せて欲しい）

Standard ML of Lunarian（月面で発見された５万年前の装置で動く言語処理系）

隙間時間にClaude Codeに指示を出しても人間がレビューしようと思うと結局まとまった時間が必要になる。手を動かさない分楽になっているとは思いたいが

まあ、今の時代はLLMに聞くという手があるのだが。なんだかなあ x.com/i/grok/share/1…

WebAssemblyの仕様は形式的にはちゃんとしてるんだろうけど人間が学習するのには向いていない。どうやって勉強するのがいいのか