tjjfvi

3 ms·

1.
by tjjfvi 13d ago
I don’t see how UTF-8000 doesn’t have it. The first byte of any code point is either 0xxxxxxx or 10xxxxxxx, which is distinct from all non-first bytes which are 11xxxxxx. Thus any UTF-8000 sub-bytestring must necessarily have the start alig
2.
by tjjfvi 1y ago
> 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 then aborts t
3.
by tjjfvi 2y ago
> 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
4.
by tjjfvi 2y ago
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 uses its extrinsic s
5.
by tjjfvi 2y ago
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 'c
6.
by tjjfvi 2y ago
> 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 program, rather than n
7.
by tjjfvi 2y ago
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.
8.
by tjjfvi 2y ago
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 notable being that it is
9.
by tjjfvi 2y ago
> 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&#
10.
by tjjfvi 2y ago
Author here, happy to answer any questions.