{
  "config": {
    "base_url": "http://dmitry.cheryasov.info",
    "mode": "build",
    "title": null,
    "description": null,
    "languages": {},
    "default_language": "en",
    "generate_feed": false,
    "feed_filename": "atom.xml",
    "taxonomies": [
      {
        "name": "tag",
        "slug": "tag",
        "paginate_by": null,
        "paginate_path": null,
        "render": true,
        "feed": true
      }
    ],
    "author": null,
    "build_search_index": false,
    "extra": {},
    "markdown": {
      "highlight_code": false,
      "highlight_theme": "base16-ocean-dark",
      "highlight_themes_css": [],
      "render_emoji": false,
      "external_links_target_blank": false,
      "external_links_no_follow": false,
      "external_links_no_referrer": false,
      "smart_punctuation": false,
      "extra_syntaxes_and_themes": [],
      "lazy_async_image": false
    },
    "search": {
      "index_format": "elasticlunr_javascript"
    }
  },
  "current_path": "/tag/programming/",
  "current_url": "http://dmitry.cheryasov.info/tag/programming/",
  "lang": "en",
  "taxonomy": {
    "name": "tag",
    "slug": "tag",
    "paginate_by": null,
    "paginate_path": null,
    "render": true,
    "feed": true
  },
  "term": {
    "name": "programming",
    "slug": "programming",
    "path": "/tag/programming/",
    "permalink": "http://dmitry.cheryasov.info/tag/programming/",
    "pages": [
      {
        "relative_path": "daily-catch/2023/2023-12-06-p-language-for-distributed-fsm.md",
        "colocated_path": null,
        "content": "<p>The <a href=\"https://p-org.github.io/P/whatisP/\">P language</a>:</p>\n<ul>\n<li>Describes a distributed system as a bunch of FSMs.</li>\n<li>Verifies its correctness to some degree (but not proves yet).</li>\n<li>Generates C or C# code; compact enough to suit even device drivers.</li>\n<li>Allows to describe test suites and monitoring tools for the code.</li>\n<li>MIT license.</li>\n</ul>\n<p><a href=\"https://news.ycombinator.com/item?id=34273979\">Sumbitted to HN</a>; got to the front page briefly.</p>\n",
        "permalink": "http://dmitry.cheryasov.info/daily-catch/2023/p-language-for-distributed-fsm/",
        "slug": "p-language-for-distributed-fsm",
        "ancestors": [
          "_index.md",
          "daily-catch/_index.md"
        ],
        "title": "P language: distributed state machines",
        "description": null,
        "updated": null,
        "date": "2023-12-06",
        "year": 2023,
        "month": 12,
        "day": 6,
        "taxonomies": {
          "tag": [
            "programming",
            "distributed"
          ]
        },
        "authors": [],
        "extra": {},
        "path": "/daily-catch/2023/p-language-for-distributed-fsm/",
        "components": [
          "daily-catch",
          "2023",
          "p-language-for-distributed-fsm"
        ],
        "summary": null,
        "toc": [],
        "word_count": 66,
        "reading_time": 1,
        "assets": [],
        "draft": false,
        "lang": "en",
        "lower": null,
        "higher": null,
        "translations": [],
        "backlinks": []
      }
    ],
    "page_count": 1
  }
} <!-- XXX -->