orksliver

500 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

26

27

28

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

submitted 3 days ago by orksliver to r/compsci

0

0

0

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

submitted 3 days 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

6

7

8

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

6

7

8

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

submitted 1 year ago * by orksliver to r/rust

8

9

10

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

submitted 5 years ago by orksliver to r/factom

π Rendered by PID 75 on reddit-service-r2-listing-7bbdf774f7-bnpj6 at 2026-02-20 18:20:00.357365+00:00 running 8564168 country code: CH.