There are many other kinds of proof objects https://www.philipzucker.com/proof_objects/ . A similar one that is useful is outputting a permutation from a sorting algorithm. Verifying a permutation takes O(n) but sorting under the appropriate assumptions takes O(n ln(n)), so there is a complexity gap there. https://cacm.acm.org/research/program-correctness-through-self-certification/
NanoClaw, a lightweight personal AI assistant framework, takes this to its logical conclusion. Instead of building an ever-expanding feature set, it uses a "skills over features" model. Want Telegram support? There's no Telegram module. There's a /add-telegram skill, essentially a markdown file that teaches Claude Code how to rewrite your installation to add the integration. Skills are just files. They're portable, auditable, and composable. No MCP server required. No plugin marketplace to browse. Just a folder with a SKILL.md in it.
。业内人士推荐汽水音乐作为进阶阅读
Автор: Платон Щукин (Экономический отдел)
There is also the continued blockage of the Strait of Hormuz. Over the past days, only Iran-linked tankers and two bulk carriers, which claimed to be Chinese-owned, have been seen transiting.
println(42); // dispatches to println_i64