Viewing profile — nicksdjohnson

Thanks!

https://at.amulet.garden/

This one is incredible! I've minted it so nobody else can grab it. If you have an Ethereum account, let me know your address so I can transfer it to you.

1T is a huge overcompensation. If you take Ethereum's estimated daily carbon output and divide it by its daily gas units (the unit by which computation is measured) and assign resp…

Speaking as an Ethereum core developer here - I see a lot of misdirected criticism and misunderstandings of Ethereum and the platform in the wider tech community. That said, your c…

Okay, I'll bite. What's 'centralised' about Ethereuem, without twisting the word beyond all recognition?

You seem to have very (some would say ridiculously) high standards for 'decentralised'. If the root multisig was deleted, would it be 'decentralised' in your book? > It claims it i…

What's centralised about ENS? Also, it can be used to resolve any resource you want - although you're shifting the goalposts, since that wasn't originally a requirement.

> There is not one single dapp that is decentralised and working. Sure there is. ENS, for one example. Plenty of gambling apps for another (I don't find them particularly _compelli…

Censorship resistance isn't the main thing that blockchains enable; trustlessness is. If you host them on your own SQL database, people have to trust that you're acting honestly.

In all seriousness, you should lurk in the Ethereum subreddit instead. We have our share of cheerleaders who take the black and white "this good, that bad" position without evidenc…

But you can reason about what any possible transaction can do by reasoning about all possible inputs to your code; you don't need to know anything about how other contracts were wr…

If you want to know what a given transaction will do, you can simply run it locally; no need for formal analysis. Formal analysis is useful for proving properties about your progra…

I don't think I follow - why would you need to reason about your callers' internal states in order to prove properties about your own contract?

But that's completely beside the point: the point is that you can't have the libertarian-utopia-chain without also getting the hacker-got-away-with-his-loot chain.

Sure it does - the marvelous thing about a turing-complete virtual machine is that you can write a decidable language that compiles to EVM bytecode.

I agree "smart contract" is a poor term, but they're way more than "conditional payment" - you can do a lot of things with them that have nothing to do with paying money.

> And my point was that if you look at ETH/ETC, the market is saying that they feel more comfortable with a known, trusted authority (i.e. small group of developers with trademarks…

> 1. The halting problem states you can't predict what a turing complete program will do, until you run it. This means to some degree, that you can't predict what your "smart" cont…

Also, neither system's proof of work is based on NP-hard problems.

Every single Ethereum dev I know - and pretty nearly everyone else in the community - owns far more ETH than they do DAO, if they own any DAO at all. So this 'explanation', which I…

Hard as it may be to believe, there's a difference between things that don't interest you personally and things that are junk. And the existence of things that don't interest you s…

Really? I see: A DIY weather station kit that feeds its data to the Raspberry Pi: https://www.tindie.com/products/tmhrtly/airpi-kit/ DIY Amplifiers: https://www.tindie.com/products…