{
"id":"e5fca7e8e21df6e0b98b1d4f7e43a7405041ec3224ee191eaa3b92417d4bb515",
"pubkey":"ba882d8eae40379bcca9709e47ae52bc46e9a041db34c76a654584c8d9fcf1c4",
"created_at":1770859344,
"kind":1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@TaliaRinger/116055037976074891",
"web"
],
[
"p",
"ba882d8eae40379bcca9709e47ae52bc46e9a041db34c76a654584c8d9fcf1c4"
],
[
"e",
"f4e02ccc81ee44066bd6a252b1873a3bc199577331c8b9e567c540cfeac67751",
"",
"root",
"ba882d8eae40379bcca9709e47ae52bc46e9a041db34c76a654584c8d9fcf1c4"
],
[
"proxy",
"https://mathstodon.xyz/users/TaliaRinger/statuses/116055037976074891",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/TaliaRinger/statuses/116055037976074891",
"pink.momostr"
],
[
"-"
]
],
"content":"The work these students did in two weeks of class was genuinely impressive. Can't wait to see what our proof assistant is like in the end",
"sig":"955f40f169f57d4d03c5a4f6de6689d9d09aaa9296d95fe4927c57992067d86a401996272ffb5781ddbfa75672a69bfd7a06c98244ac75518ab79b5348c1f912"
}