How about a single large scale smart contract launch that doesn’t end up needing a hard fork or result in people having money permanently frozen?
I hold ETH and I am excited for what it could do. But Solidity is hot garbage and that Python inspired alternative is a close second. I also don’t care about quantity of developers. These things deal with real money from real people, it demands a level of seriousness an average developer should run screaming from.
Serpent is deprecated, there's no first or second there.
Also think you are confusing poorly made cookie cutter erc20 tokens as representative of smart contracts in general, it is most certainly all a mess, but perhaps those treating alpha software as production ready is the real problem?
Last i looked the biggest user of gas and thus what is keeping your jaded investment afloat is ENS, no token just a pure smart contact. It has been running fine for a year.
Sadly we have people investing into hairbrained marketing brochures created by unqualified people in their underwear rather than proven products, in a free world I see no solution to this other than education.
On the other side of the equation we have people like Dan Guido seeking funding to make formal verification frameworks and the commmunity barely even notices nor puts it on a pedestal like every doomed ico that comes along.
It's not just the cookie cutter ERC20 contracts. There have been repeated serious issues with, for example, multisig contracts written by core Etherium developers and shipped in wallet apps. I think people may still be waiting on a hard fork to release funds locked by the latest multisig fuckup.
That's just marketing hype from Cardano, which is the same hype being used to promote Tezos. It's based on the plan to allow Cardano smart contracts to be formally verified. Two other programming languages are being developed for Ethereum that are being formalized by independent teams, and will allow formal verification of smart contracts. e.g. an ERC20 token smart contract implementation is being formally verified by the KEVM project. And a third language is being developed with the aim of doing the same.
Also, Cardano is currently centralized and will be until 2018 at the earliest when further upgrades are made in an attempt to make it decentralized. Meanwhile, Ethereum is already decentralized and work is under way to upgrade it to massively increase its scalability. Ethereum is way ahead and has the critical mass of developer and industry support.
> Formal Verification: Get an absolute 100% guarantee that your contracts are free of errors
Seems to me that should be priority #1 considering there's potentially millions of $local_currency riding on these contracts and they seem to be done with the hard forks when one goes awry (though I was reading that they collude to make it really, really hard to sell off the ill gotten gains).
That is true, but it should not be assumed that a spec. is a thing of fixed validity. A formal spec. has a reasonable likelihood of being less ambiguous, incomplete or self-contradictory than an informal one, or whatever substitutes for a spec. in an agile approach.
That only tells me a spec and its formal verification are necessary but not sufficient assets. Not "we can't prove everything so we'll keep our millions riding on half-assed piles of garbage.
A ycombinator backed project called Quantstamp aims to preform security audits for smart contracts, and seems like a very necessary part of the platform ecosystem that is developing.
Scheme is a wonderful and flexible language. There's a reason it was used as a teaching language and in books like SICP. I don't use it very much, but you really have to admire some of the power in the language, like the way variable binding is handled to make macros so powerful. In short: scheme is probably one of the best base languages for building DSLs. If I had to pick "most tasteful" programming languages I would put scheme in the top 3. (Above Python, which is the language I use the most, and above C++ and Java which are other languages I use at work.)
Nuclear weapons could have ended up made by non-state actors (e.g. the average corporation) cheaply enough for a long time now; the state(s) just made sure to get an early lock on publications about uranium enrichment processes, before any of the really good ones became public knowledge.
I have been experimenting with Pact that is written in Haskell and implements a non Turing complete Lisp language for writing contracts and provides a blockchain implementation. https://github.com/kadena-io/pact
> Haskell programmers often code in ivory towers with their heads in the cloud. In this multi-part article series, we’ll get our feet wet diving deep below C level.
I'm a bit confused by this article's introduction. Pyramid Scheme is a Scheme dialect implemented in another Scheme (RAcket). What does the whole thing have to do with Haskell?
I think you may have missed the joke here. A pyramid scheme is an unsustainable business model where the gains accrue at the top. The fact the author built it in racket (a racket being another dishonest scheme) makes it all the funnier.
Note that the state of the code is a messy PoC and abandonware - I hope to be able to pick up the ball here again at some point but probably not happening any time soon. If anyone really wants to continue on this and wants to take over as a maintainer, feel free to PM.
> Pyramid Scheme is implemented using the appropriately-named Racket.