36 ms·
Hope people are not going to mention that this is a blockchain company. No matter how I don't like it; this work, research and others (like Wadler) is great and
by anonzzzies 3y ago
Hope people are not going to mention that this is a blockchain company. No matter how I don't like it; this work, research and others (like Wadler) is great and very interesting advancements in the software verification space. You can ignore the blockchain side of things.
- john-radio 3y ago> You can ignore the blockchain side of things. You can, but you don't have to...
- simpsond 3y agoVerification of onchain protocols seems like a great fit.
- anonzzzies 3y agoIt is, it advances this theory and tech. I only mentioned it because many people will simply not read anything that has blockchain associations.
- classified 3y agoBlockchain is just a solution in search of a problem. It's the cryptocurrency stuff where it gets shady.
- hobofan 3y ago> Hope people are not going to mention that this is a blockchain company. Well, nobody apart from you did...