mora

postdoc🇬🇧 / software verification / CTF (pwnable)

[mora @moratorium08]

とはいえ、gitvfsとか shelldietの10点解法を思いつかなかったのは、moraGPTが無能だった...ので少なくとも上位はまだ人間がちゃんと強い

[mora @moratorium08]

DEFCON、まだ一応楽しめたな(多分出るのは今年で最後だろうなあ)

[mora @moratorium08]

以前は、(特にpwnとかで顕著だったが)バイナリの挙動全てを完全に理解してパズルをはめきるみたいなところがしんどいが気持ちよい要素だったが、細かいことは基本的にAIが埋められるし、なんか言えば調査も精度良くやってくれるし、今までやってたものとはまあ別物だなあとは改めてなった

[mora @moratorium08]

AIが仕事してる間に激ウマ麻婆豆腐作った

[mora @moratorium08]

@00_ 感謝感激雨アラモード❗️

[mora @moratorium08]

codexが経験したこと無いバグり方しはじめた

[mora @moratorium08]

@st98_1f512 これすき

[mora @moratorium08]

@st98_1f512 気になります

[mora @moratorium08]

@Dantxlian_ i guess the fact that ai never gets tired is destroying a certain aspect of ctfs :(

[mora @moratorium08]

Codex + GPT 5.4にとうとうpwnの能力で負けた気がしており、涙が止まらない🍄

[mora @moratorium08]

@_sy1vi3 y - I knew this would happen one day, but it still feels so sudden...

[mora @moratorium08]

@satoki00 @st98_1f512 名は体を表しますね

[mora @moratorium08]

@st98_1f512 ありがとうございます。人生の指針にします。

[mora @moratorium08]

@Venriched (Hirata 2026)

[mora @moratorium08]

去年のSECCON決勝のking of the hill、 今振り返っても1年前のあの段階でしか成立しない競技でアツかったな。今年からは短い時間で区切られたフェーズ制のKoHはAI早解きゲーになるだけだろうしどうするんやろ
https://t.co/z89zny2y8n

[mora @moratorium08]

SECCONで出たKing of the Hillのallegro (2~3時間おきに遅いx86_64謎バイナリが与えられるのでreversingして高速化しなさい)という問題、現AI環境だからこそできる(強すぎても弱すぎても成り立たない)よく設計された問題だったなとChatGPTのログを見直しながら思った

[mora @moratorium08]

ChatGPTがよく使う「〜という整理になります」という日本語に違和感があったので、最近話題の SoftMatcha 2 で用例検索してみたらヒヤリング文章にばかりマッチした。法曹・官僚用語なんだろうか（それともコーパスの問題？）