Timeline for Make a long type signature
Current License: CC BY-SA 4.0
21 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 6, 2022 at 1:20 | history | edited | dfeuer | CC BY-SA 4.0 | deleted 13 characters in body |
| Mar 18, 2019 at 1:24 | comment | added | dfeuer | @ØrjanJohansen, the switch from A to B was a no-brainer, because it has the same number of bytes. As for how they compare ... my intuition isn't great. Certainly, though, getting a fast start is very helpful for obtaining results whose size is easy to bound (below) by well-known functions like A. Thanks for the improvement; I actually considered the S(S n) change alone before I realized there was free Indian buffet lunch to be had. | |
| Mar 17, 2019 at 21:36 | comment | added | Ørjan Johansen | My intuition btw is that all of these functions are "about the same size" for each m plus or minus 1, once you get into the incomprehensibly large territory, so it's all about getting there as fast as possible and then have room to heap on more #Zs. | |
| Mar 17, 2019 at 21:29 | comment | added | Ørjan Johansen | Looks good, although if we're tweaking the function, I think this gets out of the ballpark faster - Z#Z#Z#Z is already humongous, which makes up for the one byte longer type family. | |
| Mar 17, 2019 at 7:39 | history | edited | dfeuer | CC BY-SA 4.0 | added 164 characters in body |
| Mar 17, 2019 at 6:49 | comment | added | dfeuer | @ØrjanJohansen, I've made a fairly substantial improvement; I'd really appreciate if you could double check that I haven't goofed up the calculation somewhere. | |
| Mar 17, 2019 at 6:48 | history | edited | dfeuer | CC BY-SA 4.0 | Bigger |
| Mar 15, 2019 at 12:37 | history | edited | dfeuer | CC BY-SA 4.0 | deleted 1 character in body |
| Mar 15, 2019 at 5:20 | history | edited | dfeuer | CC BY-SA 4.0 | added 372 characters in body |
| Mar 15, 2019 at 4:43 | history | edited | dfeuer | CC BY-SA 4.0 | added 248 characters in body |
| Mar 15, 2019 at 3:34 | comment | added | Ørjan Johansen | While you were first editing, I discovered A(m,1) was never bigger than A(A(m,0),0), and was about to remark on it, but then you'd just optimized to the point where the options were equal. (Also m+1 is never bigger than A(m,0).) | |
| Mar 15, 2019 at 3:30 | comment | added | Ørjan Johansen | It's the exact same value but saves one byte, and changing the datatype to ? saves the other, leaving room for the extra #Z. | |
| Mar 15, 2019 at 2:21 | comment | added | dfeuer | Either way, the extra #Z at the end is most welcome. | |
| Mar 15, 2019 at 2:20 | comment | added | dfeuer | @ØrjanJohansen, is stacking up Zs at the front better than starting with S(S Z)#S Z, or the same? | |
| Mar 14, 2019 at 23:33 | comment | added | Ørjan Johansen | One more #Z | |
| Mar 14, 2019 at 4:18 | history | edited | dfeuer | CC BY-SA 4.0 | deleted 5 characters in body |
| Mar 14, 2019 at 3:40 | history | edited | dfeuer | CC BY-SA 4.0 | added 61 characters in body |
| Mar 14, 2019 at 3:10 | history | edited | dfeuer | CC BY-SA 4.0 | added 103 characters in body |
| Mar 14, 2019 at 2:24 | history | edited | dfeuer | CC BY-SA 4.0 | added 44 characters in body |
| Mar 14, 2019 at 2:13 | history | edited | dfeuer | CC BY-SA 4.0 | deleted 13 characters in body |
| Mar 14, 2019 at 1:49 | history | answered | dfeuer | CC BY-SA 4.0 |