iiinova — where your digital self keeps evolving

HORIE Seiichi @suikan.bsky.social · 21h

『300B級LLMが動くミニPC「EVO-X5 Pro」、9月28日発売』タイトルを見てしばらく首をかしげてしまった。300Bと言えば右の写真なので……。 pc.watch.impress.co.jp/docs/news/21...

010

もし一辺が15cmくらいあるのなら、お線香用の灰を入れてみてはいかがでしょう。蚊取り線香を置くと大変風情があるように思います。

カレーに粗挽きしたコリアンダーを入れた。おいしいのだけど、カルダモンの種の味がかき消されたようにも思う。難しい。

000

ITRONのようなRTOSのAPIが返すセマフォやミューテックスのIDをRUSTの参照に書き換えれば、レキシカルな安全性を確立できる

000

開発者体験に向き合った新世代RTOS RTICについて調べてFreeRTOSと比較してみた～概要編～

Rustで書いたRTOSの利点に関する解説。非常に長文で読むのに骨が折れるが、エッセンスは興味深い。「C言語ベースのRTOSは、保護区間外でも共有資源にアクセスできる。しかし、RUSTは保護区間へのアクセスを参照で行うことで、保護区間外でのアクセスをコンパイラが禁止できる」これは強力な概念だ。RUSTは参照の寿命をレキシカルに追跡できる。つまり、コンパイラが「この参照を使用してよいか否か」を判断できる。保護区間の頭で参照を取得し、保護区間の終わりで参照を返却するAPIを作れば、保護区間の外では絶対に共有資源にアクセスできない。 zenn.dev/lowlvenginee...

zenn.dev

100

HORIE Seiichi @suikan.bsky.social · 03/10/2026

AIにあーせいこうせいと言い続けて半日で作った短い音声ファイルを再生するだけのアンドロイドアプリ。 UIは日英対応。

000

HORIE Seiichi @suikan.bsky.social · 03/10/2026

そして22年前のボストンでの味を思い出して鬱々としている。私は誕生日ケーキのローソクの味だと思った。ハイテンションの同僚を横目にひと口でギブアップ。飲み込むのに苦労した。

000

HORIE Seiichi @suikan.bsky.social · 03/10/2026

実は来年インテルのCore ultra 400が出たら、富士通の薄型ノートPCを買おうと思っていた。だけど、RAMの高騰が続いて、だいぶ購買意欲が削がれている。年末にはメモリの高騰も落ち着くと思ったんだけどなあ。

100

HORIE Seiichi @suikan.bsky.social · 02/10/2026

『再会』の間違い。 www.takedai-satsukikai.com/Satsuki_No13...

takedai-satsukikai.com

000

窓から昇る月が見える。

000

なぜ日本の衛星は欧州の小型ロケットを選ぶのか　広がる打上げの選択肢 - Impress Watch share.google/X19APHaAj9ja...

000

シビアな事件だ。このあと何が起きるか考えるだけでも恐ろしい。

001

そりゃあ、ナタニエフの言っていることを客観的事実としてそのまま報じるわけにはいかない。機長すごいとしか報道しようがない。

100

What we know about stabbing on Flydubai flight to Israel

かろうじて全体像を伝えようとしているBBCの記事を読んで、理由がうっすらとわかってきた。初期のニュースソースがナタニエフに限定されている。着陸した場所がサウジアラビアなので、現地のニュース・メディアは活力に溢れているとは言えない。捜査機関もそう。勢い、乗客の大多数を占めるイスラエル人が故郷にかけた電話が最初の情報源となる。それを拾ったイスラエル政府がイスラエル人を救った機長を称え、これはイスラエルへのテロだと断じている。 www.bbc.com/news/article...

bbc.com

A pilot has been arrested and is being questioned after another pilot was stabbed, officials say.

100

Astronomy Picture of the Day (unofficial bot) @fanapod.baldanders.info · 01/10/2026

フライドバイ 1073便事故。朝のNDTVで「サウジアラビアに緊急着陸した航空機」のニュースを知ったのだけど、「インド人機長すごい」しか言ってなくてげんなりした。何が起きたかちゃんと説明しないとニュースとは言えない。そう思って今しがた検索したのだけど、驚いたことに、ネットのニュースが「機長すごい」で埋め尽くされている。

100

Reposted by HORIE Seiichi

