Viewing profile — tjjfvi

> 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, …

> 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 …

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 majo…

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, whic…

> 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 …

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 inte…

> 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 equivalen…

Author here, happy to answer any questions.