Yet another cool use for datalog! And I was just reading a paper about using datalog to model distributed systems state machines. Wonder if we could Sketch out some of those papers...
-
-
-
Datalog is great. This video barely scratches the surface because I didn't use any rules. I'd like to do videos w/ more advanced analysis using either datalog or Alloy. If you have any requests for statecharts or invariants to check (or good papers) send 'em my way!
-
Have you read http://db.cs.berkeley.edu/papers/sigrec10-declimperative.pdf … and the many datalog projects it references? Lots of recent lit on modeling state machines with datalog. I could imagine using Sketch and something like Allow to teach distributed algorithms using state machines.
End of conversation
New conversation -
-
-
This is awesome! Took me 2 seconds to copy-paste a sketch into http://bit.ly/xstate-viz and create this:pic.twitter.com/Sebz0IJYQ3
- End of conversation
New conversation -
-
-
This is very cool, Kevin!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
You, truly, are a God among mere mortals.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.