nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyry2ysn5av9pr8m76kgpggcflz294t0pr9shd99kh8redys7ku0xkefw8t5 (nprofile…w8t5)
(1) I've just uploaded the Typst source code to https://jean.abou-samra.fr/talks/2025-11-10-countable-reals.typ
Note that the use of Unicode math characters in the source is peculiarity of mine (I also do it in TeX and elsewhere); most people use the built-in commands and notations, e.g., $not not p => p$ (list on https://typst.app/docs/reference/symbols/sym/).
Jean Abou Samra (new account)
npub14p…htzwd
2025-12-06 17:08:53 UTC
in reply to nevent1q…8axy
Author Public Key
npub14pv6xjcsz2qa6tctew034s5wsj5p2xuh65q86qe6gpegaslstc6qjhtzwdPublished at
2025-12-06 17:08:53 UTCEvent JSON
{
"id": "a349c83a3a56694006f46f5b20c3771e21e1aff4b81178ad367c7042cdb7fc22",
"pubkey": "a859a34b101281dd2f0bcb9f1ac28e84a8151b97d5007d033a40728ec3f05e34",
"created_at": 1765040933,
"kind": 1,
"tags": [
[
"p",
"c8a24274eb0a119f7ed590142309f8945aade119617694b6b9c796921eb71e6b",
"wss://relay.ditto.pub/"
],
[
"p",
"5c675fe7561c52f2c0ea8db391d2c3a46556bec9a3c0a4b4f10f234fe03f58ca",
"wss://relay.ditto.pub/"
],
[
"e",
"ab3e9e97921dcb6ae64419c7cbd08002fb485d7cb5224addb9ac16706f58fec6",
"wss://relay.ditto.pub/",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/jeanas/statuses/115673722629529878",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub/"
]
],
"content": "nostr:nprofile1qyt8wumn8ghj7un9d3shjtnyd968gmewwp6kytcqyry2ysn5av9pr8m76kgpggcflz294t0pr9shd99kh8redys7ku0xkefw8t5\n\n(1) I've just uploaded the Typst source code to https://jean.abou-samra.fr/talks/2025-11-10-countable-reals.typ\n\nNote that the use of Unicode math characters in the source is peculiarity of mine (I also do it in TeX and elsewhere); most people use the built-in commands and notations, e.g., $not not p =\u003e p$ (list on https://typst.app/docs/reference/symbols/sym/).",
"sig": "30bad445701fc1c780963b3ea734e78cdc24027b5a8db580da0f9b38dd0d4498b3cf0f177d4a4c9faa0c6d4bfb70d59d84a81c1ae585a8326ed7aff1e7f05134"
}