Nick Szabo  🔑

Certainly, but as long as you connect to the web via a browser you are likely to pwned already. And if not you soon will be

Are formally verifiable smart contracts (like, using functional programming languages) slow, careful programming? Or are all smart contract systems just to much attack surface to protect.

If it makes programmers take the time to actually, rigorously, thoroughly inspect and verify the code. The actual time smart eyeballs spend on the code is more important than the particular formalizations that hopefully motivate it.

You used two spaces after a period again, Satoshi

Many people use two spaces after a period. It was taught in schools.

I think we can have the best of both worlds. Why not have tools and improvements at the base layer to enforce AND make such requirements easier for developer? Security is a must, but so it getting to market and having fast iterative cycles.

Great point. Why not bake this into the most basic level so developers have to write things in a certain way and make it easier for the protocol to manage such communication? What do you mean by at its inception? At the inception of the contract or the protocol?

That seems to be a fundamentally wrong approach in Ethereum to make programable money too easy. Consequences of a buggy web page and a buggy smart contract are very different.

Agreed. I think that the minute you have a system that streamlines the pace at which coins are produced you're perpetuating the problem. It makes people skeptical of the system as a whole.

The more blocks r created the more trans fees r created so on so forth AND the miners can charge what fee they like. Does that make sense, it does to me but then i'm dyslexic. I watched a great vid on it this morning. Hence why bitcoin is now so expensive its outpriced itself lol

Mining is a great example of the under utilized tool within chains. If the end user became a miner and the process fused with end-user interaction, the value becomes governed by the body of miners(the users). Independent miners price value -> quality of interaction.

Exactly, now I'm dylexic, failed @ school yet managed to encrypt the En[in]nglish tongue reading legislation oops sorry law AND legis'n. Maths actually come in to play with etymology believe it or [k]not .... ever been tongue [french is langue] tied lol? ish az in soso/sewsew

The INTER ACT ION [atom] of each other in the re:al[l] whirled is tongues/languesAGES.. the age of your tongue esp in court[ier]/jester]; we're the jester, the court clown, because their dog latin ties our tongues in INGLISH 26 capital letters = cryptical and systematical code ;)