4 ms·

i'd like formally verified laws if i could

• zdkl 9y ago
  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!
  • TeMPOraL 9y ago
    Related: could we please have a Lisp for Ethereum VM? Thanks!
    • zdkl 9y ago
      Yeah if someone's working on it, please link. Would contribute
      • Jabanga 9y ago
        There is LLL: https://github.com/ethereum/cpp-ethereum/wiki/LLL-PoC-6/7a575cf91c4572734a83f95e970e9e7ed64849ce https://github.com/ethereum/cpp-ethereum/wiki/LLL-PoC-6/7a57...
        • zdkl 9y ago
          Nice thanks! Is this officialy supported still?
          • Jabanga 9y ago
            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/tree/develop/liblll https://github.com/ethereum/solidity/issues?utf8=%E2%9C%93&q=lll https://github.com/ethereum/solidity/issues?utf8=%E2%9C%93&q...
    • mbrock 9y ago
      Lisp programmers know the value of everything and the gas cost of nothing...
• TeMPOraL 9y ago
  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.