orksliver

5 ms·

1.
by orksliver 2mo ago
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 compatible protocol for the file format for each generated tack
2.
by orksliver 2mo ago
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 far. I do have another version of this post that sho
3.
Show HN: A browser music sequencer: every note is a Petri-net transition firing(blog.stackdump.com)
3 points by orksliver 5mo ago|0 comments
4.
by orksliver 8mo ago
agreed https://book.pflow.xyz/
5.
Petri Nets as a Universal Abstraction(book.pflow.xyz)
3 points by orksliver 8mo ago|1 comments
6.
by orksliver 8mo ago
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 theorists but invisible to working programmers. This book ar
7.
by orksliver 10mo ago
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 can reason about. I use Claude Code with a skill file that enf
8.
Using Petri nets as a formal language for LLM-assisted development(github.com)
3 points by orksliver 10mo ago|2 comments
9.
by orksliver 10mo ago
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 monotonically. Code is derived. Why Petri nets? Visual (hu
10.
by orksliver 2y ago
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 into Ordinary Differential Equations (ODEs), we quantified mo
11.
by orksliver 2y ago
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 analyze strategies and dynamics.
12.
Revisiting the Algebra of Play with Petri.jl(blog.stackdump.com)
1 points by orksliver 2y ago|1 comments
13.
by orksliver 5y ago
Using petri-nets as a formal method to encode a game of tic-tac-toe - written in bash (for fun)
14.
by orksliver 8y ago
Added another example to the repo based on this work https://github.com/FactomProject/ptnet-zkp/blob/master/examp...
15.
by orksliver 8y ago
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 needed to offer proof of this claim.
16.
Using Petri-Nets to Construct Zero Knowledge Proofs(gist.github.com)
4 points by orksliver 8y ago|2 comments
17.
Petri-Nets as Mental Model for Domain Driven Design(blahchain.com)
1 points by orksliver 9y ago|0 comments
18.
Constructing Domain Specific Languages with Petri-Nets(blahchain.com)
2 points by orksliver 9y ago|0 comments
19.
by orksliver 10y ago
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
20.
by orksliver 10y ago
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 introduce the need an
21.
by orksliver 10y ago
> 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.youtube.com/watch?v=8JKjvY4etTY Tho
22.
by orksliver 10y ago
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 poorly written. It's a demo - also the coffe
23.
by orksliver 10y ago
"Cool! I'm doing DFAs with my fifth graders right now and I'm definitely showing them this." :)
24.
by orksliver 10y ago
https://www.reddit.com/r/compsci/comments/5yktdo/tictactoe_s... <- Related post focusing only on the TicTacToe State machine.
25.
Solving State Explosion with Petri-Nets and Vector Clocks(github.com)
86 points by orksliver 10y ago|11 comments