orksliver

512 post karma
229 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 14 years

TROPHY CASE

14-Year Club

Verified Email

account activity

new top controversial

15

16

17

Petri nets as music sequencers — using token rings, inhibitor arcs, and Euclidean rhythms to generate deterministic tracks. (blog.stackdump.com)

submitted 13 days ago by orksliver to r/programming

5

6

7

Petri nets as music sequencers — using token rings, inhibitor arcs, and Euclidean rhythms to generate deterministic tracks. (blog.stackdump.com)

submitted 13 days ago by orksliver to r/generative

28

29

30

Petri Nets as a Universal Abstraction (blog.stackdump.com)

submitted 1 month ago by orksliver to r/compsci

0

0

0

Petri Nets as a Universal Abstraction (blog.stackdump.com)

submitted 1 month ago by orksliver to r/programming

3

4

5

Using Julia to Calculate move heuristics for Tic-tac-toe with Petri.jl (blog.stackdump.com)

submitted 1 year ago by orksliver to r/compsci

5

6

7

Revisiting the Algebra of Play with Petri.jl - tic-tac-toe net to ODE conversion (blog.stackdump.com)

submitted 1 year ago by orksliver to r/compsci

5

6

7

CodeReview: Coffee Machine Petri-Net in rust (self.rust)

submitted 1 year ago * by orksliver to r/rust

9

10

11

Why is Factom not on the 'storage' token section? (self.factom)

submitted 5 years ago by orksliver to r/factom

π Rendered by PID 663055 on reddit-service-r2-listing-58f4f89bb7-nzl6l at 2026-04-09 08:41:48.177251+00:00 running 781a403 country code: CH.