p.tatapa.org

p.tatapa.org

ると | @ruto@p.tatapa.org

コンピュータ関連、その他言葉遊びなどを書いてます。アイコンは「腕時計」。ヘッダー画像は2-3フィンガーツリー。

@zundan @hota GitHubにおいて「アカウント」というのは「ユーザー アカウント」、「Organization アカウント」、「Enterprise アカウント」のいずれかを指すので、Organization アカウントを作ればその分だけPagesを作れるのではないかと思います。

https://docs.github.com/ja/get-started/learning-about-github/types-of-github-accounts

「ている」はさらに微妙だな。精選版日本国語大辞典には「動作、作用の完了した状態がそのままたもたれていることを表わす」とあって確かに「風船が割れている」とは言えるけど、しかし「風船が破裂している」とは言えない気がする。

「風船が割れている」: 言う
「風船が破裂中」: 言わない
「風船が破裂している」: 言わない?
「風船が破裂していた」: 言う
「タイヤが破裂中」: 言わない
「タイヤが破裂している」: 言う
「タイヤが破裂していた」: 言う
「タイヤがパンク中」: 言う?
「タイヤがパンクしている」: 言う
「タイヤがパンクしていた」: 言う

街中で「故障中」ではなく「故障対応中」と書かれた張り紙があった。こだわりあるのか、こだわりがある人から物言いがついたのか(「故障する」というのは正常な状態から壊れた状態に変わることを言う。そのため、破裂した風船を「破裂中」とは言えないのと同じように壊れたものを「故障中」とは言えないという考えがある)。

LLMは私にとってjqみたいなもので、非常に便利で汎用的で革新的なツールで、しかし使うのは難しくて万能でもない、ぐらいの感覚。
おそらくAIエージェント(自分でループをどんどんまわしていくようなやつ)をがんがん使っているような人にとってはまた違う感覚かもしれない。

Braarudosphaera bigelowiiという円石藻の一種がきれいな正十二面体をしている。

https://en.wikipedia.org/wiki/Braarudosphaera_bigelowii

キーボード一体型パソコン(や持ち運び用取っ手の付いた電子機器)はある種の人間のある種の回路をくすぐるので不定期的に発売され続ける。

https://www.theverge.com/news/851965/hp-crammed-an-entire-desktop-computer-into-this-keyboard

https://www.hp.com/us-en/desktops/business/eliteboard.html

しかしHPみたいな大手が出すというのは意外だ。

  • 社団: 人の集まり
  • 財団: 財産の集まり
  • 星団: 星の集まり
  • 布団: 平たい袋状の布で綿などを包んだ寝具
  • 金団: 煮たさつま芋などを裏ごしして砂糖を加え、甘く煮た栗などと合わせた料理
  • 水団: 小麦粉を水で捏ねて小さくして汁で煮た料理

酸化鉛: さんかなまり さんかえん すいばけなまり

アメリカにしろTwitterにしろ、トップが替わってひどいことを次々にしていて閉口するけど、その一部は交代前からやっていることで、知っていながらそういうものとして黙過していたものも多く、今後トップが替わったとしても元のようには接せられないだろう。

メモ:

1980年のアメリカ司法省法律顧問局: FBIは相手国の同意があれば外国で逮捕してもいいけど、同意が無いとだめだよ(誘拐罪になるかもよ)。民事責任については憲法や慣習法の不法行為として、あるいは国際法によって問われる場合があるよ。

https://www.justice.gov/olc/opinion/extraterritorial-apprehension-federal-bureau-investigation

1989年のアメリカ司法省法律顧問局: FBIは相手国の同意がなくても大統領や司法長官の指示があれば外国で逮捕してもいいよ。慣習国際法や未執行の条約に違反しててもいいよ。憲法修正第4条にも反しないよ。

https://www.justice.gov/olc/opinion/authority-federal-bureau-investigation-override-international-law-extraterritorial-law

その辺りをまとめた論文(2014年): 米国における軍隊投入の権限(資料)
https://ndlsearch.ndl.go.jp/books/R100000039-I8779804

メモ:

