Email or username:

Password:

Forgot your password?
Devine Lu Linvega's posts Post Back to profile
Devine Lu Linvega
10 comments
Xavier Van de Woestyne
Devine Lu Linvega
Xavier Van de Woestyne

@neauoire a friend (github.com/xhtmlboi) told me, since 7years, "trust me, xavier, interaction net is the future of proof engineering"

22 Mar 2023 at 23:07 | Open on merveilles.town
charlie

@neauoire am I understanding the first equation correctly that adding Zero to N should be rewritten to a Successor of N where N is just some number? shouldn't it result in just N? what am I missing here? :moomin_what:

22 Mar 2023 at 23:27 | Open on merveilles.town
Devine Lu Linvega

@bellinitte the graph is just the representation of (r | Add(Z, r) = S(w), Add(Z, w) = S(Z) ) What are you asking me exactly?

23 Mar 2023 at 0:53 | Open on merveilles.town
charlie

@neauoire i'm having a hard time grasping what does this example represent. how would it look like when expressed in, say, lambda calculus, or a lisp, or whatever? is such an analogue even possible here?

23 Mar 2023 at 8:14 | Open on merveilles.town
screwlisp

@neauoire I'm interested but I feel like I need to spend a year writing a thesis to decide what I think of page 1 of this thesis

23 Mar 2023 at 1:08 | Open on mastodon.sdf.org
Devine Lu Linvega

@screwtape here's two links that are not papers and make things a bit easier to understand. I'm writing a guide of my own right now which should be like "tell me like I'm five"
github.com/HigherOrderCO/HVM/b
github.com/inpla/inpla/blob/ma

23 Mar 2023 at 1:11 | Open on merveilles.town
Go Up