Join Nostr
2026-07-28 08:50:57 UTC

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