Event JSON
{
"id": "0df6ca728aa53bdc57e367ace29e07493d952e69bc80342b841d634edf5750f1",
"pubkey": "cf19249077853d741ac83bdf895ad601fe683048173325ad43d50a5b80ae1f59",
"created_at": 1697552836,
"kind": 1,
"tags": [
[
"p",
"8121544bb46686a0ee04eccf35b8992acc3b8939d10151ce4b3c93a6239c973b",
"wss://relay.mostr.pub"
],
[
"p",
"54be8b44da6d3e62d80831e30a85ef15645e1fb05fcadcf16709f5bb2a350112",
"wss://relay.mostr.pub"
],
[
"e",
"64ed5cd0e4dde2aea63c4331d4802c307a585e44ed7d0b1fd325bb6d6619f1d3",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mastodon.social/users/vy/statuses/111250822685717954",
"activitypub"
]
],
"content": "nostr:npub1sys4gja5v6r2pmsyan8ntwye9txrhzfe6yq4rnjt8jf6vguujuas5eckr3 I want to have a type theory for CS based on something serious like dimensional analysis instead of math-ish typesetting.",
"sig": "20e1d074b3ec03e080f881b812d43639c519bb1e2189109459d52749f9da8e46623a3ac00dabe8b6f1d7fb17caae8db0c6dc2949f3fa49142d6a5d27ac52caf8"
}
