yes, using tagged memory is very easy and effective on x64 since you get 8 different tags to play with, for non-word-sized-things all you need is an object header tag and you can know what each single bit does in memory as long as you traverse it in the direction from header to data
it does restrict tagged unsigned numbers to 61 bits of precision and signed ones to 60, but that hardly matters
also allows you to get away with having cons cells just be two naked words next to each other, at least as long as you also have a tracing garbage collector
does the system restrict the user from creating symbols at runtime? this seems like the one major thing if you want to sandbox a lisp
whiteline :flag_transgender:
npub195…6jrm7
2026-05-25 13:23:55 UTC
in reply to nevent1q…zhmk
Author Public Key
npub1958k5wa7pw07lynh7hftktp70qkhzkv79v9dtjmjgy9ffuqmldxqc6jrm7Seen on
wss://relay.momostr.pinkPublished at
2026-05-25 13:23:55 UTCEvent JSON
{
"id": "5d85f84b87606c7615a33ead8d82d941573ad31e82c7f1fb23ca9d2a6868af61",
"pubkey": "2d0f6a3bbe0b9fef9277f5d2bb2c3e782d71599e2b0ad5cb72410a94f01bfb4c",
"created_at": 1779715435,
"kind": 1,
"tags": [
[
"e",
"260fcb6ac9efc43ff26db1f08689807b748083dbc26e25d2bb79115a2793794b",
"",
"root",
"bc99ecc661ecc2be90c8cbec0f3532b2742a455411782936822256a74b1bb7a2"
],
[
"e",
"81fad3a5a801b8edbae9bf8edb5ea10ec7b533e5f05ad9dad69ebc408cbe3e9a",
"",
"reply",
"bc99ecc661ecc2be90c8cbec0f3532b2742a455411782936822256a74b1bb7a2"
],
[
"p",
"bc99ecc661ecc2be90c8cbec0f3532b2742a455411782936822256a74b1bb7a2"
],
[
"proxy",
"https://shitposter.world/objects/d221e657-e6eb-4042-9336-134ea7f19958",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://shitposter.world/objects/d221e657-e6eb-4042-9336-134ea7f19958",
"pink.momostr"
],
[
"-"
]
],
"content": "yes, using tagged memory is very easy and effective on x64 since you get 8 different tags to play with, for non-word-sized-things all you need is an object header tag and you can know what each single bit does in memory as long as you traverse it in the direction from header to data\r\n\r\nit does restrict tagged unsigned numbers to 61 bits of precision and signed ones to 60, but that hardly matters\r\n\r\nalso allows you to get away with having cons cells just be two naked words next to each other, at least as long as you also have a tracing garbage collector\r\n\r\ndoes the system restrict the user from creating symbols at runtime? this seems like the one major thing if you want to sandbox a lisp",
"sig": "b8b0a0a8368563593f4c821e7c27adb70066a84e466cf00e5aef728cd49c2f4a91d6e0f8e716275eebf052a9929be0766e9d8ca21519da71bb3b8fb795fe49cb"
}