Colored Petri Nets, LLMs, and distributed applications(blog.sao.dev)
15 pointsby stuartaxelowen3 hours ago2 comments
  • esafak33 minutes ago
    Not knowing much about this space, isn't this something you could do in TLA+ ?
  • pevansgreenwood2 hours ago
    [dead]