The paper sounds very, very much like Claude
> Not tried in major application domains — no shipping production codebase uses pre/post/contract_assert.
This line is where I realised it's Claude. Also note the emdashes.
[flagged]
> Not tried in major application domains — no shipping production codebase uses pre/post/contract_assert.
This line is where I realised it's Claude. Also note the emdashes.