tromp

18 ms·

1. 361.▲
   by tromp 1y ago

   Thanks! Implementations of BLC in many other languages can be found at [1]. [1] https://rosettacode.org/wiki/Universal_Lambda_Machine
2. 362.▲
   by tromp 1y ago

   > Do you think there could be a universal combinator (like iota) and some binary encoding that would produce even smaller interpreters than BLC? No; I don't think so. A iota based code (1 for application, and 0 for iota) loses out b
3. 363.▲
   by tromp 1y ago

   > Kolmogorov complexity (wikipedia.org) is: "… the length of a shortest computer program (in a predetermined programming language) that produces the object as output." > Small programs are interesting. But I’m also intereste
4. 364.▲
   by tromp 1y ago

   How is a program like ``f`,\0`,\0 where f is applied to two arguments, each of which is the next input byte as a Church numeral, evaluated? Does it depend on order of evaluation? Note that it's also possible to do I/O wit
5. 365.▲
   by tromp 1y ago

   > He guesses the ice in the berg is at least 1,000 years old, but could also be exponentially more ancient — even formed as many as 100,000 years ago. That's not exponentially more (which would be a preposterous 2^1000 or 10^1000 ye
6. 366.▲
   by tromp 1y ago

   https://archive.is/INY9t
7. 367.▲
   by tromp 1y ago

   https://archive.is/jlQfu
8. 368.▲
   by tromp 1y ago

   It's funny how the snake slows down when circling the poles to keep a constant rotational speed of Earth.
9. 369.▲
   by tromp 1y ago

   Not only can I not play perfectly (unlike my Fhourstones program), but I really struggle with even the intermediate problems in the book. A more limited form of perfect play is knowing how to win when playing first. I cannot do that either,
10. 370.▲
    by tromp 1y ago

    I can recommend this book [1] on connect-4 by James Allen, the first person to solve the game. It remains very difficult for humans to play near perfectly, as the harder puzzles in the book demonstrate. [1] https://www.waterstone
11. 371.▲
    by tromp 1y ago

    Yes, as mentioned at https://senseis.xmp.net/?JohnTromp
12. 372.▲
    by tromp 1y ago

    You might find this repo [1] by Melvin Zhang helpful. [1] https://github.com/melvinzhang/binary-lambda-calculus
13. 373.▲
    by tromp 1y ago

    Another advantage of de-Bruijn notation is in providing a very simple binary encoding of lambda terms, as demonstrated in my IOCCC submission [1]. [1] https://www.ioccc.org/2012/tromp/
14. 374.▲
    by tromp 1y ago

    > In contrast, bitcoin’s core protocol remains relatively unchanged and minimal: blocks, transactions, proof-of-work, and coin outputs. While Bitcoin is certainly vastly less complex than Ethereum, it's not exactly minimal either [1
15. 375.▲
    by tromp 1y ago

    Ethereum didn't have a "PoS start", as it started out as a (70% premined) PoW coin.
16. 376.▲
    by tromp 1y ago

    Indeed that is one downside of hiding amounts, as shown in row "Fully auditable supply" in [1]. Finding out just one discrete log (log_G(H)) can collapse the whole system with undetectable inflation. [1] https://phyro.g
17. 377.▲
    by tromp 1y ago

    See https://blog.breez.technology/lightning-btc-iou-62e3a712c913 for instance.
18. 378.▲
    by tromp 1y ago

    Yes, it scales much worse: * node resources scale with the size of the UTXO set (unspent outputs), which in Monero's case balloons to the entire TXO set (all outputs, orders of magnitude larger) * a typical 2-input 2-output transaction
19. 379.▲
    by tromp 1y ago

    In summary: PoW is a mechanism for fair coin distribution (of course, fairness still depends on the emission curve), while PoS is not (its creators start with 100% of all coins).
20. 380.▲
    by tromp 1y ago

    The plot at the bottom is of Y^2 = X^3 + X^2, not Y^2 = X^3 - X^2 as stated.
21. 381.▲
    by tromp 1y ago

    https://archive.is/tH7bM
22. 382.▲
    by tromp 1y ago

    https://archive.is/lQMdn
23. 383.▲
    by tromp 1y ago

    https://archive.is/xfZmb
24. 384.▲
    by tromp 1y ago

    There is no cypherpunk ethos in a 100% premine.
25. 385.▲
    by tromp 1y ago

    Work on HVM3 has been underway for a while already [1]. [1] https://github.com/HigherOrderCO/HVM3
26. 386.▲
    by tromp 1y ago

    https://archive.is/NBaXE
27. 387.▲
    by tromp 1y ago

    The ones that * don't financially benefit their creators * are not a copy-paste of an existing coin with some trivial changes
28. 388.▲
    by tromp 1y ago

    https://archive.is/pyQK7
29. 389.▲
    by tromp 1y ago

    If China reduced their tarriffs proportionally, they would be at (125/145)*30 = 25.862%, not 10%. It looks like the US demanded that they can always charge 20% higher tarriffs...
30. 390.▲
    by tromp 1y ago

    https://archive.is/SvBtW