Andrej Bauer on Nostr: Daily reminder on how good ChatGPT is. I asked it to show me the diagrams for 𝑓 : ...
Daily reminder on how good ChatGPT is. I asked it to show me the diagrams for 𝑓 : 𝑇𝐴 → 𝐴 being an algebra for the monad 𝑇.
Andrej Bauer /
npub1gp…tzrxg
2025-02-26 09:08:56
Author Public Key
npub1gpkd59s9m8v4k83e57pj0sufrta69whv6v9q9dqreyqwd5lehdvqutzrxgPublished at
2025-02-26 09:08:56Event JSON
{
"id": "d9d72ed9ee530d03598f8d2a5726135b5b1beacc2976e708758f017e339ae482",
"pubkey": "406cda1605d9d95b1e39a78327c3891afba2baecd30a02b403c900e6d3f9bb58",
"created_at": 1740560936,
"kind": 1,
"tags": [
[
"imeta",
"url https://media.mathstodon.xyz/media_attachments/files/114/069/394/823/459/870/original/aeaba1b5f49a2826.png",
"m image/png",
"dim 967x433",
"blurhash U5Ss89~B4:IVs:%MjtRjnhE1oft7xuxuWBay"
],
[
"proxy",
"https://mathstodon.xyz/users/andrejbauer/statuses/114069401542716521",
"activitypub"
]
],
"content": "Daily reminder on how good ChatGPT is. I asked it to show me the diagrams for 𝑓 : 𝑇𝐴 → 𝐴 being an algebra for the monad 𝑇.\n\nhttps://media.mathstodon.xyz/media_attachments/files/114/069/394/823/459/870/original/aeaba1b5f49a2826.png",
"sig": "b0e0436d888cbb6223c9785a4f5b94ea1a103d36c0fe1dbf5df0a0aec50c930f00e6a6e8a8b0432e828db35bf5a200595124a7b7e326db73a3dd43e15c114c1a"
}