はじめてのにき

_ 親バカ日記

18ヶ月

マジであるあるらしいが、そのあるある通り、子が保育園から病気を家に運んできた、たぶん。僕自身も子の後で熱が出たし、僕自身は基本病弱にも関わらずコロナの間はゼロ風邪だったこともあり、状況証拠的には子が運んできた風邪に親がかかった、で良いだろう

なんか今回の風邪は不思議なカゼで僕は 39 度が二回出たんだけど、それ以外特に症状がないカゼで、まぁ僕というのは人生経験1年程度の若輩者と比べると、まあまあ強いので、あまり問題にならなかった。それより問題なのは子が元気なクセに熱が出ていて、家にいるとか、保育園に行ったにも関わらず熱出たと強制送還されるということであり……疲れた。1週間ほど、あまり仕事にならない感じの日が続いたが、これは仕事の状況を俯瞰する良い機会だったかもしれない、そうでもないかもしれない、わからないが、

子の病気についても、それ以外の近況についても、思うことはいろいろとあるが、僕からすると妻の姪に当たる、ほぼうちの子と似たような年代の子が、なんといえば良いのか、突然厳しい病気にかかり、なかなか厳しい病態であるらしい。ぼくがしんみりしていて良いことは何もないのだけど、しんみりとしてしまう

(22:13)

_ ループ中に要素追加するやつ

https://twitter.com/kemuniku/status/1661635386916114438

面白いなあ

(13:56)

_ 突然質的変化する話への反論

どこだっけな、となったのでメモ

https://arxiv.org/abs/2304.15004

雑なたとえをすると「中二の課題を全小中学生に解かせて、中二になった途端正解率が上がったので教育は8年で質的な変化が！」みたいな話に思えるので、まぁ普通に考えてまともな反論だとは思う。一方で人類の大半が解けない問題を解けるようになると、もはや人間には有効性のある metrics を作ることもできなくなってくるので、そういう意味では質的転換が起きつつあるタイミングというのはまぁそんな気もする

(13:02)

_ 脳外科医の竹田くん

https://www.pixiv.net/user/91224487/series/187899

実話ベースらしい。こわすぎ

そしてホントかウソか知らんけど、この人まだ現役で働いてるという情報も見た……

(20:43)

_ 逆ポジショントーク

https://www.itmedia.co.jp/news/articles/2305/09/news195.html

ポジショントークってあるけど、「自分のポジション考えるとその発言は無いよね……」な感じで、逆パターンという気がして面白かった

賛否両論のようだ。仮に、いつものようにコンビニに行ったら、店員が「毎日コンビニ弁当とかありえないよなー自炊しろよ」とか大声で言ってて、店長が注意した、くらいの感覚で、まぁそれは注意するのではないの、と思った

まぁなんか一方で厳重注意側のツイートも、もうちょっとなんかねという感もわからんでもない

(21:58)

_ we have no moat

https://www.semianalysis.com/p/google-we-have-no-moat-and-neither

かなり楽しくないと書いた直後に、かなり楽しい文章が。都合の良い怪文章を cherry pick して喜ぶとか陰謀論と変わらんという感じだけど、これは盛り上がる文章だなあ。他もいろいろ楽しいが、モデルでかくしすぎてもねえ話がとても良い

Giant models are slowing us down. In the long run, the best models are the ones
which can be iterated upon quickly. We should make small variants more than an
afterthought, now that we know what is possible in the <20B parameter regime.

プロプラバカデカモデルとか何も楽しくないんだよな。バカパラでない大規模計算の類が好きでなさすぎる病にかかっている身としては嬉しい。やっぱ計算はコンピュータ1台でできるくらいのが良いよね

Focusing on maintaining some of the largest models on the planet actually puts us at a disadvantage.

とかも良いねえ

(12:40)

_ Mojo

https://docs.modular.com/mojo/

うーむ。なんかこうプログラム言語を楽しく思う気持ちがすりへってしまっているな。 swift ではなにがダメだったんだろう

(15:04)

_ LLM に思ったこと

http://shinh.skr.jp/m/?date=20230326#p01

では使う方面側だったので、技術よりな感想

