Top
Best
New

Posted by stuartaxelowen 2 hours ago

Colored Petri Nets, LLMs, and distributed applications(blog.sao.dev)
14 points | 1 comments
esafak 11 minutes ago|
Not knowing much about this space, isn't this something you could do in TLA+ ?
pevansgreenwood 1 hour ago|
[dead]