shirou

mermaid記法だけど、コメントでレイアウト情報を埋め込むの良いな
github.com/RohanAdwanka...

自作PicoProbe動いた。ハンダが汚いが、ほぼ初心者と思えば動くだけ上出来

電子レンジがいきなり壊れた。でかい異音がして、しかも温まらない。今朝は平気だったのに。
修理依頼の電話したら「日程調整は週明け火曜までお待ち下さい」とか言われるし。連休初日というのが最悪のタイミングだ

カプリチョーザ、すごい昔にしょっちゅう行ってた気がするが思い出せないので気のせいかもしれない

米Kensington、スクロールリングやプログラム可能なボタン、55mmボールを採用し最大4台のデバイスと接続できる「Expert Mouse™ TB800 EQ トラックボール」を発表。 米カリフォルニア州のKensingtonは現地時間2025年10月28日、iF DESIGN AWARD 2025やRed Dot Award 2025を受賞したトラックボール「Expert Mouse™ TB800 EQ Multi-Connection Trackball (SKU: K72457WW)」を2025年Q4に発売すると発表しています。

米Kensington、スクロールリングやプログラム可能なボタン、55mmボールを採用し最大4台のデバイスと接続できる「Expert Mouse™ TB800 EQ トラックボール」を発表。
https://applech2.com/archives/20251029-kensington-expert-mouse-tb800-eq-trackball.html

小型船舶操縦免許(一級)の免許証きた。これで乗れる

trixieでutmpがなくなってる、ってissueがあって、スレ読んでたら
なんでwとwhoのほとんど同じコマンドがあるのか、っていう話が出てた
lists.debian.org/debian-devel...

字を書かなさすぎて、字をきれいに書けなくなったのでますます書かなくなるという循環に入ってはやn年なので紙の手帳とかありえない
(元から字が汚いだろ、というツッコミはなしだ)

第41話 心都 / 竜送りのイサギ - 星野真 | サンデーうぇぶり 「もし会えたなら、死んでも いいって思ってた」 竜が棲む世界の流刑地、陵獄島。 斬った相手の記憶が垣間見える首打人の少年・イサギは ある日、稀代の名将・タツナミと出会う。 二人の出会いはやがて、 竜と世界を巻き込む 大きなうねりとなっていく──… この旅路の行く末は、救いか、破滅か。 魂を紡ぐ意義をここに問う、竜殺しの旅路。

【最新41話、更新。】

『竜送りのイサギ』
第41話 「心都」
app.sunday-webry.com/share.php?ti...
#竜送りのイサギ

喜び勇んで最近入荷した雄町のひやおろしを買って飲んだけど、あれ、そんなに美味くないぞ？
って思ったが酒がうまくないはずはないので心が病んでいるからかもしれない

ガザのかたからの寄付の呼びかけの拡散を手伝うことをエックスを中心に1年半くらい続けてきて、どうしても「同じひとが投稿して、同じひとが拡散し、同じひとが寄付をする」状況になりがちな印象ですが。「知っていれば協力するけどまだ届いていない」層に届くためにも、「今までそういうのは拡散したことなかったけど、今回だけしてみる」てかたが増えたらいいなと思っています。この投稿で紹介してる記事とかを「今までリポストだけしてたけど、短い感想を添えて自分で共有してみる」だけでも届く範囲が変わってくると思います。よかったらご協力ください

rimworld odessayクリアした。anomalyと比べて結構楽しかったな。グラブシップがいい。移動しないといけないとか、建設範囲が限られてるとかいう欠点はあるがそれは妥当だし、かつ、利点に変えれるのは良いね。

www.gamespark.jp/article/2025...
これ入れてみたら、こんな感じで答えてくれてちょっとおもしろい。 (なお心情的にはもう問題ない)

新刊『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』 の発売を9/4に予定しています ご来店ありがとうございます。新刊発売予定のお知らせです。 2025年9月4日（木）、井上亜星著 『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』の発売を予定しています。 書名にもある通り、本書はLeanという比較的新しいプログラミング言語の入門書です。プログラミング言語としてのLeanは、いわゆる関数型言語の仲間と言えます。 他の関数型言語、とくにHaskellを使っ...

