Viewing profile — orksliver

Also one of my motivations here was to see what we can do with completely deterministic generated beats - it relies only on a seed value (no AI etc) I also created a schema.org com…

Hello people! Thanks for checking out my blog - yes it's heavily written by claude, and contains AI slop ;-) I'm a lover of petri-nets this was my most interesting experiment so fa…

[dead]

agreed https://book.pflow.xyz/

Petri nets were invented in 1962. They predate Unix, the internet, and object-oriented programming. For most of their history, they lived in academic papers — a formalism known to …

What this actually do?: You define a Petri net, simulate it with ODEs, and the structure becomes a scaffold for LLM-generated code. The net is the spec that both humans and LLMs ca…

I've been experimenting with Petri nets as a shared representation between humans and LLMs. The model becomes the artifact—you sketch topology, validate with simulation, extend mon…

In our previous post, we demonstrated how Petri.jl can model Tic-Tac-Toe by translating its states and transitions into a dynamic Petri net framework. By embedding win conditions i…

Explore how to model Tic-Tac-Toe as a Petri net and convert it into an ODE problem for deeper analysis! By combining game logic with mathematical rigor, we unlock new ways to analy…

Using petri-nets as a formal method to encode a game of tic-tac-toe - written in bash (for fun)

Added another example to the repo based on this work https://github.com/FactomProject/ptnet-zkp/blob/master/examp...

Help Wanted: Still looking for feedback for this linked Gist. It seems like this approach using a Linear Algebra Solver offers guaranteed privacy and security, but more results are…

Ah I see - maybe I should find a better article to demonstrate the 'State Explosion' Problem. I thought you were referring to my live demo: https://bitwrap.github.io/#octothorpe

I'm afraid I've learned about them mostly by tinkering - the tool I use is: https://github.com/sarahtattersall/PIPE I believe "Dining Philosophers" is the usual problem used to int…

> But if someone can explain the problem better, I'm all ears. Assuming you mean it... Here's a youtube video about the benefits and attributes of event-sourcing. https://www.youtu…

Hi thanks for the feedback: Just a few comments in response: > event-based calculator in VBScript It's mostly coffeescript > My problem with this is the calculator program is very …