julesh on Nostr: New blog post! Dependent optics II: Optics via forcing costates
Published at
2025-10-16 13:54:54 UTCEvent JSON
{
"id": "da26ab5803bded0f5b704d95ca4b6e2d5f5c9645156530630b4d53ed70284b62",
"pubkey": "d2bac57e502c36f3456f190627f30396bbe7df233bf7edbfe35990f3e85cf447",
"created_at": 1760622894,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/julesh/statuses/115384182046783625",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "New blog post!\n\nDependent optics II: Optics via forcing costates\n\nhttps://julesh.com/posts/2025-10-16-dependent-optics-ii.html",
"sig": "e44299a54d1970e3cec9ec72b4eed170a4121ba54f5b42a373a278e12311406aeb2378a477ddf97e25e58841bee96388266aca6111c0fa2fc1aeda2c8d9f7086"
}
