Model-Based Testing for Dungeons & Dragons

(loskutoff.com)

56 points | by Firfi 3 days ago

11 comments

  • TheAtomic 3 minutes ago
    I have a couple players that aggressively press for edge cases all the time. I encourage it, as it gives me the chance to push back with "ok, that's fine on flat ground but your in thick underbrush," which seems to be more immersive and encourages more roleplaying. Fun stuff.
  • rjmill 11 minutes ago
    Someone please explain the grapple leapfrog example and why that "exploit" is interesting. If my players tried that, I'd happily let them use their full turns to do some crazy trapeze act across the battlefield.

    And then I'd remind them that they could have just dashed normally.

    Moreover, how do the new rules close the "exploit"? You can still move 30ft while carrying someone. (60/2 - 30 vs 60 - 30*2) How is that difference meaningful in this case?

    (Also, wouldn't you need something like rogue's dash-as-a-bonus -action to grapple and dash on the same turn?)

    The article is pretty interesting overall but this example mystifies me. Am I missing something obvious?

  • heelix 26 minutes ago
    Converting DnD rules and edge cases was always a bit of fun and became my "hello world" as I was learning stuff.

    Years back, I worked at a company where the agreement required them to review any personal application that I created for a year or so after I left. I was super happy to send them iterations of my DM'ing tools - written for Java (micro edition), WinCE, Palm, and any other mobile gadgets I could get my hands on.

    Around the 4th application I sent, the pharmaceutical company released me from the non-compete clause. I've always wondered if they were required to try and run the applications.

  • oceansky 7 minutes ago
    As someone who is trying to re-create the Pokémon system, I am running into similar issues. There many things going on a single "turn", especially with abilities that can pretty much change any of the game rules.
  • Firfi 3 days ago
    Dungeons & Dragons rules are a spec spanning thousands of pages, not formalized, but thoroughly tested by the community. Moving them to a formal specification language (Quint) was an obvious next step. It worked and proved to also be a great LLM self-checker.
    • anentropic 28 minutes ago
      Fantastic, I'd been daydreaming about doing similar for a while!

      Do I understand correctly that the Quint code is not needed 'at runtime', that it's there for model-based testing of the XState implementation?

  • not_ai 1 hour ago
    I think this is fantastic. I recently started playing DnD with a local group and can’t wait to dive into this to better understand the mechanics.
  • jaen 55 minutes ago
    Maybe the content is great, but the AI writing style is really grating with its staccato sentences and faux-"profoundness". Can't bear it any more, stopped reading.

    "You’re not checking logic. You’re checking shape.". Ugh.

    • data-ottawa 15 minutes ago
      This and subheading like “the problem” “The feature space” bother me for reasons I can’t fully explain.

      It feels like the laziest possible section separator and generally would be better with an extra space divider or something.

      It’s so prevalent in AI writing.

  • bugarela 2 hours ago
    This is so cool, I'll definitely be playing with in over the weekend. I meant to put Quint and D&D together in some similar ideas before but never found the time, so I love to see this coming alive from someone else <3
  • randallsquared 2 hours ago
    The "Grapple Leapfrog" is like the peasant railgun, and I think the "real" solution would be a recognition that order of conflict resolution in real time is not the same as ordering linear activities in game time.
  • weregiraffe 1 hour ago
    Shit like this results from a severe misunderstanding of what's enjoyable in a table-top RPG. It's not a fucking video game.
    • mumbisChungo 1 hour ago
      Agreed, people should only enjoy the features of it that I enjoy the way I like to enjoy them. Enjoying it the wrong way is at best stupid, possibly even evil.
  • CSP_LIBRARY 3 days ago
    Great