Talia Ringer on Nostr: What a time to teach an undergrad class on how to use a proof assistant. What a time ...
What a time to teach an undergrad class on how to use a proof assistant. What a time to be in this field. What a time
Talia Ringer
npub1h2…h3xek
2026-08-27 19:51:08 UTC
Author Public Key
npub1h2yzmr4wgqmehn9fwz0y0tjjh3rwngzpmv6vw6n9gkzv3k0u78zqxh3xekSeen on
wss://relay.momostr.pinkPublished at
2026-08-27 19:51:08 UTCEvent JSON
{
"id": "0cfe72f768642bb6c53f4ea22b8bc76a6965d87955ee6f129e73f58c67821c94",
"pubkey": "ba882d8eae40379bcca9709e47ae52bc46e9a041db34c76a654584c8d9fcf1c4",
"created_at": 1787860268,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@TaliaRinger/117169210568591612",
"web"
],
[
"imeta",
"url https://media.mathstodon.xyz/media_attachments/files/117/169/207/079/692/714/original/777b1f9a6cc10b14.jpeg",
"m image/jpeg"
],
[
"proxy",
"https://mathstodon.xyz/users/TaliaRinger/statuses/117169210568591612",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/TaliaRinger/statuses/117169210568591612",
"pink.momostr"
],
[
"-"
]
],
"content": "What a time to teach an undergrad class on how to use a proof assistant. What a time to be in this field. What a time\nhttps://media.mathstodon.xyz/media_attachments/files/117/169/207/079/692/714/original/777b1f9a6cc10b14.jpeg\n",
"sig": "bc03900bb6ea4d7312f227a4e922b3d96920305740f8b9773f98b5e26799c26ada34a3bfe54220c66f3349c7feb58b522ecc036e0f0815db651947b1c08554a1"
}