> requires trusting a server to rate limit attempts on brute-forcing that short password This isn't true. Particularly, if an attacker attempts to connect with the wrong password, this will be seen by the client, which…
> Is it possible to put the 'producer side' into a 'consumer side' of another wire? Yes; you can take the producer side of an `N32` wire `x` and link it to the consumer side of an `N32` wire `y`; that just means that…
Well, there have been several iterations of HVM, each extremely different from the last. IVM is architecturally similar to HVM-64 (which I was the lead developer of). The most major difference is how they handle IO. IVM…
In interaction nets, one of the core primitives is the 'wire', which form the edges in the graph. One can think of a wire as like a one-shot channel; it has a 'producer' side, which sends some value across, and a…
> Do interaction nets have any interesting properties that make them useful for distributed computing? Of course, the intrinsic parallelism is useful there (especially since it is emergent from the structure of the…
There are many. One major difference is that HVM/Bend focus entirely on functional programming, whereas Vine supports both imperative and functional patterns, in a cohesive manner.
Yeah, that would be good to add to the docs. Interaction nets are an alternate model of computation (along the lines of the lambda calculus or Turing machines). It has several interesting properties, one of the most…
> it will do one pass in "forward mode", but once the minimum is resolved, follow it up with a second implicit "book keeping and variable re-resolution pass" that will be equivalent to an actual full second pass you'd…
Author here, happy to answer any questions.
> requires trusting a server to rate limit attempts on brute-forcing that short password This isn't true. Particularly, if an attacker attempts to connect with the wrong password, this will be seen by the client, which…
> Is it possible to put the 'producer side' into a 'consumer side' of another wire? Yes; you can take the producer side of an `N32` wire `x` and link it to the consumer side of an `N32` wire `y`; that just means that…
Well, there have been several iterations of HVM, each extremely different from the last. IVM is architecturally similar to HVM-64 (which I was the lead developer of). The most major difference is how they handle IO. IVM…
In interaction nets, one of the core primitives is the 'wire', which form the edges in the graph. One can think of a wire as like a one-shot channel; it has a 'producer' side, which sends some value across, and a…
> Do interaction nets have any interesting properties that make them useful for distributed computing? Of course, the intrinsic parallelism is useful there (especially since it is emergent from the structure of the…
There are many. One major difference is that HVM/Bend focus entirely on functional programming, whereas Vine supports both imperative and functional patterns, in a cohesive manner.
Yeah, that would be good to add to the docs. Interaction nets are an alternate model of computation (along the lines of the lambda calculus or Turing machines). It has several interesting properties, one of the most…
> it will do one pass in "forward mode", but once the minimum is resolved, follow it up with a second implicit "book keeping and variable re-resolution pass" that will be equivalent to an actual full second pass you'd…
Author here, happy to answer any questions.