Altreus | rindolf: you can make a processor in minecraft yes |
rindolf | Altreus: ah, OK. |
Altreus | a computer in a computer |
rindolf | Let's write a Perl->Minecraft compiler. |
Altreus | very meta |
rindolf | Implementing a Turing complete interpreter inside a VM is not hard. |
rindolf | vi keystrokes (not vimscript) are also Turing complete. |
rindolf | As is the Game of Life and infinite Minesweeper |
jettero | rindolf: I can almost imagine GoL, but how is minesweeper going to be Turing complete? |
Altreus | nuts |
Altreus | that always worked for me |
Altreus | maybe you have to log in at least once |
woldrich | bah |
rindolf | jettero: http://web.mat.bham.ac.uk/R.W.Kaye/minesw/ |
rindolf | jettero: I have not read the paper. |
rindolf | jettero: of course, true Turing completeness is only possible with infinite memory. |
LeoNerd | Ah OK |
* f00li5h | hands rindolf an infinite hotel, and books every even room |
rindolf | f00li5h: :-) |
* rindolf | books every odd room that is divided by three. |
rindolf | f00li5h: is it א_0, א_1 or something more infinite? |
f00li5h | it's as infinite as it can be! |
rindolf | f00li5h: ah, good. |
rindolf | f00li5h: then I can book room pi. |
rindolf | Or sqrt(2). |
f00li5h | you sure can. |
rindolf | Nice. |
f00li5h | but you might like something a little more spacious |
rindolf | Ah. |
f00li5h | like the rooms between 1 and 2 |
rindolf | Which room do you recommend? |
rindolf | Ah. |
j_wright | what about sqrt(-1)? |
f00li5h | plenty of space there |
f00li5h | j_wright: that room's popular, I'd imagine it's booked |
f00li5h | the biggest problem is allotting extensions on the room phones |
Altreus | my infinite hotel's rooms have two numbers each, being a point on the complex plane |
Altreus | it increases address lookup time |
Altreus | also the hotel happens to be all one floor so that helps |
j_wright | so they get two sets of addresses? |
j_wright | polar too |
f00li5h | take the ⧜th left, and then head down ∞th right |
Altreus | no just one |
Altreus | each room is unique |
j_wright | or turn n degrees and go m forward |
Altreus | oh yes I suppose you could map their addresses to a new coordinate space but that's true of any plane with a landmark |
Altreus | the car park is at 0,i, for your information |