shirou
rrudi.bsky.social
shirou
@rrudi.bsky.social
This is shirou
9ヶ月かかったが、ようやくチュートリアルが終わった。 #CIFI
December 1, 2025 at 4:43 AM
Reposted by shirou
広島のカキもそうらしいけど、海苔も温暖化の影響なのか
・海苔は不漁のため22年以降2.5倍に単価上昇
・韓国中国からの輸入は増加傾向、量は1/3ぐらいに
・輸出は大幅増、金額では全体のまだ3%ぐらい

ソース
ノリ養殖をめぐる情勢について(PDF
www.jfa.maff.go.jp/j/saibai/att...
www.jfa.maff.go.jp
November 16, 2025 at 8:16 AM
note.com/indo_europea...

> tässä/tuossaとtällä/tuollaの区別が英訳を見ていてもわからない。

インドネシア語のduolingoやったけど、英語との差分があると破綻するんだよな。
それがつらすぎてやめてしまった
ガチればDuolingoだけで言語が習得できるのか?(フィンランド語篇)|大山祐亮(@Yusuke_OYAMA_)
ご無沙汰してます。大山です。 さて、Duolingoという語学学習用アプリがあります。結構いろいろな人がやっているみたいですね。私も以前2つほど紹介記事を書きました。 今の連続記録は2810日ちょっとです。来年には3000日記念の記事が書けそうですね。時の流れがちょっとした恐怖です。 ところで、私の持論として、「アプリは副教材」というのがあります。教科書で勉強するのを億劫がってアプ...
note.com
November 16, 2025 at 10:03 AM
feedeenが繋がらない。大変だろうけど頑張れー
November 15, 2025 at 3:11 AM
道歩いてたらバナナの皮が落っこちてた。当然ながらカピカピに乾いていて踏んでも滑りそうになかった。
踏んで滑るのって落としてすぐなのかな

(踏んでないのであの状態でも滑るのかもしれないけど)
November 12, 2025 at 12:30 AM
CiFi (Cell: Idle Factory Incremental) というIdleゲームをこの9ヶ月間してたんだけど、MP e820あたりで全然進まなくなってしまったのでつい別のIdleゲームを始めてしまった。
なお、CiFiのe820というのはまだチュートリアルレベルだったりする
November 5, 2025 at 3:28 PM
mermaid記法だけど、コメントでレイアウト情報を埋め込むの良いな
github.com/RohanAdwanka...
GitHub - RohanAdwankar/oxdraw: Diagram as Code Tool Written in Rust with Draggable Editing
Diagram as Code Tool Written in Rust with Draggable Editing - RohanAdwankar/oxdraw
github.com
November 2, 2025 at 1:09 PM
自作PicoProbe動いた。ハンダが汚いが、ほぼ初心者と思えば動くだけ上出来
November 1, 2025 at 6:36 AM
電子レンジがいきなり壊れた。でかい異音がして、しかも温まらない。今朝は平気だったのに。
修理依頼の電話したら「日程調整は週明け火曜までお待ち下さい」とか言われるし。連休初日というのが最悪のタイミングだ
November 1, 2025 at 2:57 AM
カプリチョーザ、すごい昔にしょっちゅう行ってた気がするが思い出せないので気のせいかもしれない
October 31, 2025 at 2:58 PM
Reposted by shirou
米Kensington、スクロールリングやプログラム可能なボタン、55mmボールを採用し最大4台のデバイスと接続できる「Expert Mouse™ TB800 EQ トラックボール」を発表。
https://applech2.com/archives/20251029-kensington-expert-mouse-tb800-eq-trackball.html
米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に発売すると発表しています。
applech2.com
October 30, 2025 at 9:35 AM
小型船舶操縦免許(一級)の免許証きた。これで乗れる
October 18, 2025 at 2:49 AM
trixieでutmpがなくなってる、ってissueがあって、スレ読んでたら
なんでwとwhoのほとんど同じコマンドがあるのか、っていう話が出てた
lists.debian.org/debian-devel...
w(1) vs. who(1) (was: utmp in trixie)
lists.debian.org
October 15, 2025 at 11:29 PM
字を書かなさすぎて、字をきれいに書けなくなったのでますます書かなくなるという循環に入ってはやn年なので紙の手帳とかありえない
(元から字が汚いだろ、というツッコミはなしだ)
September 27, 2025 at 1:32 AM
喜び勇んで最近入荷した雄町のひやおろしを買って飲んだけど、あれ、そんなに美味くないぞ?
って思ったが酒がうまくないはずはないので心が病んでいるからかもしれない
September 17, 2025 at 3:04 PM
Reposted by shirou
ガザのかたからの寄付の呼びかけの拡散を手伝うことをエックスを中心に1年半くらい続けてきて、どうしても「同じひとが投稿して、同じひとが拡散し、同じひとが寄付をする」状況になりがちな印象ですが。「知っていれば協力するけどまだ届いていない」層に届くためにも、「今までそういうのは拡散したことなかったけど、今回だけしてみる」てかたが増えたらいいなと思っています。この投稿で紹介してる記事とかを「今までリポストだけしてたけど、短い感想を添えて自分で共有してみる」だけでも届く範囲が変わってくると思います。よかったらご協力ください
Haneenさんについては日本の作家 糸川さんによる素晴らしいインタビュー記事があります。全文無料で読めますが、購入するとそれも支援につながります。作家による、ジャーナリストを目指していたひとへのインタビューとおもうと「ものを書く」ことをしているひとにはとくに読んでもらいたいです。「緊迫した支援の必要性」の情報の共有はハードルが高いというかたは、この記事だけ個別にシェアいただくのもよいのかなとおもいます
note.com/itoyama_noe/...
ガザからの声 〜ハニーンさんに聞きました〜|糸川乃衣
はじめに これは、ハニーン・ハンマードさんのインタビュー記事です。 ハニーンさんが「ただの数字」ではなく名前と顔のある人であることをひとりでも多くの人に知ってもらうために、ご本人と一緒に書きました。 パレスチナをどこか遠く感じながらも、もはや全貌を把握することもできなくなった死者数やタイムラインに流れてくる遺体の写真に心を痛めている方に、それから、どれだけ声をあげても行動しても悪くなってゆく...
note.com
September 7, 2025 at 10:45 AM
rimworld odessayクリアした。anomalyと比べて結構楽しかったな。グラブシップがいい。移動しないといけないとか、建設範囲が限られてるとかいう欠点はあるがそれは妥当だし、かつ、利点に変えれるのは良いね。
August 31, 2025 at 1:57 PM
www.gamespark.jp/article/2025...
これ入れてみたら、こんな感じで答えてくれてちょっとおもしろい。 (なお心情的にはもう問題ない)
August 30, 2025 at 1:21 PM
Reposted by shirou
お仕事の話が続きますが、9月4日に新刊の発売を予定しています。Lean 4というプログラミング言語に関する少なくとも日本初、もしかしたら世界でも初となる商業的な解説書です。特に3章とか4章くらいまでは、数学と計算機の両方の理論的な関係に興味がある人にとっては一気に視界がひらける内容になっていると思います! www.lambdanote.com/blogs/news/l...
新刊『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』 の発売を9/4に予定しています
ご来店ありがとうございます。新刊発売予定のお知らせです。 2025年9月4日(木)、井上亜星著 『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』の発売を予定しています。 書名にもある通り、本書はLeanという比較的新しいプログラミング言語の入門書です。プログラミング言語としてのLeanは、いわゆる関数型言語の仲間と言えます。 他の関数型言語、とくにHaskellを使っ...
www.lambdanote.com
August 29, 2025 at 9:50 AM
Reposted by shirou
かつて、フロントエンド技術書籍の陳腐化の速さを「サバ」に喩えておりましたが、本日よりLLM関連書籍のそれについては「生シラス」に喩えることとしました。押忍
August 28, 2025 at 1:13 AM
今日はgoでポインタな定義のフィールドがあるstructを binary.Readで読み込もうとするとinvalid sizeと言われて読めない、という問題にぶち当たってた。11年前のおれはこれをbinary.goを手元にコピーしてreflect.Ptrにも対応するというコードを加えて動かしていたようだ。全く覚えてないけどよーやるわ。11年後の今は、cgo -godefで生成された型を*byteじゃなくて[sizeOfPtr]byteという定義にしてやろうかと思ってるところ。どうせ使わないフィールドだし。
August 25, 2025 at 3:36 PM
Reposted by shirou
pkg で devel/electron がアップグレードされると、textproc/obsidian などとのミスマッチで困ることが多いので、www/node みたいに複数バージョンを併存させてくれるとありがたい
August 20, 2025 at 10:35 AM