alt
Hacker News
Colored Petri Nets, LLMs, and distributed applications
19 points
•
by
stuartaxelowen
•
yesterday at 9:08 PM
•
2 comments
•
view on HN
Comments
esafak
•
yesterday at 11:19 PM
Not knowing much about this space, isn't this something you could do in TLA+ ?
➕ show 1 reply
pevansgreenwood
•
yesterday at 10:05 PM
[dead]
alt Hacker News
Not knowing much about this space, isn't this something you could do in TLA+ ?