demyanov's comments

On: A formal proof that a tax system can function without compliance decisions

[demyanov]

The approach is CS verification applied to tax design: enumerate every possible state (5 storage types × 5 agent types) and every possible action (7 primitives), then show every cell is priced and no sequence of actions reduces cost. Three instruments are sufficient for closure. Registration of assets is voluntary but strictly dominant — unregistered assets carry no enforceable ownership title, so the only "compliance decision" is dominated.

I'm the author. Curious whether anyone can find flaws.

On: Built a Clone of Expedia but Better

[demyanov]

Should the ticket availability information be as complete as at Expedia as well?

On: Anthropic accuses DeepSeek and other Chinese rivals of mass data theft

[demyanov]

Expected, but not sustainable in the long term.

On: Hegseth threatens to blacklist Anthropic over AI-controlled weapons [video]

[demyanov]

AI controlled weapons are inevitable. If not Anthropic, others will be happy to participate.