Akinori Musha

optimist, FOSS hacker, Ruby committer, loves prog music, shogi, puzzles, Minecraft, tea, beer & food. CTO of WED, Inc.

[Akinori Musha @knu]

Critty v1.5 is out!

Since v1.4:
- AI cowork: fixes, reviewer verification, and agreed resolutions before your final review
- Word/PDF text diffs via Git textconv
- Word diffs track line shifts

https://t.co/kU3One9jKM

[Akinori Musha @knu]

Critty v1.4 is out!

Since v1.3:
- Design interviews with critty-grill using newly designed UI widgets
- Check your answers before submitting
- Markdown formatting across lines
- Clearer dialogs

Updated demos:
https://t.co/kU3One9jKM

[Akinori Musha @knu]

@skks1028 ネットの切れ負けで残り0.3秒で詰ましても、まだ最後のn択で正しく玉を取れるかの関門が残る。8択とかきつい

[Akinori Musha @knu]

@skks1028 もちろん雑誌・新聞媒体(Web版含む)の終局図は注目が集まるところですが、ネット対戦の棋譜が早指しだとほぼほぼ玉が取られるまでになったり、捨てゲーのポーズとして玉を差し出すのが横行するなど、品位が下がる懸念は正直あります。

[Akinori Musha @knu]

結局詰みは定義する必要があるので、詰みで終局、つまり王手を逃れ（られ）ないことが負けである、という定義にするのがステップ数が少なくてシンプル

[Akinori Musha @knu]

打歩詰のルールをどうするか。詰みを放置できるなら、歩を打って詰ました瞬間に反則は行き過ぎかもしれない。そして、終局図として持ち駒に相手の玉が乗った状態を記述可能にしないといけないのが気持ち悪い。

[skks @skks1028]

将棋の一番意味不明なルールの主張は「王手放置は反則負け」だと思う。普通に王を取られたら負けでいいんだよね。これは詰みも同じ

[Akinori Musha @knu]

この人からその感想は意外すぎる。人類がどんだけ（たとえばCで）安全なプログラムを書く難しさと戦ってきたことか

[やねうら王 @yaneuraou]

私は50年近くプログラミングをやってきたけれど、脆弱性のないプログラムを書くことは難しく、自分の技術力では到底たどり着けない領域だと感じていた。

それでも、世界には自分など及びもつかないほど頭のいい人たちが大勢いて、そういう人たちが書いた堅牢で美しいプログラムによって、インターネットという巨大な仕組みが支えられているのだろうと、どこか楽観的に信じていた。

自分にはできなくても、きっと誰かにはできるのだろうと、長いあいだ思っていたのである。

しかし、今日の騒動を見ていると、どうやらそうでもなかったらしい。

人類は月に人を送り、何十億もの人々が瞬時につながる世界を作り上げ、ついには人間のように言葉を操るAIまで生み出したというのに、それらを支えるプログラムから脆弱性をなくすという、一見ささやかな願いさえ、いまだに叶えられずにいる。

人類には、脆弱性のないプログラムを書くことは、まだ難しすぎた。

今日ぐらいは、そんなクソデカ主語で語っても許されるだろうか。

[Akinori Musha @knu]

Critty v1.5.1 added native support for cmux and Zellij, and improved accessibility.
https://t.co/kU3One9jKM

[Akinori Musha @knu]

Critty v1.5 is out!

Since v1.4:
- AI cowork: fixes, reviewer verification, and agreed resolutions before your final review
- Word/PDF text diffs via Git textconv
- Word diffs track line shifts

https://t.co/kU3One9jKM

[Akinori Musha @knu]

何年も何年もずっとこうなんで、これをビジネスの基盤で使うとかは考えられない

[Akinori Musha @knu]

WordPressはちゃんと本体もプラグインも自動アップデートしていても、Dockerイメージの更新ラグとかPHP自体の穴が出てくるので、数ヶ月に一回はやられています。もう実質アーカイブなんで書き戻すだけだけど、reCAPTCHAのキーローテーションとかがめんどい

[Akinori Musha @knu]

終盤の気づきに時間が掛かる。融通の利くセクションと利かないセクションの見分け。2x3単位でちゃんと手筋化できそう 00:48

[ON NAME @ON_NAME_PUZZLE]

アカリ（ペンパ）（10×10）

終盤が少し難しめの為、注意。

https://t.co/87Daojs8Fa

[Akinori Musha @knu]

更新されたのはこれの30分後であった (10月22日01:29 JST)

[Akinori Musha @knu]

WordPressの公式DockerイメージはまだPHP更新されていないよね

[Akinori Musha @knu]

たとえば…避ける…

[Akinori Musha @knu]

@tmtms 50%までは非���税、なので満たない分は給与として計上されますね。どっちにしても天引きと給与分がちゃんと明細に載ると思うんだけどな…

[Akinori Musha @knu]

これの議論で、当人にも家賃補助があって使えていない可能性がある、みたいな書かれていないことを想定しようとする人がいるのが分からない。これだけの長文で客観的な意見を求めておいて、そんな重要事項を省略するかな。

[オギ子 @0QfpJjqYh541277]

家賃の負担額で旦那と揉めてるんだけど、これ私が悪いんですか？🥺

【前提】
独身のとき家賃9.5万だったので、それくらいまでなら払えると伝えてた。

【���居】
家賃21万
旦那の会社名義
会社から家賃補助8万

【私の考え】
21万−8万＝実質13万
→ 2人で割って6.5万ずつだと思ってた

【旦那の考え】
家賃補助8万は自分の給料
家賃補助の金額で会社選んだし
補助8万＋自分の手出し4万＝自分は12万払ってる感覚
元々9.5万払えるって言ってたから9万払ってほしい

私は毎月9万を旦那の口座に振り込む形。

ちなみに光熱費は旦那が払ってて、
実際の手出し額は
旦那：家賃4万＋光熱費1万＝5万くらい
私：9万

これって客観的に見てどう思いますか？

[Akinori Musha @knu]

Wordle 1,950 3/6

⬛⬛🟨⬛⬛
⬛⬛⬛🟩🟩
🟩🟩🟩🟩🟩
ﾖｼ!

[Akinori Musha @knu]

それはそれとして、互いに財布が一つって考えられないなら厳しい感じはする、という月並みな感想

[Akinori Musha @knu]

家賃補助が現金支給だったら当然給与の一部だし、借り上げ社宅だったら当然賃料の50%以上が天引きされているはずなので、残りを折半はおかしい

[Akinori Musha @knu]

定義の問題、といって定義を動かそうとすな