cdetrio

19 ms·

31.
by cdetrio 9y ago
PL people often direct their "it should be functional and use strong typing" critique at the EVM rather than Solidity. Solidity is just one HLL (higher level language) that compiles to EVM bytecode. A lot of the limitations of Sol
32.
by cdetrio 9y ago
The best tool for debugging is http://remix.ethereum.org/ . It lets you step through the compiled EVM bytecode, while highlighting the solidity source mapping.
33.
by cdetrio 9y ago
Most of those writes don't need to be serialized transactions. Other p2p data structures like CRDTs and torrents are sufficient for posting comments and uploading photos; see the decentralized social network Patchwork[1] (based on scut
34.
by cdetrio 10y ago
Of course the best solution is for everybody to just coordinate. But coordination is hard, because there are strong incentives for individuals to defect (see also "Meditations on Moloch"). Making incremental improvements is the ne
35.
by cdetrio 10y ago
The article links to Rodney Brooks, who mentioned this in a recent blog post http://rodneybrooks.com/unexpected-consequences-of-self-driv... : > At least one manufacturer is afraid that human drivers will bully self drivi
36.
by cdetrio 10y ago
Hmm, does this relate to the article from 6 days ago about the inability to find proton decay? https://news.ycombinator.com/item?id=13201065
37.
by cdetrio 10y ago
The spec [ http://gavwood.com/Paper.pdf ] has been to revert on errors since day 1: > Just as with contract creation, if the execution halts in an exceptional fashion (i.e. due to an exhausted gas supply, stack underflow,
38.
by cdetrio 10y ago
Btw, small bone to pick with the Pact whitepaper[1]: > EVM and Solidity have no support for atomic execution. Ethereum contracts simply abort on error, leaving developers with the impossible task of undoing previous writes and contract c
39.
by cdetrio 10y ago
Last time I looked, you guys were developing Hopper, a contract language with a dependent type system. Why the pivot to Pact?
40.
by cdetrio 10y ago
> can scale into the 1000's of nodes + maintain constant performance as it scales. So transaction throughput stays at 5-15 tx/s and does not increase as you add nodes?
41.
by cdetrio 10y ago
One of the ASF founders, Brian Behlendorf, was recently appointed E.D. at hyperledger.org (a project of the Linux Foundation). Perhaps Hyperledger is aiming to become the Apache of blockchains.
42.
by cdetrio 10y ago
The ZeroMQ founder, Pieter Hintjens, describes Optimistic Merging (OM) vs. Pessimistic Merging (PM) and how he supports merging sub-optimal patches just to encourage contributors: https://hintjens.gitbooks.io/social-architec
43.
by cdetrio 10y ago
The pivot from rollingjubilee.org (which uses donations to buy discounted debt and abolish it) to debtcollective.org (where debtors can register and organize "debt strikes") was explained in a NYT column[1]: > Until now, we ha
44.
by cdetrio 10y ago
People are working on formal verification of solidity code: https://forum.ethereum.org/discussion/3779/formal-verificati...
45.
by cdetrio 11y ago
I read somewhere a conjecture that sleep for human brains is analogous to regularization schemes (such as dropout) for neural networks. Dropout helps the net avoid overfitting; nets that are overfitted have a difficult time distinguishing n
46.
by cdetrio 11y ago
The models in the "Frequent batch auctions as a market design response to HFT" paper by Budish et. al.; i linked the slides in another comment. Since batch auctions use single-price clearing, market makers can post bids and asks w
47.
by cdetrio 11y ago
But faster (continuous-time) order processing results in wider bid/ask spreads; slower (discrete-time) batch processing results in narrower spreads. At least that's what the models show. Follow-up papers even analyze a multi-excha
48.
by cdetrio 11y ago
Yeah yeah, its called frequent batch auctions. obligatory mention in every hft discussion: http://faculty.chicagobooth.edu/eric.budish/research/HFT-Fre...
49.
by cdetrio 11y ago
This is addressed in the linked issue.[1] Your criticism is the reason why (a subset of) WebAssembly is used, not LLVM IR. 1. https://github.com/ethereum/EIPs/issues/48#issuecomment-1690...
50.
by cdetrio 11y ago
There is a proposal[1] to upgrade the current EVM to a WebAssembly based VM. Since webAssembly has a llvm backend, any language with a llvm compiler (which is most of them) could be used to write contract code. 1. https://github.
51.
by cdetrio 11y ago
Simplish order types (limit/market, good till cancel, immediate or cancel, etc.) can only do so much. When you place a limit order on a continuous-time market, you'll pay exactly your limit price; but on a batch market you'll
52.
by cdetrio 11y ago
Not sure what you mean by "quantized market" (discrete-time auction?). But the opening and closing sessions at the NYSE run at human timescales (twice per day), and most of the daily volume is traded at open and close iirc. edit:
53.
by cdetrio 11y ago
That's why market makers are also called scalpers, because they skim the $0.10 spread. But in return for paying the spread, what traders get is immediacy. The problem is, how much immediacy do traders actually want? HFT provides immedi
54.
by cdetrio 11y ago
I've heard both arguments: (1) bitcoin script has no loops and so isnt turing complete; but (2) no loops is not a real limitation because the logic just be unrolled ahead of time and packed into a transaction. Ethereum script is said t
55.
by cdetrio 11y ago
> Interestingly enough - there's even ways to make the answer to any computable problem the keys to unlock a Bitcoin payment Sure, bitcoin script can in theory compute any computable problem (as can any turing machine). But it doesn
56.
by cdetrio 11y ago
> SatoshiDice is a dapp that was built using bitcoin. But SatoshiDice was not trustless; it was only provably-fair. By sending your dice bet to satoshidice, you were trusting them to actually pay you if you won instead of just keeping yo
57.
by cdetrio 11y ago
The Coursera course "Economics of Money and Banking" is fantastic, and focuses on real-world mechanics rather than theory. You should be able to view archived lectures if there isn't an active course: https://www.c
58.
by cdetrio 11y ago
Global clocks aren't required, as batch intervals on different exchanges don't need to be synchronized. Although the batch interval is a window of cross-exchange risk, the uniform-price clearing means it is still more efficient (i
59.
by cdetrio 11y ago
The authors have apparently been giving presentations to various politicians/regulators, using an excellent set of slides: http://faculty.chicagobooth.edu/eric.budish/research/HFT-Fre...
60.
by cdetrio 11y ago
> when a human trader places a market order, they will have a disadvantage equal to the volatility over 1 second. No, there's no disadvantage for the human's 1-second-old stale order because batch auctions use uniform-price cle

More ›