Matt York

@stackdump.eth

122 Following

14 Followers

Matt York pfp

Proud to share I've joined allinbits.com Working on Gno.land projects 🚀 🚀

0 reply

0 recast

0 reaction

Matt York pfp

Publishing code-as-content means shipping the densest possible form of information. It’s not just a blog—it’s a runtime. It’s not just a message—it’s a model. When users run your thoughts instead of reading them, you’ve crossed into a new medium.

0 reply

0 recast

0 reaction

Matt York pfp

New v1 of pflow schema. Trying it out on fly.io for containerized hosting - I'm finding it pretty easy to use. https://pflow-app.fly.dev/?m=PetriNet&v=v1&p=place0&c=3&i=1&o=0&x=130&y=207&t=txn0&x=46&y=116&t=txn1&x=227&y=112&t=txn2&x=43&y=307&t=txn3&x=235&y=306&s=txn0&e=place0&w=1&s=place0&e=txn1&w=3&s=txn2&e=place0&n=1&w=3&s=place0&e=txn3&n=1&w=1

0 reply

0 recast

0 reaction

Matt York pfp

Just found an awesome Railroad diagram generator! 🚂✨ Using it to visualize the URL syntax for a pflow.xyz Petri net—making structured data look beautiful and intuitive. Check it out! ⬇️ https://gist.github.com/stackdump/f877f4d3d4a806328dc30f6eeac52bed

0 reply

0 recast

1 reaction

Matt York pfp

Snippet from https://craphound.com/overclocked/Cory_Doctorow_-_Overclocked_-_When_Sysadmins_Ruled_the_Earth.html The things we use fall apart and require constant maintenance. The things we abandon don’t get used and they last forever.

0 reply

0 recast

0 reaction

Matt York pfp

Interactive SVGs are my new jam.

0 reply

0 recast

0 reaction

Matt York pfp

🔥 Flamegraphs are a game-changer for profiling! Imagine using the same SVG magic to embed interactive models—not just visualizing CPU stacks, but exploring dynamic systems in real time. 🚀 Let’s push visualization to the next level! 🔗 brendangregg.com/FlameGraphs/cpuflamegraphs.html

0 reply

0 recast

0 reaction

Matt York pfp

Added an HTML widget to show off pflow models! Much more efficient than passing in base64/compressed json. https://pflow.dev/embed/?m=petriNet&v=v0&p=place0&i=1&c=3&o=0&x=130&y=207&p=place1&i=0&c=0&o=1&x=395&y=299&t=txn0&x=46&y=116&t=txn1&x=227&y=112&t=txn2&x=43&y=307&t=txn3&x=235&y=306&s=txn0&e=place0&w=1&s=place0&e=txn1&w=3&s=txn2&e=place0&n=1&w=3&s=place0&e=txn3&n=1&w=1&s=txn3&e=place1&w=1 Unlocks the ability for users to share models from any webpage! Coming in at 173 lines of un-minified code will all rendering happening on pflow.dev

0 reply

0 recast

0 reaction

Matt York pfp

An immutable law of nature.

0 reply

0 recast

0 reaction

Matt York pfp

One of these claimed "woke DEI grants" is Emily Riehl's project "Homotopical macrocosms for higher category theory". https://mathstodon.xyz/@johncarlosbaez/114000054766059217

0 reply

0 recast

0 reaction

Matt York pfp

https://write.as/stackdump/stateless-petri-nets-in-gnoland I'm Building a library for gno.land - having a native UX for a contract interface is a powerful feature in blockchain tech.

0 reply

0 recast

0 reaction

Matt York pfp

Designed a Petri net with Sudoku constraints—combining logic puzzles with systems modeling. Can’t wait to see how it solves the grid! code to follow ☕

0 reply

0 recast

0 reaction

Matt York pfp

Never underestimate people. Though, overestimating user ability has its own perils.

0 reply

0 recast

0 reaction

Matt York pfp

We're excited to introduce Declarative Differential Models (DDM) – a term we coined to describe a fresh approach to blending declarative programming with dynamic systems modeling. Explore the concept and its potential! 🧠✨ #DDM #Programming 🔗 https://blog.stackdump.com/declarative-differential-models-ddm

0 reply

0 recast

0 reaction

Matt York pfp

Jobs called computers 'bicycles for the mind'—tools that amplify our ability to think and create. GenAI feels more like a treadmill: iterative, fast-paced, and efficient, but it's up to us to decide if we’re running in circles or moving forward. 🚴‍♂️➡️🏃‍♂️

0 reply

0 recast

0 reaction

Matt York pfp

🌟 In my latest exploration with Petri.jl, I dive into two approaches: the elegance of ODEs versus the classic branch-and-bound method. The results might surprise you—and the insights are pure gold for optimization enthusiasts. https://blog.stackdump.com/exploring-knapsack-problem-with-petri-jl

0 reply

0 recast

0 reaction

Matt York pfp

A glimpse into building expert systems with pure math—no ML needed! 🧠✨ Petri.jl models Tic-Tac-Toe as a dynamic Petri net, embedding win conditions in ODEs to evaluate opening moves. https://blog.stackdump.com/leveraging-petri-jl-to-quantify-move-heuristics

1 reply

0 recast

0 reaction

Matt York pfp

We like the graphs 😎

0 reply

0 recast

0 reaction

Matt York pfp

Just took a Petri net model from pflow.xyz into Julia, turned it into an ODE system, then validated its accuracy by comparing win ratios of Tic-Tac-Toe game. Check out how close we got—only ~0.86% error! See the full code & details here: https://gist.github.com/stackdump/3be3dcb68829d0916f0207f8fcd3bbe9

1 reply

0 recast

0 reaction

Matt York pfp

Built our coffee machine net in Petri.jl! ☕ Exploring categorical Petri nets in Julia—up next: diving into AlgebraicPetri. Petri.jl makes it easy to convert nets into ODE problems, making it attractive for studying system dynamics and stability. https://gist.github.com/stackdump/6c762805e22d617ec2173bfe441aefc0

0 reply

1 recast

1 reaction