Conversation

Notices

1. Embed this notice
   julesh (julesh@mathstodon.xyz)'s status on Thursday, 05-Dec-2024 08:02:30 JST julesh

   in reply to

   • Martin Escardo
   • theHigherGeometer

   @highergeometer @MartinEscardo You literally just invented number 3 on Code Golf Stack Exchange's list of forbidden loopholes

   • Embed this notice
     theHigherGeometer (highergeometer@mathstodon.xyz)'s status on Thursday, 05-Dec-2024 08:02:32 JST theHigherGeometer

     in reply to

     • Martin Escardo

     @MartinEscardo Sure, but is 'x' a computable expression? In what language?

   • Embed this notice
     Martin Escardo (martinescardo@mathstodon.xyz)'s status on Thursday, 05-Dec-2024 08:02:34 JST Martin Escardo

     in reply to

     • theHigherGeometer

     @highergeometer

     Call it x, and then it is compressed to one character.

   • Embed this notice
     theHigherGeometer (highergeometer@mathstodon.xyz)'s status on Thursday, 05-Dec-2024 08:02:35 JST theHigherGeometer

     How much can you compress a number?

     The binary number

     01000101010110101001000100010001000001000101011000011000000000010111111100011001111111111011001011100001010111000010101111000000001011111000000001111111000010101010111111111111111101111111111110111101000000100000101011100100000001011011101100001010110000101101111101111111000011111111110011000001000011111111100110000010001001010101011111111011111111111111111100000011100001010111111111111111111110001110111111100001000000010110111011001000001010110111111111110010111011111111111110111111111001011101111111111110111111111000000001010101010111101000000001111000110000010000010000000000101011110000010011111111011111011110011101000001000001001011111100000010000000101101110110010000010101101110010101111111000100101110000011011110111111110010101110111111011110111111100000000000000001010111100000011101111111110011111110111100001111111000010110110111111001011100001011000010101100001011011111101111111100001111111001100000100001100000110110100001010101111011111111111111111000000000100000111000001000000010011101011000101000010110000101011000001000000000011100000110000000000111000001000001000001011000010001101000000110000000010111111101110010101111110111110110100000010101111110000001011101001011011000001100111101100111101000010101010001101000010000000001000100010101111100000000111111001010111111111101111111101100101111000011111110000101101100101011111111111100000011100101111111111111011010011110000000011001111111111111100001100000101111111100111110010101111111111011111111010111111000011100111100001011011011111000011001011111110110011100111101111000000101100000101100000010110000011011001101000001001101100000100101000110100000010000010110000000011011111001... (1/2)