Talia Ringer on Nostr: The work these students did in two weeks of class was genuinely impressive. Can't ...
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
Talia Ringer
npub1h2…h3xek
2026-02-12 01:22:24 UTC
in reply to nevent1q…ejmx
Author Public Key
npub1h2yzmr4wgqmehn9fwz0y0tjjh3rwngzpmv6vw6n9gkzv3k0u78zqxh3xekSeen on
wss://relay.momostr.pinkPublished at
2026-02-12 01:22:24 UTCEvent JSON
{
"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"
}