お仕事の話が続きますが、9月4日に新刊の発売を予定しています。Lean 4というプログラミング言語に関する少なくとも日本初、もしかしたら世界でも初となる商業的な解説書です。特に3章とか4章くらいまでは、数学と計算機の両方の理論的な関係に興味がある人にとっては一気に視界がひらける内容になっていると思います！ www.lambdanote.com/blogs/news/l...

かつて、フロントエンド技術書籍の陳腐化の速さを「サバ」に喩えておりましたが、本日よりLLM関連書籍のそれについては「生シラス」に喩えることとしました。押忍

今日はgoでポインタな定義のフィールドがあるstructを binary.Readで読み込もうとするとinvalid sizeと言われて読めない、という問題にぶち当たってた。11年前のおれはこれをbinary.goを手元にコピーしてreflect.Ptrにも対応するというコードを加えて動かしていたようだ。全く覚えてないけどよーやるわ。11年後の今は、cgo -godefで生成された型を*byteじゃなくて[sizeOfPtr]byteという定義にしてやろうかと思ってるところ。どうせ使わないフィールドだし。

pkg で devel/electron がアップグレードされると、textproc/obsidian などとのミスマッチで困ることが多いので、www/node みたいに複数バージョンを併存させてくれるとありがたい

2000年代を東京で過ごしたけど、うまいラーメンとして記憶に残ってるのは煮干しラーメン。
それまで豚骨だったのを塗り替えるほどの衝撃でした。

logicoolのLIFTを買ってみた。うーん、確かに手首にはいい。しかし、おれの場合手首よりもむしろ手の甲および前腕部の疲労が激しいので、むしろ逆効果になってしまう気がする。

LLMに、libmagicをpure goで書き直すということをやらせてみてる。
一回目は細かなソート順に特例処理を入れまくって破綻しまくったので3日ぐらいかかったのを全部捨てて。
二回目はパース処理にいつの間にか勝手に元の実装にない処理を追加してて、それに從ったテストを膨大に作って、ちょっと直したら全て失敗してテストを直すのに永遠に時間かかるようになって
今、三回目を、人間が元実装を読んでから個別の関数を個々に実装するように指示してうまくいきつつある
やはり人間が必要

縦型マウスっての買ってみるか

4年間ぐらい使ってるLogicool M750の左クリックが効きづらくなってきた。中開けてスイッチにところにマスキングテープを4,5枚重ねてみたけれどあんまり変わらないなー。買い替えるか…

コーディングエージェントに形態素解析器は書けるのか。Claude Codeと二人三脚で奮闘した記録 | Keep Coding by @mocobeta Claude Codeの練習のため，ある程度実践的，かつ手頃な規模のプロジェクトとして，[Janome](https://github.com/mocobeta/janome)をRustで書き直す＆PythonバインディングでJanome互換のAPIを実装する，ということをやってみました。結論から言うと，失敗に終わった（後述）のですが，振り返りと供養を兼ねて，ひとつの奮闘の記録を残しておこうと思い...

ブログ書きました。/
コーディングエージェントに形態素解析器は書けるのか。Claude Codeと二人三脚で奮闘した記録

ネタばらしをすると，失敗に終わりましたが，がんばってみたけど失敗した話というのは誰かの参考になるかもと思い，書き起こしてみました。ご笑覧ください。

blog.mocobeta.dev/posts/202507...

あ、golangって、使わない場合変数名を省略可能だったんだ。
つまり

func hoge(context.Context) { fmt.Println("hoge") }

って大丈夫だったんだ。知らなかった。

投票した

ワンパンマン(本家)更新されてた。いや～この人やっぱ物語を作るの上手いわ

やりましょう！釣り楽しそうですよ

やっていきます

防災警報アプリを入れてるんだけど、熱中症警戒アラートが毎日出るので、通知しないようにしてしまった。本当は良くないが、もはや毎日だからなぁ。

『RimWorld』新DLC「Odyssey」7月11日発売決定！空飛ぶ基地「グラヴシップ」で大気圏外の冒険へ | Game*Spark - 国内・海外ゲーム情報サイト 同時にアップデート1.6も配信予定です。

www.gamespark.jp/article/2025...

7月11日に向けて体調を整えていかなければ。