Gemini に入れてるカスタム指示:
Refrain from offering praise, validation, or mere agreement. Instead, apply critical scrutiny to the user's input and challenge assumptions when necessary.
Gemini 3.1 Pro、めっちゃ良くなってる気がする。今日 AI Studio でいろいろ試してカスタム指示を作り直したら、短いもので十分になったし、結構しっかり議論できるから楽しい。ちゃんと僕の間違い・誤解を明確に否定してくるから (これはカスタム指示の影響もあると思うけど)
仕様・ドキュメント生成、最初っから Claude にお願いしてたら、コンテキストウィンドウ足りなかったから、出来が悪くても Gemini で大枠作って、残りを Claude でしっかり埋めるって感じにできて良かったのかもな。
にしても Gemini で 2時間くらい頑張って僕が指摘しても直らなかったりしてた時間はにゃーんだったけど。
仕様書くのが面倒で、LLMに実装から仕様を書かせたのだけど、Gemini 3 Pro が想像以上に品質が悪かった...
Claude Ops 4.6 に引き継いでもらって仕上げた。ちなみにコンテキストウィンドウは案の定 130.1K / 128K tokens になった。
小さな言語だから、ungrammar いらないかな (マクロでいいかな) と思ってたけど、ちゃんとやってよかった。
ungrammar から rowan 用のコード生成器、作るの面倒だけど、最初に作ってしまうと、Parser 書きながら手軽に ungrammar 変えて、AST構造変えられるから良すぎる。
コンフィグ言語を作る理由として、年単位でぼんやりと設定用の言語作りたいと思っていて 過去実際作ったりもしていて (それは色々脱線したけど)、色々知識を得るにつれて自分が欲しいものが見えてきて、また新たに作る感じ。あと、他作りたいものの設定言語に使いたいから。
名前はたぶん決まった。mical になりそう。
mica (鉱物) より。音はミカル。
新しい言語とかより、卒研の方がかなりまずいのでどうにかしないといけない
少し前から考えていた新しいプログラミング言語 (コンフィグ言語) の立ち位置や仕様がだいぶ固まってきた。来週くらいに v0.0.1 が出せたらいいな。実装はかなり軽いはず。ただ言語名が決まってない…
AeroSpace を導入して2週間くらい経ったのだけど、ワークスペースの切り替えに時間がかかっていたのって、結構ストレスだったのだなということを感じた。mac標準のはどうしてもアニメーション時間が切れないけど、AeroSpaceはアニメーションがなく一瞬なので。
雀魂、さっきMAKAの評価S (一局評価はS,S,S+,S+,S) で飛んだ…
玉の間
s/SketchBar/SketchyBar
Cで書いたのはカーネルのAPI直接簡単に叩けるから。(なのでこれは vm_stat のラッパーではない)
vm_stat をいい感じに加工して読みやすいメモリ使用量を出すCLI作った。
github.com/ryota2357/vm...
最近SketchBarを導入したのだけど、その時にメモリ使用量が memory_pressure だとアクティビティモニタとかRunCatのとは違うものが出るから vm_stat 使って bash スクリプト書いたけど、それをCで書き直して、ついでに色々実装したもの。
Zennからの引き上げ、個人的にリンク切れが嫌いなので、記事を消すのではなく本文を1行移行先のリンクを置くだけにする、にして欲しいなぁと。ZennやQiitaに1記事も書いてないから見る側としての感想。消す理由もわかる。
antigravity、自らブラウザ立ち上げて渡したリンク先を見に行くことできるのか。凄いな。
🎍関数型まつり 2026 開催決定！🎍
新年あけましておめでとうございます。今年も関数型まつりを開催します🎊
日程：2026年7月11日(土) - 12日(日)
会場：中野セントラルパーク カンファレンス
最新の情報はXとBlueskyでも発信していきます！ #fp_matsuri
2026.fp-matsuri.org
ぶるーすかいおみくじの結果は「大吉」でした。
#ぶるーすかいおみくじ
oracle.heion.net?handle=ryota...
あけましておめでとうございます。
こちらの記事ですが、最後にazooKeyに触れた部分に誤りがあったため、修正しました。
UECアドカレ 21日目ですが、今書いています...
なんとか今日中に間に合わせたい
ghコマンド、マニュアルを見たこと無かったのだけど、たくさん便利そうな機能あるんだね... 知らなかった。
cli.github.com/manual/
gh repo fork ってコマンドを知った。
今まで web で clone して git コマンドで origin 変更と upstream 追加をしてたのだけど、これを全部やってくれる。
こんな感じ↓
今日からやってる調布祭で、僕が所属してるサークルの部誌に投稿したやつを個人ブログの方にも投稿した。
ryota2357.com/blog/2025/us...
nixpkgs に出していた happy の aarch64-darwin でのビルドエラー修正PR がマージされた！
GHC 再ビルドなので1.5万以上のパッケージが再ビルドされる。何かに依存されてるパッケージへのPRは今回が初めてなのだけど、めっちゃ依存されてるやつだった。
github.com/NixOS/nixpkg...
