sat0b

最近フィジェットトイを知って思った。昔の古き良きプログラミングで、やたらキーボードをバシバシ叩いてると集中力が増すような感じがしたけど、あれはフィジェットトイ的な作用だったのかもしれない。

「技術書のように体系的に説明してください」というのが最近よくやるプロンプト

最近は本当に実装が速くなってきた気がする。もはや以前の速度はよくわからないけど、3~5倍くらいは速くなってそう。最大風速だともっと出るけど。

git worktreeの操作性がなんかスッキリしないので、Emacsのmagitをベースとしてworktreeを移動しつつ、そのworkspaceでターミナルを開くのがわかりやすい気がしてきた

codexなんか余計な気を回して、いらないコードつけてくるみたいなことが多い気がする。別に最初は素朴に実装してくれれば良いのに、不必要に防御的なガードが入ってたり、なんかこねくり回した結果わけわからなくなったみたいなコードが一発目に出てくる。シンプルな実装を作って欲しいと指示しているんだけど。

AI疲れというか単に労働時間が長くなりがちで疲れるというのはありそう。なまじ進みが良いから飽きが来にくい

AI疲れみたいな話、今のところあまり感じない。むしろ昔のほうが相対的に本質的ではないエラーを何時間も調べるみたいな虚無で疲れることが多かった気がする。

app screen make by nano banana

そのうち作ろうかなーと思ってたアプリの仕様をNano Bananaに入れてみたらそれっぽいやつが出てきた。作り始める前にデザインの検討に使えそう。

CLIで作業時間を記録できるTimewarrior使い始めた。
これまでToggl使ってたけど、集計結果見に行くまでブラウザで色々リンクをたどる必要があって遠かったので、手元でぱぱっと開始、停止、集計できて良さそう。
timewarrior.net/docs/install/

ぶーぶーざっくり解説【小学生でもわかる科学】 「ぶーぶーざっくり解説」は気になるアレやコレやを科学的な視点でイラストを使ってざっくりと簡単にわかりやすく解説することを試みるチャンネルです。 ものごとに興味をもつきっかけとなる入門編として、または、ただの暇つぶしとして見ていただけると嬉しいです。 ※解説の内容はすごいガバガバなので他の資料もちゃんと見た方がよいと思います ※動画のテンポが遅いなと思ったら1.5倍速や2倍速とかにしてみるのも...

このチャンネルの動画が面白くてずっと見てしまってた。
www.youtube.com/@BuBuZakkuri

codexで個人サイトをいじってたら5日間の利用制限を受けてしまったので、やむなくProプランに変更したけど、GPT-5 Proすごい。回答がガチ。

あとAIの最初のコードが複雑すぎて何やってるかよく分からないことがあるけど、そんなに気合を入れなくても理解できるくらいまで簡単にしてくれってお願いし続けると、どんどん簡単で良いコードになっていくので、その意味でも人間基準のフィードバックを与えるのは意味があるような気がする。コードベースの複雑さを抑える効果がありそう。

真のボトルネックはAIが解決できない問題を人間がやらなきゃいけなくなったときで、その時よくわかってないと詰んでしまう。

これを避けるという意味で、コードベースに順当に詳しくなっておくのは、少なくとも開発をコントロールしてる感はあるので精神衛生上良いように思う。

codexとかclaude codeを使うとAIはいっぺんに作ろうとしてくるけど、変更が多すぎると真面目に読む気が起きなくて、自分が開発についていけなくなる問題がある。

できるだけ小さいコミットを作らせるような形で、インクリメンタルな開発を強制すると、開発者側としては基本的にはこれまでのワークフローとそんなに変わらないし、単に開発が加速しているだけという感じなので、そういう使い方に落ち着いてきた。

GPT-5の出力が嘘が少ないので、昔なら1〜2時間かけて調べたりしていたことが、最近は数分で終わってしまうみたいなことが多い。本質的な仕事に取り組めてる感がある。

最近12時間くらい昼夜逆転してて、夜の9時くらいに始業みたいになってきてる。

昔、「数学は体力だ」って記事を読んでなるほどと思ったけど、そういうことかも
program.math.tsukuba.ac.jp/emeritus/kim...

ただ、この前寝ないでぶっ続けで一日中プログラミングしてたら、肩と首が痛すぎて動けなくなって大変だったので、たぶんそういうことなのかもしれない。

プログラマ35歳定年説まであと2年になったけど、最近になってようやく理解できたことも多いので、まだまだ修行中の身と言う感じが抜けない。

2025年にEmacsを始める | sat0b.dev 2025年にEmacsを使い始めて感じたことや、Doom EmacsとOrg-modeの魅力について

最近Emacsを使い始めた話を書いてみた。

2025年にEmacsを使い始める｜sat0b.dev
sat0b.dev/posts/202509...

なんか機械翻訳っぽい雰囲気のお問い合わせメールが来たので、本当かな？と思ったのだけど、ちゃんと状況を確認してみると、嘘じゃなかったことがわかり、字面の雰囲気だけで判定するのは良くないという学びを得た

FlutterとReact Native、個人的にはFlutterの方が開発体験が良いけど、Reactの方が書きやすい、ので若干悩ましい

10年くらい前に大学で機械学習を研究してたけど、今や当時の知識は完全に時代遅れ。PRMLとかで培った数学の基礎力は陳腐化しないから、やっぱり学ぶべきは数学なのか。

MacでWiFiのローカルIPアドレスを調べる方法、メニューバーのWi-Fiアイコンをoption+クリックで表示できることを知った

個人サイトを盆栽のように毎日ちょっとずつ作っていってるけど、だんだんいい感じになってきた。

作業時間がかかることを受け入れる | Junichi Sato 昔から思っているのだけど、いいものを作れるかどうかに必要な要素として、作るのにかかる膨大な時間を受け入れているかどうかがあると思う。

作業時間がかかることを受け入れる
sat0b.dev/posts/20241022

個人サイトrssに対応した

Cloudflare Workers、初めて使ってみたけど、めっちゃ手軽で、これは良いものかもしれない

最近、3年くらい眠ってたホームベーカリーが活躍してる

【振り返り②】検索エンジニアとしてのバックエンド開発 | Junichi Sato 検索エンジニアとしてバックエンドシステムを担当した経験を振り返る。

【振り返り②】検索エンジニアとしてのバックエンド開発 sat0b.dev/posts/20241016