00:00:43 The initial shift state is 0, where 4 is a temporary shift to state 1, and 5 is a temporary shift to state 2. In state 1 or 2, the 4 and 5 are permanent shifts; the same code is permanent to its own state and the other one is to state 0. Code 0 is always a space. Codes 6-31 meanings depend on the shift state; in state 2, code 6 is a ASCII escape and is followed by two more 5-bit codes. 00:02:45 Infocom never used permanent shifts. Their documentation says to use a permanent shift if there are two characters from the same shift state, but that tends to be worse than not using permanent shifts at all. 00:02:50 -!- sebbu3 has changed nick to sebbu. 00:56:57 -!- adu has joined. 02:25:20 -!- FreeFull has quit. 03:17:58 shachaf: Does that explain what you wanted to know? 03:27:00 I think so. 03:29:16 OK 03:29:53 ("Johansen" does refer to oerjan, because they helped me with it.) 03:36:02 I figured. 03:36:13 Well, I thought it was either oerjan or Ørjan. 03:40:04 can be hard to tell sometimes. 03:40:29 it's definitely not Pål Ørjan, he'd be more likely to cooperate with kmc. 03:42:22 *Pål-Ørjan 03:51:55 web.Mickey_V4: points -11.52, score 10.94, rank 47/47 03:53:51 activity! 03:54:18 which apparently cannot be underscored enough. 04:39:33 -!- Frater_EST has joined. 04:39:38 -!- Frater_EST has left. 05:18:12 baba is you is a great game! 05:19:49 That's what I've been saying! 05:20:03 it is 05:20:38 05:20:42 05:20:43 \ 05:21:18 Maybe later after Free Hero Mesh is enough that it is possible to try to use it, then you can see if you are able to make anything with it that is similar to Baba Is You, or if maybe not. 05:27:01 Can you use Free Hero Mesh to make The Revenge of Megazeux? 05:27:54 some of the BIY levels are really hard ;__; 05:29:43 What would be Revenge of Megazeux? If it is like MegaZeux, then probably not; it doesn't meet the requirements: that it is played on a rectangular grid of objects (there may be multiple objects at a location), with the state changing only deterministically by a function from the current state and key code to either the new state or a win or loss. 05:30:22 I think it's like Megazeux or maybe like the revenge of Megaboz 05:30:37 Do you like The Revenge of Megaboz? 05:31:25 I don't know of Revenge of Megaboz. MegaZeux is played on a rectangular grid, but does not use the required state changing function. 05:32:15 The Revenge of Megaboz is also called Zork Zero. 05:32:17 O, I found Revenge of Megaboz; it is Zork Zero: The Revenge of Megaboz, it look like. 05:34:04 There is a screenshot, I can see they have a compass at the top like I did in xyzabcde2 also (although mine is made only from text) 05:34:11 Do you like _Spider and Web_? 05:35:37 I have played before but do not remember all of them now 05:40:30 ߓߓ IS ຢU 05:42:16 ክክ IS Б𐋂 05:43:07 -!- fractal has quit (Ping timeout: 246 seconds). 05:43:14 ບX ߤS ክY 05:52:34 -!- tromp has quit (Ping timeout: 246 seconds). 06:03:38 -!- imode has quit (Ping timeout: 246 seconds). 06:33:11 Do you know if awk specifies the order of evaluation of an expression? 07:20:51 -!- aloril has quit (Ping timeout: 244 seconds). 07:21:45 -!- aloril has joined. 07:47:52 -!- AnotherTest has joined. 08:55:52 -!- atslash has joined. 09:11:56 -!- atslash has quit (Quit: This computer has gone to sleep). 09:13:48 -!- tromp has joined. 09:39:38 oerjan: Re underscores, usually I just restart it to get rid of them, but now I'm afraid it would no longer work, because some of the Ruby things it uses had stopped working. 09:40:40 I'm hoping I'll finish the reimplantation before it goes down next time, though that doesn't feel all that likely. 09:43:41 shocking 09:48:59 -!- b_jonas has joined. 10:02:20 -!- oerjan has quit (Quit: Later). 10:03:45 -!- Lord_of_Life has quit (Ping timeout: 246 seconds). 10:05:46 ...reimplantation is probably something slightly different than what I meant. 10:06:03 -!- Lord_of_Life has joined. 10:24:46 -!- hakatashi has quit (Remote host closed the connection). 10:25:04 -!- hakatashi has joined. 11:04:47 -!- tromp has quit (Remote host closed the connection). 11:10:24 -!- tromp has joined. 11:19:33 -!- arseniiv has joined. 11:42:19 -!- tromp has quit (Remote host closed the connection). 11:47:25 -!- salpynx has quit (Ping timeout: 256 seconds). 11:47:26 -!- atslash has joined. 11:48:23 -!- tromp has joined. 12:39:53 -!- FreeFull has joined. 16:47:45 -!- imode has joined. 17:27:06 -!- ethereal9 has joined. 17:31:52 -!- ethereal9 has left ("WeeChat 1.9.1"). 17:35:23 `slist MEAT or CANDY? 17:35:24 slist MEAT or CANDY?: Taneb atriq Ngevd nvd Fiora Sgeo ThatOtherPerson alot 17:39:01 `? circle 17:39:03 circle? ¯\(°​_o)/¯ 17:39:10 `learn A circle has no end 17:39:12 Learned 'circle': A circle has no end 17:39:14 `learn A circle has no end. 17:39:16 Relearned 'circle': A circle has no end. 17:39:47 my hon. and learned friend fungot, do you plan to visit your relatives on Easter? 17:39:48 b_jonas: man. it is just another waste. do you like it. 17:43:41 yesterday I heard Finland on amateur radio. 17:43:47 but I didn't manage to get a contact 17:43:56 I did get a 10,000 km contact to eastern Russia though 17:44:42 is this still in the 200 MhZ frequency band? 17:52:19 no 17:52:52 last night I was on 7.074, 10.136, and 14.074 MHz 17:53:13 which are the standard frequencies for the FT8 digital protocol on 40, 30, and 20 meter bands respectively 17:57:19 the distance record for VHF is short of that, and getting anywhere close would require extremely favorable atmospheric conditions and good equipment http://www.arrl.org/files/file/WA50-Standings/Distance_Records_10Dec2018.pdf 17:57:41 whereas on HF, i was able to do this with a pretty basic transciever and a crappy wire antenna 17:58:54 people also bounce VHF signals off the moon 17:59:12 I don't know what the record is there 17:59:29 and there are satellites that act as amateur radio repeaters, but that's cheating as far as distance records go 18:00:40 HF depends on the conditions of the ionosphere, which in turn depends on the sunspot cycle, which is at a minimum now. but there is still plenty you can do especially with weak signal modes like FT8 or good old morse code 18:01:28 Morse is a very low bandwidth, low symbol rate (or can be, anyway) mode and therefore you can make a very sensitive receiver which picks out just that signal and very little of the surrounding noise 18:02:04 to do extremely long distance on extremely low power, people have done extremely slow morse code ("QRSS"), up to one minute of transmission for a single dot! 18:02:23 naturally this is encoded and decoded by computer because it's tedious to sit there for hours holding down a button 18:03:41 before computers, morse code stations would sometimes transmit messages from punched tape, and record onto paper tape with a pen actuated by the radio rceeiver. this was mostly done to allow very fast transmission (time is money!) and not very slow, but same principle could apply. 18:03:58 if you go to the historic KPH radiotelegraph station in Point Reyes, California, you can see this equipment still in use 18:05:57 it was one of the first radiotelegraph stations, built in the 1920s mainly for ship-to-shore communication (which is why it's on the coast) 18:30:04 I haven't seen such a morse transmitter, but I have seen a working telex terminal (not in production use, but in a museum) with a fast tape reader, so it can transmit and print characters faster than anyone could type on the keyboard. 18:31:08 And I have also heard of the very low bandwidth morse transmissions, which were used for cable telegraph under the Atlantic for a decade or two before vacuum tubes were invented to amplify the signal right inside the undersea cable. 18:31:53 Radio telegrpahy was also very hard back then, for the exact same reason: you need vacuum tubes to modulate the signal. 18:40:17 yeah 18:40:51 for undersea cables they used a very clever device called a mirror galvanometer 18:41:14 which is kind of like a normal analog ammeter but the needle is replaced with a tiny mirror 18:41:29 onto which you shine a light 18:41:38 so a very small deflection of the needle is "amplified" by moving the reflected spot of light a much larger distance 18:41:47 essentially using a long lever arm with zero mass. 18:42:37 for the earliest longwave radio transmissions they used electromechanical generators to produce the radio waves 18:42:40 https://en.wikipedia.org/wiki/Alexanderson_alternator 18:43:14 well no, for the *earliest* they used spark gap transmitters, but those produce crazy amounts of broadband RF noise and can't be used for anything other than on-off 18:43:44 so their 'damped waves' were replaced by 'continuous wave' transmissions (the acronym CW survives today as the ham jargon for morse code; hams love jargon for jargon's sake and it's often more than 100 years old in origin) 18:44:14 back then it was believed that longwave was the best way to do long distance, because it diffracts around the curvature of the earth 18:44:37 shortwave was believed to be useless and given to the amateurs to play around with, they subsequently discovered ionospheric reflection and suddenly shortwave became very important 18:44:56 of course, 'shortwave' is still 10,000 times longer than a lot of frequencies in use today. 18:47:33 there is still one working Alexanderson alternator, they run it once or twice a year https://en.wikipedia.org/wiki/Alexanderson_Day 18:48:21 only 17.2 kHz... you can receive that with an antenna direct into a sound card 18:48:43 17 km wavelength 18:53:01 [[TOWCBL]] https://esolangs.org/w/index.php?diff=61319&oldid=58899 * ShareMan * (-5662) Deleted Page 18:55:22 . o O (hm, I guess 17 is close to the square root of 300) 18:59:11 [ %:300 18:59:11 b_jonas: 17.3205 19:00:21 kmc: I read up on this on occasion of a certain poem, and the history is interesting, even if I only found out about part of it and missing other parts 19:00:49 oh neat 19:00:50 which poem? 19:01:54 https://chat.stackexchange.com/transcript/message/47171973#47171973 19:02:05 "The Secret of the Machines" by Kipling 19:02:47 ah kipling 19:02:48 nice 19:05:29 it mentions radiotelegraphy from Europe to America, which confused me a bit given how early he's written that 19:21:54 -!- Lord_of_Life has quit (Ping timeout: 250 seconds). 19:24:40 -!- Lord_of_Life has joined. 19:30:53 -!- tromp has quit (Remote host closed the connection). 19:34:32 >The value of BB(1895) is known to be independent of ZFC 19:34:35 interesting 19:37:29 [[Special:Log/delete]] delete * Ais523 * deleted "[[TOWCBL]]": Author request: blanked by original author, no intervening edits 19:43:29 -!- tromp has joined. 19:45:42 rain1: https://www.scottaaronson.com/blog/?p=2725 19:45:45 guess they lowered the bound 19:47:08 i dont 100% understand how its possible that the value of the function can be independent 19:47:47 -!- tromp has quit (Ping timeout: 258 seconds). 19:48:54 I think it's a consquence of Gödel's Incompleteness Theorem? 19:49:06 https://web.archive.org/web/20100204093058/http://www.fantasticmetropolis.com/i/division/full/ 19:49:08 like, a turing machine can't decide the truth of every statement of ZFC 19:49:28 I think you can use a similar paradox / diagonal construction 19:49:30 but i'm not sure 19:49:35 I guess one of us could read the paper 19:50:58 without reading the paper 19:53:48 -!- danieljabailey has quit (Ping timeout: 245 seconds). 19:56:33 -!- arseniiv has quit (Ping timeout: 255 seconds). 20:12:50 -!- tromp has joined. 20:29:06 -!- ais523 has joined. 20:29:54 I think it's implausible to prove that BB(n) is independent of ZFC for some n; you might well find a program of size n that's independent of ZFC, but how can you prove that there isn't a busier beaver of the same size? 20:31:12 well if BB(n) in independent so is BB(n+1) 20:32:57 im not sure what is meant by a busier beaver 20:33:49 I guess it's just one that takes more steps to halt 20:35:07 yes 20:35:20 the value of BB(n) only depends on the behaviour of the slowest program with size n, not on the behaviour of any of the others 20:35:40 https://googology.wikia.org/wiki/User_blog:Wythagoras/A_good_bound_for_S(7)%3F 20:36:48 oh 20:36:54 the trick is to search for a contradiction in ZFC 20:37:24 let P be a program that does this, if ZFC is consistent it diverges if ZFC is inconsistent it halts after h steps 20:38:08 so can we say that proving BB(|P|) = n for some numeral n is independent of ZFC? 20:38:53 oh right, you wouldn't be able to prove a specific value for BB(n) in ZFC if ZFC were consistent 20:38:58 because doing so would prove that ZFC were consistent 20:39:29 OTOH, if ZFC is actually inconsistent, there's no problem 20:40:20 its amusing that you can prove exists n, BB(|P|) = n 20:40:42 that's a very philosophical question 20:43:38 hmm 20:47:59 ais523: yes, from https://www.scottaaronson.com/blog/?p=2725 I get it's a proof conditional on ZFC being consistent 20:48:20 the machine halts iff it finds a proof that ZFC is inconsistent, and it searches the entire space of proofs effectively 20:49:12 ok, not exactly 20:49:20 not the golfed program that is 20:49:30 but it does something similar, and it's expected to not halt 20:50:09 if ZFC is inconsistent, does that imply it can prove everything? or does it have some sort of safety valve against that? 20:50:32 ais523: no safety valve 20:50:42 this is classical logic, so if it's inconsistent, then it proves everything 20:50:48 The use of sizeof(string literals) in C is useful with macros. I think they might also be useful with macros if you can also put a string literal followed by a constant in brackets and treat the result also as a constant. 20:51:20 Also that you can put string literal next to each other in C is useful with macros, too. 20:51:34 zzo38: I think you can do that in modern C++ 20:55:57 http://bobadventures.comicgenesis.com/d/20190420.html something seems wrong in Bobadventures comic. there's a new comic page posted, but no image. 21:01:50 -!- AnotherTest has quit (Ping timeout: 244 seconds). 21:03:53 -!- tromp has quit (Read error: Connection reset by peer). 21:04:29 -!- tromp has joined. 21:51:22 -!- rodgort has quit (Quit: Leaving). 21:55:27 -!- rodgort has joined. 21:55:42 -!- rodgort has quit (Remote host closed the connection). 22:00:02 -!- rodgort has joined. 22:09:31 -!- sebbu has quit (Ping timeout: 244 seconds). 22:11:12 -!- ais523 has quit (Quit: quit). 22:28:24 -!- tromp has quit (Remote host closed the connection). 23:03:21 -!- tromp has joined. 23:08:05 -!- tromp has quit (Ping timeout: 246 seconds). 23:15:50 -!- sebbu has joined. 23:37:36 -!- b_jonas has quit (Quit: leaving). 23:54:12 -!- tromp has joined. 23:58:52 -!- tromp has quit (Ping timeout: 258 seconds).