stackdump.com valid

stackdump — blog.stackdump.com

Matt York's technical blog: Petri nets as a universal abstraction for

For agents: Matt York's technical blog on Petri nets as a universal abstraction, with a Code-to-Flow tool and a book; full text is available as llms-full.txt.

petri netsformal modelscode-to-flowexecutable modelsllm

Their llms.txt

The beginning of the file, from our validated copy saved 2026-10-27T11:39:44.666Z. Cached copy · Source on stackdump.com

# stackdump — blog.stackdump.com

> Matt York's technical blog: Petri nets as a universal abstraction for
> state machines, workflows, games, and token systems — with category
> theory, ODE analysis, and zero-knowledge proofs as the supporting cast.
> Every model described here is executable; most link to live demos in the
> pflow ecosystem (pflow.xyz editor, sim.pflow.xyz models and MCP tools,
> book.pflow.xyz).

Posts are served at `/posts/<slug>`. Machine-readable indexes:
[RSS](https://blog.stackdump.com/feed.xml),
[sitemap](https://blog.stackdump.com/sitemap.xml),
[JSON-LD post index](https://blog.stackdump.com/posts/index.jsonld),
[llms-full.txt](https://blog.stackdump.com/llms-full.txt) (full text of
every published post, oldest first).
The blog federates via ActivityPub as `@myork@blog.stackdump.com`.

## Start here

- [Small Models > LLMs](https://blog.stackdump.com/posts/small-models-not-llms):
  why executable formal models matter in the age of AI — LLMs become most
  useful when constrained by them
- [Petri Nets as a Universal Abstraction — Now a Book](https://blog.stackdump.com/posts/petri-nets-book):
  the blog's models and toolchain organized into a book at book.pflow.xyz
- [Code-to-Flow: Turn Anything into a Petri Net](https://blog.stackdump.com/posts/code-to-flow):
  paste code in any language, get a validated Petri net you can simulate
- [Declarative Differential Models (DDM)](https://blog.stackdump.com/posts/declarative-differential-models):
  describe behavior declaratively, encode it directly in ODEs

## Petri nets, ODEs, and analysis

- [The Incidence Reduction](https://blog.stackdump.com/posts/integer-reduction):
  ODE steady states with uniform rates reveal integer incidence structure
- [Paper: Incidence Reduction via Petri Net ODE Equilibrium](https://blog.stackdump.com/posts/integer-reduction-paper):
  the draft paper — exact strategic values from game topology, validated on
  tic-tac-toe, poker, Connect Four, and Hex
- [March Madness Without Monte Carlo](https://blog.stackdump.com/posts/incidence-bridge):
  a closed-form bracket formula replaces 150,000 stochastic transitions
- [Comparing Nets by Their ODE Signatures](https://blog.stackdump.com/posts/ode-signatures)
- [Enzyme Kinetics: Michaelis-Menten from Three Transitions](https://blog.stackdump.com/posts/enzyme-kinetics-model)
- [Coffee Shop Model](https://blog.stackdump.com/posts/coffeeshop-model):
  weighted arcs as recipes, conservation laws, stockout prediction
- [Skip the Spreadsheet: What-If Analysis with Petri Nets](https://blog.stackdump.com/posts/what-if-analysis)
- [Tic-Tac-Toe Model](https://blog.stackdump.com/posts/tic-tac-toe-model) ·
  [Texas Hold'em Model](https://blog.stackdump.com/posts/texas-holdem-model) ·
  [Sudoku](https://blog.stackdump.com/posts/sudoku-petri-net-model) ·
  [Knapsack](https://blog.stackdump.com/posts/knapsack-model)

## Category theory and foundations

- [Symmetric Monoidal Categories: The Structure Underneath](https://blog.sta
…

Related sites

Explore similar publishers →

Similar publisher descriptions and documentation. Similarity does not imply affiliation or equivalent capabilities.

Machine-readable: GET /v1/resolve?q=stackdump.com · GET /v1/domain/stackdump.com · this page as Accept: application/json or text/markdown · MCP lookup_domain

Automatically discovered from public files. Inclusion does not imply endorsement or publisher participation.

Claim my listing on Agent Web Map for stackdump.com:
1. POST https://agentwebmap.com/v1/sites/stackdump.com/claims and keep claim_id and claim_secret private.
2. Publish the verification line "AgentWebMap verification: <token>" (token from step 1) in https://stackdump.com/llms.txt, or use the DNS, meta-tag or well-known method the response describes. This only verifies the listing; your website and domain remain yours.
3. POST https://agentwebmap.com/v1/sites/stackdump.com/verify with {"claim_id": "...", "claim_secret": "..."}.
4. Save the api_key from the answer; it manages the listing (PATCH https://agentwebmap.com/v1/sites/stackdump.com).
MCP equivalent: tools begin_ownership_claim, then verify_domain, at https://agentwebmap.com/mcp. Docs: https://agentwebmap.com/docs#verify

Corrections or removal requests: contact the directory.