Readit News logoReadit News
siraben commented on Mosh Mobile Shell   mosh.org... · Posted by u/rbinv
siraben · 2 days ago
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

siraben commented on Fractran Interpreter   tjwei.github.io/Fractran/... · Posted by u/ColinWright
siraben · 3 months ago
Fractran is a cool esolang that looks impossible to write any programs in at first until you systematically trace through some examples. A while ago I wrote an assembler in Haskell with an optimizer so you can write programs in assembly-style.

  λ> 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)]

siraben commented on Stimulation Clicker   neal.fun/stimulation-clic... · Posted by u/meetpateltech
siraben · 8 months ago
Replayed it to get a lower time, got 16m 35s.
siraben commented on Stimulation Clicker   neal.fun/stimulation-clic... · Posted by u/meetpateltech
siraben · 8 months ago
The crypto prices were so unrealistic. I was able to just keep buying Bitcoin with 2x leverage when it was low and make millions when it subsequently went up after. I barely paid attention to any other ways to make stimulation. Please implement liquidation mechanisms and more volatility.
siraben commented on Lambda Calculus Interpreter   lambda-calculus-interpret... · Posted by u/evilotto
asplake · a year ago
It seems to scroll forever. Does this example terminate? What would be an easier example to try?
siraben · a year ago
Yeah it terminates.

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.

[0] https://tromp.github.io/blog/2023/11/24/largest-number

u/siraben

KarmaCake day2687November 26, 2019
About
Vanderbilt University CS and math. Yale CS.

https://github.com/siraben

Email me! siraben [at] siraben.dev

View Original