Matt York pfp

Matt York

@stackdump.eth

105 Following
20 Followers


Matt York pfp
Matt York
@stackdump.eth
How can future LLM users even claim to be programmers?
0 reply
0 recast
0 reaction

Matt York pfp
Matt York
@stackdump.eth
Build smarter systems - Small Models > LLMs: Models are powerful tools for simplifying code and enhancing predictability. Petri-net models let you analyze reachability, boundedness, and liveness with ease, improving design and runtime rigor. Read more https://blog.stackdump.com/small-models-llms
0 reply
0 recast
0 reaction

Matt York pfp
Matt York
@stackdump.eth
Money that 'moves fast' may not be able to meaningfully move it's price (against BTC). The yardstick of success could perhaps become: that a given ticker produces a naturally stable value. That ticker... is ETH
0 reply
0 recast
0 reaction

Matt York pfp
Matt York
@stackdump.eth
Building a protocol around a model means it permeates every layer in your system. cid, data, image, and code - all are equal representation same Model but some are human readable and some are machine readable.
1 reply
0 recast
0 reaction

Matt York pfp
Matt York
@stackdump.eth
A Coffee Machine in Rust where the 'recipe' is a petri-net ☕ https://gist.github.com/stackdump/85d62acc5f36740e3215b1cf04b5db84?permalink_comment_id=5203372#gistcomment-5203372 What I find interesting here is that the units of recipe ingredients are normalized. The program checks for "1" => water "1" => cup etc.. The proportions are distilled into pre-conditions.
0 reply
0 recast
0 reaction

Matt York pfp
Matt York
@stackdump.eth
Debugging is the only worthy skill in tech. From >10 years ago: 'Coding with Hand Tools': Problem touch time up front: grounds you in a problem space. POST genAI: Problem touch time occurs after code-completion. Debugging touch time informs you of the code space.
0 reply
0 recast
0 reaction

Matt York pfp
Matt York
@stackdump.eth
What does FREE mean in Open Source Software? 🍺 Free "as in beer" - no effort required. but is instead... 🎹 Free "as in piano" - bring your own truck and people to move it.
0 reply
0 recast
0 reaction

Matt York pfp
Matt York
@stackdump.eth
A DFA that is resumable at any step. Showing petri-net alongside state notation
0 reply
0 recast
0 reaction

Matt York pfp
Matt York
@stackdump.eth
What would it take for @walletconnect to work when hosted from an ens domain? pflow.eth resolves to ipns://k51qzi5uqu5dlm9pw0ok6z3uemuyjkw5274thsl0fiba94dr6i3hktkcmy5b80/ But doesn't seem to actually connect - likely a sandbox issue.
0 reply
0 recast
0 reaction

Matt York pfp
Matt York
@stackdump.eth
Working on the rust implementation of /pflow-xyz I'm really liking the macro system in /rust
0 reply
0 recast
0 reaction

Matt York pfp
Matt York
@stackdump.eth
A 'real' EULA w/ _actual_ consent CANNOT EXIT for a centralized service
0 reply
0 recast
0 reaction

Matt York pfp
Matt York
@stackdump.eth
https://blog.stackdump.com/pflowdsl-a-little-language An overview of the 'little language' embedded in the pflow SDK
0 reply
0 recast
0 reaction

Matt York pfp
Matt York
@stackdump.eth
GM! I'm moooooooooooooooooooooooooodeling!!! 🕺💃
0 reply
0 recast
0 reaction

Matt York pfp
Matt York
@stackdump.eth
It's Metamodels all the way down...
0 reply
0 recast
0 reaction

Matt York pfp
Matt York
@stackdump.eth
Simple != easy. Complex doesn't have to mean hard. https://alistapart.com/article/cult-of-the-complex/
0 reply
0 recast
0 reaction

Matt York pfp
Matt York
@stackdump.eth
http://simulation.su/uploads/files/default/2019-gehlot-1.pdf From a paper featuring colored petri-nets It does a good job providing an overview of common petri-net uses.
1 reply
0 recast
0 reaction

Matt York pfp
Matt York
@stackdump.eth
Part of the motivation for building pflow is that: I want to _actually_ give an end-user a shot at understanding code. Here's a sample for a soul-bound token where a user can only claim/burn once.
0 reply
0 recast
0 reaction

Matt York pfp
Matt York
@stackdump.eth
I'm liking this diagram even more than when it was first posted. I feel like you can 'see' information theory in practice here. The 7-segment cells (the circle/places) encode each number. Form and function of this model are aligned - we add the labels for the humans. Someday, I'll return to the casio watch model, if I can stop marveling at the bits and pieces along the way.
1 reply
0 recast
0 reaction

Matt York pfp
Matt York
@stackdump.eth
Fresh docs! https://pflow.xyz/docs-petri-net-101 After successful @walletconnect integration Now auto-load the 'X' example whichever connected blockchains. Currently supporting /optimism /ethereum + testnests
0 reply
0 recast
1 reaction

Matt York pfp
Matt York
@stackdump.eth
Diagrams here resemble colored petri-nets!! I'm attempting to find a good primer to share, may have to make one.
1 reply
0 recast
0 reaction