アメリカ大統領は米軍を海外の戦闘行為に投入する前に、可能な限りあらゆる場合に(in every possible instance)議会と協議(consult)する必要がある。

しかし、議会の承認が無くとも事後に48時間以内に報告すれば投入できる。

その場合、60日以内に承認を得なければ撤退する必要がある(場合によっては30日伸ばせる)。

https://www.congress.gov/crs-product/R47603

https://www.govinfo.gov/content/pkg/COMPS-1508/uslm/COMPS-1508.xml

Nvidiaが推論向けチップメーカーのGroqを事実上買収したらしい。会社は買収せず、知財のライセンスを受けるとともに創業者や主要メンバーを引き抜く形らしい(Windsurfと似たような形)。Cerebrasと比べるとぱっとしないというのはあるけど、競争が減る形になるのは気になる。Windsurfはその後に別の会社が買って元気にやってるのでGroqも上手くやってくれるといいけど。

https://www.techzine.eu/blogs/infrastructure/137532/nvidia-pays-groq-20b-without-technically-acquiring-it/

https://groq.com/newsroom/groq-and-nvidia-enter-non-exclusive-inference-technology-licensing-agreement-to-accelerate-ai-inference-at-global-scale

非常用モバイルバッテリーの存在を忘れていて、残量0になってた。買った当時はたまに確認してたんだけど、カレンダーに予定入れて確認するようにしないとだめか。

非常用モバイルバッテリーの存在を忘れていて、残量0になってた。買った当時はたまに確認してたんだけど、カレンダーに予定入れて確認するようにしないとだめか。

BluetoothのMACアドレスランダム化に対する攻撃の論文。

https://dl.acm.org/doi/10.1145/3744559

前提
  • ペアリング後のBluetoothペリフェラル(イヤホンなど)は、ペアリングしたセントラル(携帯電話など)からのスキャンリクエストにのみ反応する。
  • スキャンリクエストは暗号化されていない。
  • MACアドレスが変化するタイミングは機器ごとに異なる。
攻撃

未知のMACアドレスからのスキャンリクエストに対して、既知のMACアドレスを持つペリフェラルが反応した場合、リクエスト元はそのペリフェラルとペアリングしていたセントラルであることがわかる(パッシブ攻撃)。

さらに、多くの機器では以前に使われていたMACアドレスにも反応する。そのため、リクエスト元アドレスを変えたスキャンリクエストをペリフェラルに2つ送ることで、その2つが同じセントラルのアドレスかどうかがわかる(アクティブ攻撃)。

一方、多くのセントラルはペアリングしたデバイスが範囲内に入るとすぐに接続しようとする。 そのため、セントラルとペリフェラルが同時にアドレスを変えた場合でも、古いペリフェラルのアドレスを装ってアドバタイジングパケットを送ることで以前と同じセントラルかどうかがわかる(アクティブ攻撃その2)。

対策
  • セントラルとペリフェラルで同時にアドレスを変える(アドバタイズを送る/受け取るタイミングで変える)。
  • 変える間隔をランダムにする。
  • 時刻の値を元にMACアドレスを変え、現在時刻から離れているものは拒否する。そのために、ペアリング時にセントラルの時計の時刻をペリフェラルに送る。

IMAPで「前回接続時以降に削除されたメッセージの一覧」ってどう取るんだろうと思ったら、全メッセージのフラグを取得しましょうって書いてあってしょんぼりした。

https://www.rfc-editor.org/rfc/rfc4549.html#section-4.3.1

既読状態とかも同様。

「形式論理は日常的な感覚と合わないけど便利な道具と割り切ってとにかく覚えてね」
というのと
「日常的な感覚を取り入れようとする論理がいろいろあって哲学的にも実用的にも重要だけどいろいろトレードオフがあるよ」
というのと
「それらの論理は日常的な感覚を取り入れるという動機のほかに、通常の論理から推論規則を減らしたらどうなるのかなどの形式的な動機もあるよ」
というのがあって、形式と非形式の入り混じったところがおもしろいんだけど、高校とか大学の学部の授業ではなかなかそこまでいかない。

»