パラメータを増やせば性能が上がる、というのは、かなり楽しくない。速いメモリがたくさん必要です、以上のことにならないので……特に学習側はどうなんだろうねえ。推論の方はマシというか、バカみたいにあるパラメータを圧縮する話になると、学習側も楽しそうではある

圧縮と言っても、データ圧縮がんばるぞ、てよりは、現状の LLM だと、少ないパラメータ量をコスパ良く使うような構造を発見するところからなんだろうけど……方向性としていろいろありそうだけど

• CNN みたいな再利用。画素みたいに自明な方向はないので、同じ重みを複数のチャンネルグループに使う、とかなのかねえ
• 重みを明示的に再利用する。 RNN 以外であまりうまくいったイメージがないけど
• factorize する系
• 重みがあるのはしょうがないが、条件次第で読まない。つまり MoE
• それ系で言うとやっぱ決定木的なやつとのハイブリッドをやって欲しいけど。決定木って圧縮効率高いよねえたぶん

データ圧縮がんばるぞ系でいうと、本質的に符号と仮数部がおおむねランダムなので、なんというか難しいよな。いや非可逆圧縮は単に仮数分の下捨てればいいのはシンプルなんだけど。えーと例えば、指数部が小さいデータの仮数部は捨てる、とかどうなんだろう

(16:43)

_ 親バカ日記

17ヶ月

保育園に行くようになり、月ごとの差分が小さくなってきていた昨今としては、非常に大きな変化となった

最初の1週間は、到着すると大泣き、手を前に出して助けて〜的に泣き、外に出ても鳴き声が聞こえていた。「そうは言ってもしょうがないじゃないか、すぐに慣れるし、物心つくころには忘れているよ」と思いつつも、なんとなくちょっと重い気持ちで帰宅する感じだった。同時入園の子の中でも一番泣いてる、くらいだったと思う。でも2週間目くらいで慣れたらしく、軽くぐずり泣きするくらいになった。最初のうちは公園に一人だけ連れていけない、など色々あったようだけど、そのへんも問題なくなったようだ。園から送られる写真を見ると、笑ってはいないが、楽しそうにはしている

なんだかしらないが、かたくなに飲まなかった麦茶も飲むようになった。哺乳瓶を強制的にやめるなんて、ひからびてしまうぞ？と思っていたが、ひからびるくらいなら飲むようだった。基本頑固なんだけど、しょせん子供

「物心つくころには忘れているよ」について、それはそうなんだけど、それを肯定してしまうと、「人間死ねば何も覚えてないから、何をしようが人生に意味がない」論の肯定に直結してしまう気がして、どうなんだろうなぁ、と思ってしまう。物心ついたら忘れてるとしても、今この瞬間非常に大きな不安を持って泣き叫んでるのは事実で、痕跡が残らないからってそれは良いのか？的な。5億年ボタンの是非なんかとからめて考えると良さそうだけど、実のところわりとどうでも良いので、特に何も考えてはいない

そういえば、保育園に入る前に、えいやっと僕一人で実家に連れていく、というのもやってみた。母がいないと泣いて話にならない、とまではいかず、おおむね楽しくやれたような気がするが、写真を見ると「笑ってないなぁ」という感じ。僕もかなりたくさんの時間を費しているわけで、「母がいないと絶対ダメ！」となったら僕も納得できないし、とはいえいろいろと悲しそうで、「母なんかいなくても良いよ」というわけでもなし、割と双方に忖度された結果だった、という感想だった

保育園以降、親の生活としては、早起きを強制されるようになった。昔は早起きなんてとんでもない、という感覚だったが、何故か最近はわりと起きられるようになってきているので、そんなに問題ない。とはいえ、たまに深夜の深酒するのが好きなんで、それすると翌日が死にます、というのが、結構しんどい。昼間に寝ればいいんだけど、なんだかミーティングが多いということもあり……

保育園、「どこかに入れるか、否か」を決める条件に年収を入れるのはなんの不満もないのだけど、「どこに入園させるか」の条件に年収が入るのは、おかしいやろ、という気持ちになる。アルゴリズム的には、希望者を条件でソートする、希望者の上位から希望順位が上の園に入園していく、という感じらしく、まぁそれが一番実装しやすいアルゴリズムというのはそうなんだけど……