#apod 2026-10-01 Harvest Moon with Erupting Mount Etna Image Credit: Dario Giannobile Web page: science.nasa.gov/image-article/apod…

0167

んんん？　F-35Cじゃだめなん？？米海軍戦闘機もボーイング　第6世代、FA18の後継に　ステルス性能備え航続距離は長く - 産経ニュース share.google/IShDjlWGs4pG...

000

ちょっとVHDLに触れて退散した視点から言うと、この並列性と同期のギャップを埋める教科書は見つけられなかった。並列性と同期が大事だと書く本は多かったけど、それをステップバイステップで乗り越えさせるカリキュラムを作る力のある筆者はどれだけいたのだろう。ありがちなことだけど、開発を本当に丁寧に教えたいと思っている人はほとんどいない。彼らが関心のあるのは開発なのだから。内部の並列性や同期を指示することなく、ピンの機能とICの機能を指定するだけで、完全に動作する高性能AIができるといいよね。

000

プログラマにハードウエアを書かせる試みが失敗したのは、私の理解するところでは「並列性・同期」という、通常のプログラミングにない概念とスキルのギャップを埋める努力をしない開発者が大半だったからだと思う。逆に言えば、そのギャップを埋めるために血反吐吐いて勉強する人はVHDLでハードウェアを設計できるようになる。コード生成に関しては、AIはこのギャップを埋めうるだろう。ただ、並列性と同期を理解した仕様書とテストベクターを誰が書くのかという問題は残る。「仕様書とベクターはハードウェア開発者が書く」だったらプログラマはいらない。AIに仕様書とテストを渡せばればいい。

ハードウエアとソフトウエアを作ってい会社に努めていた頃、上司の「なぜ、ハードウェアのバグに比べてソフトウェアのバグは2桁も多いのか」というボヤキに「ソフトウエアのほうが簡単でからですよ」と答えたことがある。ソフトウェアは簡単なので、中学生くらいから「僕にもできた！」という感触を味わうことができる。そこで掴んだ「俺ってすごい」を引きずって、チョロくて楽しいコーディングはするけどドキュメントもテストも書かない開発者が大量にいる。ハードウェアは難しいので、すべての開発者がごく初期に痛い目にあって「ちゃんと勉強してドキュメントを書いてテストを書かないとだめだ」と胸に焼き付ける。

100

すべては仕様書とテストベクターをどうするかにかかっていると思う。

100

この辺のタイルは損傷しているように見える。

100

姿勢を変えたのは、スターリンク衛星放出のためだったらしい。商用スターリンク衛星の放出が続いている。

100

地球に対する姿勢がゆっくりと変わっているんだけど、これはいいのかな。

100

ラプターエンジンの噴射は終わって、軌道投入に成功したというアナウンス。

100

軌道投入を決断したとの報。歓声が上がっている。

100

管制チームはまだ最終決断の話し合いを続けているとのこと。

100

6基のうち1基が失火したため、今回軌道への投入は断念するとのこと。スターシップは弾道飛行してインド洋に着水する。スターリンク衛星は放出しないとのこと。初の商業飛行は失敗ということになる。

100

機体の側面から盛んにガスを吹いているけど、これは何なのだろう。

100

第二段のエンジンも停止した。

100

第二断のエンジンのノズル部分からなにか漏れている気がする。でもまぁ、いつものことの気もする。第一段は多分正常に着水した。

100

エンジンが1基止まっていたけど、第一段は分離成功。

100

Space X Starship flight 14、離陸した。

100

観てきた。三船敏郎に「サノバ●ッチ」と言わせたのは画期的だと思うw 日本語だと汚いセリフを結構言ってますけどね。それにしても、刀を鞘に納める仕草がため息をつくほどさまになる人だ。

010

NHKラジオ講座のテキストは一足早く10月に突入。

000

どちらかというと、趣味からくる業の深い病気のようです(笑)

気持ちの良い朝というのは、キャンプの最高の楽しみですね。

100

というつっこみはともかく、そんなに難しくないはず。 1. 安いUSBメモリにLinuxをインストールする。 2. インストールしたLinuxのGRUBメニューを編集し、PCの内蔵ドライブのLinuxのブート・ロードをデフォルトにする。 3. PCのUEFIをいじって、USBメモリからのブートを最優先、2番目をWindowsにする。これで目的は達成できるはず。念の為USBメモリの抜き差しはUSBハブの上でやるとよい。電源スイッチ付きハブを使えば抜き差しも不要。

000