I often use jump hosts in SSH, but is the only way to do this in mosh to mosh into the relay and then mosh again?
Deleted Comment
λ> pretty (sumTo 10)
c += 0
n += 10
while n >= 0 {
c += n
n -= 1
}
λ> runAssembler (sumTo 10) -- Program length: 31
Right [847425747 % 2,13 % 3,19 % 13,11 % 3,11 % 29,31 % 11,41 % 31,23
% 11,23 % 47,2279 % 23,59 % 301,59 % 41,67 % 413,329 % 67,61 % 59,73 %
61,83 % 73,71 % 61,71 % 97,445 % 71,707 % 89,103 % 5353,103 % 83,109 %
5459,5141 % 109,107 % 103,113 % 749,113 % 19,131 % 113,29 % 131,127 %
113]
λ> runAsm (sumTo 10)
[(Prime 97,55),(Prime 107,1)]
candy lasers redux: https://tixy.land/?code=0.2%2Bsin%28i*t%2F64%29%2B.3*sin%288...
A tiny 63 bit program[0] in this language represents a number unfathomably larger than not only ack(9,9), but the far larger Graham’s Number as well. It originates in a Code Golf challenge asking for the “Shortest terminating program whose output size exceeds Graham’s number”, answered by user Patcail and further optimized by user 2014MELO03. With one final optimization applied.
Here's a really short program. Let's calculate 2 * 3
(λn m s. n (m s)) (λf n. f (f n)) (λf n. f (f (f n)))
eventually it terminates with λ s n.s (s (s (s (s (s n)))))
which is just the church encoding of 6.