Row 55622

Row ID: 55622 | Dataset Entry | Axioma AXP Content Repository

Content Data

This page contains data entry 55622 from the Axioma AXP content repository. The structured data below represents the complete record for this entry.

That's all you got, hey? Fonny. Back to the internet thing. There's interesting papers written on applying formal methods to a blockchain design. And enjoy the lesson about Eutxo's ⬇️ https://iohk.io/en/blog/posts/2020/04/09/merging-formal-methods-and-agile-to-build-cardano/ ⬇️ https://iohk.io/en/research/library/papers/the-extended-utxo-model/

FieldValue
text That's all you got, hey? Fonny. Back to the internet thing. There's interesting papers written on applying formal methods to a blockchain design. And enjoy the lesson about Eutxo's ⬇️ https://iohk.io/en/blog/posts/2020/04/09/merging-formal-methods-and-agile-to-build-cardano/ ⬇️ https://iohk.io/en/research/library/papers/the-extended-utxo-model/
label r/cryptomarkets
dataType comment
communityName r/CryptoMarkets
datetime 2024-05-23
username_encoded Z0FBQUFBQm5Lak1XM2Y3ek9BbHFJZ2owTk82RGxWSkFVZ2EtM1BYWnA2RE9Eemd4N05ncFhENzJQNWJVWkVUendlcUdWNnVIT2Z4NkoyTVg3b3BCQk1nOURnRGZBSTNNbUE9PQ==
url_encoded Z0FBQUFBQm5Lak9sa1R1ajFMa2FwRE1GUU1YWnJObkI1TE1iMzJLd2o5QmRJRHhHdTJCbnVYWm1PMkxmN1ExU1pqb1lobXU3WVY3ZXQ3VTVGOG1DVk5adnhSbFdCTjhHdjJqeXF3V3VmTlVral9FRmFOODJWOXBRR0VyR3hyeDRjNlhjSXJ5X0FkbURUZlE3UXQ4cERBWW9aekgzRC1pWEttWlpna2JNNTZ6aFVHaGJZRVAxRUlmeG1JT29Wa19TLWZ0OE5rSXhPMENOQ3RQRWRCRlpUNlkzMWpfT1hpZnIydz09

Raw Record

{
  "text": "That's all you got, hey? Fonny.\nBack to the internet thing.\nThere's interesting papers written on applying formal methods to a blockchain design. And enjoy the lesson about Eutxo's\n⬇️\nhttps://iohk.io/en/blog/posts/2020/04/09/merging-formal-methods-and-agile-to-build-cardano/\n⬇️\nhttps://iohk.io/en/research/library/papers/the-extended-utxo-model/",
  "label": "r/cryptomarkets",
  "dataType": "comment",
  "communityName": "r/CryptoMarkets",
  "datetime": "2024-05-23",
  "username_encoded": "Z0FBQUFBQm5Lak1XM2Y3ek9BbHFJZ2owTk82RGxWSkFVZ2EtM1BYWnA2RE9Eemd4N05ncFhENzJQNWJVWkVUendlcUdWNnVIT2Z4NkoyTVg3b3BCQk1nOURnRGZBSTNNbUE9PQ==",
  "url_encoded": "Z0FBQUFBQm5Lak9sa1R1ajFMa2FwRE1GUU1YWnJObkI1TE1iMzJLd2o5QmRJRHhHdTJCbnVYWm1PMkxmN1ExU1pqb1lobXU3WVY3ZXQ3VTVGOG1DVk5adnhSbFdCTjhHdjJqeXF3V3VmTlVral9FRmFOODJWOXBRR0VyR3hyeDRjNlhjSXJ5X0FkbURUZlE3UXQ4cERBWW9aekgzRC1pWEttWlpna2JNNTZ6aFVHaGJZRVAxRUlmeG1JT29Wa19TLWZ0OE5rSXhPMENOQ3RQRWRCRlpUNlkzMWpfT1hpZnIydz09"
}
Explore Dataset Explore Row

Entry Information