コンピュータを使っていいとしても、どうするのが良いのかな。既存のアルゴリズムで入園可否と、仮に入園する先を決めてから、ランダムに二者を選び、その二者の園を一定確率でスワップする。その確率は二者の希望順位の合計の変化量に依存する関数で適当に決める、とかを思いつく。これを十分な iter 数まわせばそれなりに公平になる。決定論的というか一回で終了するアルゴリズムは、ぱっと考える限り無いんでないのって感じ

何が言いたいかというと、保育園が遠いので、それはちょっとしんどい

(13:26)

_ 4TB

ディスクを集めた結果 4TB ある状態になった

( '-') sudo hdparm -Tt --direct /dev/nvme1n1

/dev/nvme1n1:
 Timing O_DIRECT cached reads:   3320 MB in  2.00 seconds = 1659.45 MB/sec
 Timing O_DIRECT disk reads: 8354 MB in  3.00 seconds = 2784.57 MB/sec

( '-') sudo hdparm -Tt --direct /dev/nvme0n1

/dev/nvme0n1:
 Timing O_DIRECT cached reads:   2774 MB in  2.00 seconds = 1386.64 MB/sec
 Timing O_DIRECT disk reads: 5566 MB in  3.00 seconds = 1854.66 MB/sec
i@u9 19:27

( '-') sudo hdparm -Tt --direct /dev/sda

/dev/sda:
 Timing O_DIRECT cached reads:   922 MB in  2.00 seconds = 460.79 MB/sec
 Timing O_DIRECT disk reads: 1082 MB in  3.13 seconds = 345.31 MB/sec

( '-') sudo hdparm -Tt --direct /dev/sdb

/dev/sdb:
 Timing O_DIRECT cached reads:   998 MB in  2.00 seconds = 498.05 MB/sec
 Timing O_DIRECT disk reads: 636 MB in  3.01 seconds = 211.58 MB/sec

これ /home を逆の方に置きたいやつだな……今さら面倒ではあるが、 4TB あるわけで順番に入れ変えていけば実現はまぁできるな

(19:36)

_ さくら

なんかコマンドとか送るとここに書けないということがあったのだけど、よくわからんセキュリティ機能の SQL インジェクション対策ということだった。面倒なので単にセキュリティ切ることで対処

(19:37)

_ nvme

なんか PC の口難しくなったなぁ、という感じ

AMD B650 チップセット ATXマザーボード
メモリ:DDR5対応メモリスロット ×4(最大128GB)
拡張スロット:PCIe 4.0 x16 ×1 / PCIe 4.0 x16 ×1 / PCIe x1 ×2
ストレージ:SATA 6GB ×4 / M.2 slot ×3 (PCIe 5.0 x4 ×1、PCIe 4.0 x4 ×1、PCIe 4.0 x2 ×1)

と言っていて、まずメモリは x4 で差すと遅くなるらしい。デュアルチャンネル的な話で、2枚を正しいところに入れると速いらしい。 64GB あれば十分やろ、と 32GB x2 を買ってさしたけど、もともとあった 16GB がもったいないなこれ……

PCIe はこの説明を見ると、普通のが 4 つあり、 M.2 のが 3 つあると言ってるのだろうか。 M.2 のうち1つぽいのは最初から SSD が入っていて、ただなんかゴツいヒートシンクついててよくわからん状態になっている。ささってる SSD は PCIe 4.0 のやつらしいが。そもそも M.2 て x4 と x2 で同じサイズなんかね

他の M.2 スロットは、ひとつはそれぽいのが見えていて、たぶんそれが PCIe 4.0 x4 のやつだと思うんだけど、だとすると、 PCIe 4.0 x2 のやつがどこにあるかはさっぱりわからない

PCIe ぽい口は、長いのと短いのがある。たぶんだけど PCIe 4.0 x16 の片方がグラボが差さっていて、残りの長いのが x16 てことなんだろうかな

とかやってると

https://download.asrock.com/Manual/B650%20PG%20Lightning_Japanese.pdf

がどうも仕様ぽいと気付いた。 M.2 は一個はグラボに隠れてて、上から 16GB/sec, 8GB/sec, 4GB/sec で、隠れてるやつが 8GB/sec なので刺しにくそう……

まぁ気にせず 4GB/sec に刺す安い 1TB 買うことに

(15:53)