kushti

95 ms·

1. 871.▲
   Programming and Reasoning with Side-Effects in IDRIS (2014) [pdf](eb.host.cs.st-andrews.ac.uk)

   2 points by kushti 11y ago|0 comments
2. 872.▲
   Voxelnauts – VR Sandbox MMO(kickstarter.com)

   2 points by kushti 11y ago|0 comments
3. 873.▲
   Fully Distributed Non-Interactive Adaptively-Secure Threshold Signatures(hal.inria.fr)

   10 points by kushti 11y ago|0 comments
4. 874.▲
   by kushti 11y ago

   Copypasted it into repos' README along with some Markdown for better readability’s sake: https://github.com/ConsensusResearch/flp
5. 875.▲
   by kushti 11y ago

   list is inductive type for sure, not coinductive. But it could be used for modelling infinite(but countable) sequences in the sense that following property being hold: forall (m:nat), exists (l: list nat), length l > m.
6. 876.▲
   by kushti 11y ago

   All those entities are used in my proof, while messages are skipped at all(so they are needed for better understanding only, while for proof's sake we can have a talk only about system's state transitions). Process is the inductiv
7. 877.▲
   by kushti 11y ago

   Author here. I would be happy to get proof review.
8. 878.▲
   Show HN: FLP Impossibility Theorem Proof in Coq(github.com)

   38 points by kushti 11y ago|9 comments
9. 879.▲
   NXT Releases Voting System and Escrowed Transactions(cointelegraph.com)

   3 points by kushti 11y ago|0 comments
10. 880.▲
    FAQ on Pi-Calculus (2002) [pdf](cs.cmu.edu)

    44 points by kushti 11y ago|5 comments
11. 881.▲
    The 6 Phases of the DeCentralised R/EVOLution(nxter.org)

    2 points by kushti 11y ago|0 comments
12. 882.▲
    Voxelnauts: A Minecraft-Inspired Game with CryptoCurrency-Backed Economy(cointelegraph.com)

    2 points by kushti 11y ago|0 comments
13. 883.▲
    by kushti 11y ago

    It's not improvement, but the replacement. Could be useful for some use cases at least. Also, there are different implementations possible, so it's pretty reckless to say it "does not work". It's the most innovative
14. 884.▲
    Democoin: A Publicly Verifiable and Jointly Serviced Cryptocurrency [pdf](eprint.iacr.org)

    17 points by kushti 11y ago|6 comments
15. 885.▲
    Play 2.4.0 “Damiya” Released(typesafe.com)

    1 points by kushti 11y ago|0 comments
16. 886.▲
    by kushti 11y ago

    It seems the author spent a lot of time messing with a horrible bureaucracy. Is it an article against the corrupted system written in so elegant manner?
17. 887.▲
    by kushti 11y ago

    We need for decentralized exchanges, like http://multigateway.com/ or Mercury
18. 888.▲
    by kushti 11y ago

    Poelstra's "paper" is pretty controversial: https://www.reddit.com/r/Bitcoin/comments/2zpmlj/expanded_re...
19. 889.▲
    by kushti 11y ago

    Why so non-constructive comment?
20. 890.▲
    Bribery Attacks on Bitcoin Consensus [pdf](jbonneau.com)

    30 points by kushti 11y ago|17 comments
21. 891.▲
    MultiGateway – Decentralized Cryptocurrency Trading(multigateway.org)

    5 points by kushti 11y ago|2 comments
22. 892.▲
    by kushti 11y ago

    Bitcoin is far away from ideal from tech point of view: 1. Transactions model with multiple inputs/outputs & scripts attached to both sides is heavy(& scripting language had some critical bugs, see Bitcoins' CVE) 2. Bitcoi
23. 893.▲
    BlockSign Transaction Specification(github.com)

    2 points by kushti 11y ago|0 comments
24. 894.▲
    CAP Theorem and the Blockchain as the Database(chepurnoy.org)

    2 points by kushti 11y ago|2 comments
25. 895.▲
    by kushti 11y ago

    I've got only downvoting as result. Pretty symptomatic.
26. 896.▲
    by kushti 11y ago

    Any evidences of Russian(not Soviet) weapon usage in Ukraine's civil war? please post links if so
27. 897.▲
    by kushti 12y ago

    Nope, the united states of double standards is the exceptional territory
28. 898.▲
    Can Your Static Type System Handle Linear Algebra? (2014)(yosefk.com)

    65 points by kushti 12y ago|65 comments
29. 899.▲
    by kushti 12y ago

    Expensive labor helps automation a lot. It's the question of economy after all, if humans are cheaper than robots, there's a little incentive to spend money on deploying the bots.
30. 900.▲
    by kushti 12y ago

    Probably prices will not be doubled, but even more jobs will be transferred to China / other countries. And the Valley will win as well due to increased demand for automation.