maiavictor

3 ms·

1. 1.▲
   Towards a simple theorem prover(medium.com)

   5 points by maiavictor 8y ago|0 comments
2. 2.▲
   Formality is now able to fuse native datatypes (goodbye ugly λ-encodings)(reddit.com)

   3 points by maiavictor 8y ago|0 comments
3. 3.▲
   by maiavictor 8y ago

   > So how can one claim the hardfork fixed a protocol bug? If I understand it, it isn't fixable without affecting every existing contract, so, the best fix was to patch the problems it caused, patch Solidity, introduce safer opcodes
4. 4.▲
   by maiavictor 8y ago

   > where the bug had nothing to do with the Ethereum protocol itself. I don't think the two are comparable. You're defining "bug" to fit your purposes. It wasn't "just a faulty contract". The entire prot
5. 5.▲
   by maiavictor 8y ago

   That's a blatant lie, running a full node is not required to "be decentralized", for the same reason you don't need to run a full node in Bitcoin. Light nodes have the same guarantees about the integrity and irreversibil
6. 6.▲
   Formality – An efficient programming language and proof assistant(github.com)

   102 points by maiavictor 8y ago|23 comments
7. 7.▲
   Show HN: Abstract Calculus, a massively parallel model of computation(github.com)

   5 points by maiavictor 8y ago|0 comments
8. 8.▲
   Show HN: The Abstract Calculus, the language of optimal λ-reductions(medium.com)

   3 points by maiavictor 8y ago|0 comments