MAGAMAGA on Nostr: ...
Gherkinで仕様を記述させ、TLA+でモデル検査するとgpt-5.5がFable並にバグを取ってくれた件
ってブログ記事書こう
Published at
2026-06-22 03:26:07 UTCEvent JSON
{
"id": "8938129676297a3196049def6c2ed2f6b1117f50e3152839b7001f6bbdd0672b",
"pubkey": "23395bce1a18fe5ff5bde153fcd47ecd1cd66e686684dfd2cfcbd9fafd305cb3",
"created_at": 1782098767,
"kind": 1,
"tags": [
[
"client",
"Damus"
]
],
"content": "Gherkinで仕様を記述させ、TLA+でモデル検査するとgpt-5.5がFable並にバグを取ってくれた件\n\nってブログ記事書こう",
"sig": "515a58960feffa84b8232452b7f4e006c7dd2cbecf1d9eb43cb6ad0b6a39a79d8c3faabf5bb78ef206fd2d884349ce25ba55cf7189dba320d7d416c08152d56c"
}
