qazxcvbnm

16 ms·

1. 151.▲
   by qazxcvbnm 3y ago

   I was unaware of information on superior startup time for Deno and couldn't find references from a quick search. Would you be able to provide more information? Snapshots having landed in Node ( https://nodejs.org/en&#x2F
2. 152.▲
   by qazxcvbnm 4y ago

   Just to further clarify on the reasons why I think that work into such computational models are badly needed; I think that comprehensible systems fundamentally possess a kind of impedance mismatch with natural forms of expression within von
3. 153.▲
   by qazxcvbnm 4y ago

   Hi, I've spent quite an amount of time digging into papers on the computational models which Victor has linked to. I do notice Victor's tendency to be hyperbolic and defensive, which is quite unfortunate, and I don't know or
4. 154.▲
   by qazxcvbnm 4y ago

   Thanks for the detailed breakdown of your analysis! The case of erasing nodes after duplication 'unnecessarily' must be handled and cannot be dismissed - being much of the core use case of lazy evaluation. From your breakdown it s
5. 155.▲
   by qazxcvbnm 4y ago

   Hi Victor, it's great to hear your ideas on how to tackle the issue. Do you have an example or a sketch of how strategic lambdas can be used to avoid unnecessary cloning? I'd love to hear more. Indeed, if one were to figure out ho
6. 156.▲
   by qazxcvbnm 4y ago

   The HVM project is incredibly interesting and I applaud the great work Victor Taelin has put in practically implementing Interaction Nets and popularising Linear Logic. I've noticed HVM since February last year and was quite convinced
7. 157.▲
   by qazxcvbnm 4y ago

   On a related note, I've once had to reproducibly generate a random sequence of N-bytes, and one of the more elegant ways I discovered and ended up using was to 'encrypt' a known sequence of bytes with the required length (so
8. 158.▲
   by qazxcvbnm 4y ago

   I haven't used it personally, but the Nix manual mentions support for dealing with Nix stores in distributed builds https://nixos.org/manual/nix/unstable/advanced-topics/distri...
9. 159.▲
   by qazxcvbnm 4y ago

   For 4) I've heard there's this available https://github.com/DrPostgres/pg_plan_guarantee
10. 160.▲
    by qazxcvbnm 4y ago

    Something like this (adjust the primary key name convention and schema as needed): create procedure mandatory_ (_table_name "text", _mandatory_table_name "text") language plpgsql as $$ declare
11. 161.▲
    by qazxcvbnm 4y ago

    I second Miller - besides its extensive support for various formats, it is fast . If you ever have to deal with gigabyte-sized files, Miller will give noticeable speed ups versus jq et al.
12. 162.▲
    by qazxcvbnm 4y ago

    Just want to add that node unfortunately gives me segfaults in unexpected places too, often (seemingly randomly) during the first second of execution when I'm trying to debug it by running node under --inspect-brk...
13. 163.▲
    by qazxcvbnm 4y ago

    Thanks for the link. I've glanced at it, and so far my understanding of it says that the ZK proof allows verification that the results of each individual transaction is exactly as what is given, so that the resultant state provided by
14. 164.▲
    by qazxcvbnm 4y ago

    I confess I possess only a shallow understanding of ZK rollups - can anyone explain how you can have an opaque proof that transactions are valid and still solve double-spending problems?
15. 165.▲
    by qazxcvbnm 4y ago

    What's the correct level of division?
16. 166.▲
    by qazxcvbnm 4y ago

    Yes, I agree with your conception. Likewise, I am working on a language with no shared mutability, and something like a pure core and often find myself solving problems that feel like putting a database in the middle of the application. Any
17. 167.▲
    by qazxcvbnm 4y ago

    > there is another possible escape hatch that hasn't been fully explored IMO, and that's some variant of finitism. All these impossibility proofs depend on infinite structures to derive incompleteness or contradiction, but if i
18. 168.▲
    by qazxcvbnm 4y ago

    > It is not just that convincing other mathematicians that a proof is correct is a social process, but also that the reasoning on which any proof relies, even if it seems unassailable, even if built into an automated checker, is still a
19. 169.▲
    by qazxcvbnm 4y ago

    Mind you, old versions of Expo really aren't something you would like to use if you're getting back to it like right now; Expo's 3-monthly (I think?) release cycle, and their 3 major versions support policy make it quite hard
20. 170.▲
    by qazxcvbnm 4y ago

    That's one of the big reasons why I've been Nixifying my React Native projects, and gradually it seems to be working out. A number of projects seem to be starting to do something like that as well, like status-im, and occasionally
21. 171.▲
    by qazxcvbnm 4y ago

    OP's technique is useful for a consumer of a another function, to consume it in a synchronity-agnostic manner. In the implementation of the function consumer, you should find the usage of OP's technique. In other words, this techn
22. 172.▲
    by qazxcvbnm 4y ago

    No, the promise doesn't block, it just stays a promise. However, for synchronous calls, the Promise overhead is obviated. In other words, the performance price of synchronous vs asynchronous calls is the price of a function call vs Pro