kinaba

やるきがでない

[kinaba @kinaba]

https://t.co/Bfu9GMEQ6V 面白い。RSA暗号のための巨大素数ランダム生成で0x00000XX000000XX..000000XX みたいな、32bitおきに8bitずつだけビットの埋まった素数だけ作るバグった実装があるらしく、これだと整数の素因数分解ではなく多項式の素因数分解と見なして分解できるので簡単に解けちゃう

[Trail of Bits @trailofbits]

RSA private keys biased toward 0 bits can be factored by swapping a hard math problem for an easy one: integer factorization becomes polynomial factorization.

We found hundreds of real-world keys vulnerable to this. Many traced to a type mismatch in CompleteFTP (now patched): each 32-bit limb got only 8 bits of randomness. We recovered 603 RSA and 74 DSA private keys. https://t.co/C2jcxVW9WG

[kinaba @kinaba]

記憶力がなさすぎて、自分の「海です」ポストがどこだったか忘れまくっているので、半年分くらいの過去ログを地図に記録するのにセルフジオゲッサーするハメになっている

[kinaba @kinaba]

CBMCで数独を解く https://t.co/sDLOiABJ2x というネタを @herumi さんに教えてもらったんだけど、そうか、C言語に対するSMTソルバーを使った静的検査器が存在するすなわち、制約を自由にC言語で書けちゃう大変便利なSMTソルバーがあるということになるのか。そう考えたことなかった、賢い……

[kinaba @kinaba]

他にも何人か書いてらっしゃるけど、前→前→左右 に3手で進むT字型になるイメージだった。たぶんだけど、桂頭にいる銀とか、桂の二個前にいる玉とかはなんか桂で捕まえている感があるけど、桂の斜め前にいる駒は全然桂の射程に入ってないだろ感みたいなのがあるところから来ている。

[将棋情報局編集部 @mynavi_shogi]

【調査】桂馬が１マスずつ動いてるとして、どちらがイメージと近いですか？

リプのアンケートに答えていただけるとうれしいです😀

[kinaba @kinaba]

海でした

[kinaba @kinaba]

塔です

[kinaba @kinaba]

海です

[kinaba @kinaba]

@shitsyndrome https://t.co/X5l4wzcNRi これですね。今選ぶとどうでしょう・・・

[kinaba @kinaba]

とりあえず @niha28 さんに、全人類が読むべき書籍第２位である "Purely Functional Data Structures" http://bit.ly/4rdXiX を読まねばならぬという事実を伝道した

[kinaba @kinaba]

毎週のツインビーパラダイスのラジオドラマ部分は、サリュートの声が楽しみで聴いていた記憶がよみがえりました。合掌…

[kinaba @kinaba]

一生こういう細かい手続き的な間違いを踏みまくって生きている人間としては、こういうフェイルセーフさが大変ありがたいので、私が世界征服することがあったらローソンのセルフレジ的思想で世界を覆い尽くそうと思うんですけど、

しかしそれはそれとして、いや使いにくいだろ、いうのはすごいわかる。

[kinaba @kinaba]

ローソンのセルフレジについて考えている。好きなので。

強い思想が感じられるんですよね。間違えることができないシステムこそが良いシステムだ、という。現金しかないのにセルフレジスキャン開始してしまうことができない。会計終わってからレジ袋代払ってないと気づくことができない。

[kinaba @kinaba]

池上君の本だ！目次だけでもう楽しそう。超買います

公理的集合論への一歩｜日本評論社 https://t.co/gV1MCSBPRF

[kinaba @kinaba]

https://t.co/3s0zkKhJXQ ICALP'26 疎なグラフで単一始点最短路 O(n √(log n log log n)) になったらしい。sorting barrier が突破されてから (https://t.co/0UNWhynwS0) どんどん速くなるなあ。そろそろちゃんと枠組み理解しとこう

[kinaba @kinaba]

https://t.co/4fKja8lrx0 Dijkstra最短路他様々なグラフアルゴリズムは最終的にノードを**近い順に出力してしまう**のでソートの計算量下限nlognが現れてしまい遅い。各点への最短路長さは求めるが順番には出力しない(できない)アルゴリズムで下限を突破する！！、みたいな話が最近あるのか面白い。

[kinaba @kinaba]

砂丘です

[kinaba @kinaba]

@gachacomplete もしかしたら読んだけどデルウハ殿に記憶消されてたのかもしれない…

[kinaba @kinaba]

Thisコミュニケーション https://t.co/TYCXKc6PgK 読み終わったんですけど、こんな滅法ゆがみきった酷い頭脳戦自分の好みどストライクに決まっているし、なぜ誰も教えてくれないんですかもう

[kinaba @kinaba]

海です

[kinaba @kinaba]

https://t.co/SWfbqYXhfo @各位 いや普通にオレンジジュースだった

[kinaba @kinaba]

また今年も1日海で波に打たれるdayを設けないと何も間に合わない感じになってきてしまった