Ethereum from scratch – Part 1: Ping

Re:Ethereum from scratch – Part 1: Ping by xj9 on Friday July 21, 2017 @12:26AM (#14818062)

i'd like formally verified laws if i could

[ Parent | on HN ]

Re:Ethereum from scratch – Part 1: Ping by zdkl on Friday July 21, 2017 @03:34AM (#14818728)

I dislike algorithms that I understand, and I distrust algorithms that I don't when it comes to stuff like social security or insurance.

Smart contracts by composition would be really nice. Like a compile to EVM lisp!

[ Parent | on HN ]

Re:Ethereum from scratch – Part 1: Ping by TeMPOraL on Friday July 21, 2017 @04:06AM (#14818869)

Related: could we please have a Lisp for Ethereum VM? Thanks!

[ Parent | on HN ]

Re:Ethereum from scratch – Part 1: Ping by mbrock on Friday July 21, 2017 @12:51PM (#14821967)

Lisp programmers know the value of everything and the gas cost of nothing...

[ Parent | on HN ]

Re:Ethereum from scratch – Part 1: Ping by zdkl on Friday July 21, 2017 @04:18AM (#14818915)

Yeah if someone's working on it, please link. Would contribute

[ Parent | on HN ]

Re:Ethereum from scratch – Part 1: Ping by Jabanga on Friday July 21, 2017 @07:32AM (#14819565)

There is LLL: https://github.com/ethereum/cpp-ethereum/wiki/LLL-PoC-6/7a57...

[ Parent | on HN ]

Re:Ethereum from scratch – Part 1: Ping by zdkl on Friday July 21, 2017 @08:23AM (#14819797)

Nice thanks! Is this officialy supported still?

[ Parent | on HN ]

Re:Ethereum from scratch – Part 1: Ping by Jabanga on Friday July 21, 2017 @08:27AM (#14819820)

No problem! It looks like there is some activity in its github repository:

https://github.com/ethereum/solidity/tree/develop/liblll

https://github.com/ethereum/solidity/issues?utf8=%E2%9C%93&q...

[ Parent | on HN ]

Re:Ethereum from scratch – Part 1: Ping by TeMPOraL on Friday July 21, 2017 @04:08AM (#14818881)

This might be possible at some point, but for that we first need to figure out how to formalize intent and meaning. In real-world laws, both are extremely important.

[ Parent | on HN ]