lain on Nostr: ++ dvr ~/ %dvr ~_ leaf+"divide-by-zero" <- the <mean> frame ?< =(0 b) =+ c=0 |- ?: ...
++ dvr
~/ %dvr
~_ leaf+"divide-by-zero" <- the <mean> frame
?< =(0 b)
=+ c=0
|-
?: (lth a b) [c a] <- lth
$(a (sub a b), c +(c)) <- sub
++dvr is division by repeated subtraction, and ++div/++mod are just -:(dvr a b) and +:(dvr a b). We jet div and mod — but ++em-co calls dvr directly, bypassing both. So every number-rendering (scot %uv, scot %ud, …) divides a 128-bit session token by counting down. That's ~10³⁰ iterations.
urbit is something else
Published at
2026-07-28 08:50:57 UTCEvent JSON
{
"id": "ceb3019970081ee67be8d4a5b6d942746a17eb1a01350dc442374ee5008d46bb",
"pubkey": "653cd0a3f6e3f2c5ae4238cec6ce32f49c6aa6bf12dbde62475896fe0c1107f2",
"created_at": 1785228657,
"kind": 1,
"tags": [
[
"proxy",
"https://fediffusion.art/objects/12d03e6b-5a3d-45db-995e-c38cb6b72ed8",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "++ dvr\n ~/ %dvr\n ~_ leaf+\"divide-by-zero\" \u003c- the \u003cmean\u003e frame\n ?\u003c =(0 b)\n =+ c=0\n |-\n ?: (lth a b) [c a] \u003c- lth\n $(a (sub a b), c +(c)) \u003c- sub\n\n\n++dvr is division by repeated subtraction, and ++div/++mod are just -:(dvr a b) and +:(dvr a b). We jet div and mod — but ++em-co calls dvr directly, bypassing both. So every number-rendering (scot %uv, scot %ud, …) divides a 128-bit session token by counting down. That's ~10³⁰ iterations.\n\nurbit is something else",
"sig": "e057431deb0069ef56d1a7600af0293293c21420a76ad1d44dfad0763e89d311c264c6c6999e2fb65c82dac68fa8bb73c1c49d12059a25a90043467ea3d00d9c"
}